Computational Logic in Multi-Agent Systems [electronic resource] : 10th International Workshop, CLIMA-X 2009, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers /
CLIMA (Conference)Corporate Author
CLIMA (Conference)(10th :2009 Sept. 9-10 :Hamburg, Germany)
CLIMA (Conference)
Dix, Jürgen.editor.
Fisher, Michael.editor.
Novák, Peter.editor.
Bibliographic Level Mode of Issuance: Monograph
Includes bibliographical references and index.
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.
Artificial intelligence.
Mathematical logic.
Computer communication systems.
Software engineering.
Application software.
Computer logic.
Artificial Intelligence.
Mathematical Logic and Formal Languages.
Computer Communication Networks.
Software Engineering.
Information Systems Applications (incl. Internet).
Logics and Meanings of Programs.

Lecture Notes in Computer Science