E-Book, Englisch, 197 Seiten, eBook
Dix / Fisher / Novák Computational Logic in Multi-Agent Systems
Erscheinungsjahr 2010
ISBN: 978-3-642-16867-3
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
10th International Workshop, CLIMA-X 2009, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers
E-Book, Englisch, 197 Seiten, eBook
Reihe: Lecture Notes in Artificial Intelligence
ISBN: 978-3-642-16867-3
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
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.