Computational Logic in Multi-Agent Systems

10th International Workshop, CLIMA-X 2009, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers
1. Auflage. 2010
ISBN: 978-3-642-16866-6
Verlag: Springer

Buch, Englisch, Band 6214, 197 Seiten, Gewicht: 323 g

Reihe: Lecture Notes in Computer Science

technology is based on answer set programming. The contribution by Nils Bulling and Berndt Farwer on “Expressing Prop-

Zielgruppe

Research

Autoren/Hrsg.

Dix, Jürgen

Fisher, Michael

Novák, Peter

Fachgebiete

• Mathematik | Informatik EDV | Informatik Computerkommunikation & -vernetzung Verteilte Systeme (Netzwerke)
• Mathematik | Informatik EDV | Informatik Informatik Logik, formale Sprachen, Automaten

Inhaltsverzeichnis

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.