Computational Logic in Multi-Agent Systems
10th International Workshop, CLIMA-X 2009, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers
Published on 31. October 2010
IX, 197 pages
978-3-642-16867-3 (ISBN)
Description
More details
Other editions
Additional editions
Jürgen Dix | Michael Fisher | Peter Novák
Computational Logic in Multi-Agent Systems
10th International Workshop, CLIMA-X 2009, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers
Book
10/2010
1st Edition
Springer
€53.49
Shipment within 5-7 days
Content
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.
