Computational Logic in Multi-Agent Systems 10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Dix, Jürgen (Editor), Fisher, Michael (Editor), Novák, Peter (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
• Series: Lecture Notes in Computer Science, 6214
• Subjects: Computer science.; Computer communication systems.; Software engineering.; Computer logic.; Mathematical logic.; Artificial intelligence.; Computer Science.; Artificial Intelligence (incl. Robotics).; Mathematical Logic and Formal Languages.; Computer Communication Networks.; Software Engineering.; Information Systems Applications (incl. Internet).; Logics and Meanings of Programs.

Table of Contents:

• Planning for Multiagent Using ASP-Prolog
• Expressing Properties of Resource-Bounded Systems: The Logics RTL * and RTL
• Reasoning about Multi-agent Domains Using Action Language : A Preliminary Study
• Model Checking Normative Agent Organisations
• Operational Semantics for BDI Modules in Multi-agent Programming
• InstQL: A Query Language for Virtual Institutions Using Answer Set Programming
• Interacting Answer Sets
• Argumentation-Based Preference Modelling with Incomplete Information
• A Characterization of Mixed-Strategy Nash Equilibria in PCTL Augmented with a Cost Quantifier
• On the Implementation of Speculative Constraint Processing.