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

Unbekannt

ISBN 10: 3642168663 / ISBN 13: 9783642168666

Editore: Springer-Verlag GmbH, 2010

Riguardo questo articolo

Zustand: Sehr gut | Seiten: 195 | Sprache: Englisch | Produktart: Bücher. Codice articolo 9886055/12

Dati bibliografici

Titolo: Computational Logic in Multi-Agent Systems :...

Casa editrice: Springer-Verlag GmbH

Data di pubblicazione: 2010

Legatura: Brossura

Condizione: Sehr gut

Descrizione articolo

Riassunto:

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

Contenuti:

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.