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

Gespeichert in:

Personen und Körperschaften:	Dix, Jürgen (VerfasserIn), Fisher, Michael (Sonstige), Novák, Peter (Sonstige)
Titel:	Computational Logic in Multi-Agent Systems: 10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers/ edited by Jürgen Dix, Michael Fisher, Peter Novák
Format:	E-Book Konferenzbericht
Sprache:	Englisch
veröffentlicht:	Berlin, Heidelberg Springer Berlin Heidelberg 2010
Gesamtaufnahme:	SpringerLink Lecture notes in computer science ; 6214
Schlagwörter:	Computer Communication Networks Logic design Information systems Computer Science Computer science Software engineering Artificial intelligence Machine theory. Application software. Computer networks . Konferenzschrift > 2009 > Hamburg
Buchausg. u.d.T.:	Computational logic in multi-agent systems, Berlin : Springer, 2010, VIII, 195 S.
Quelle:	Verbunddaten SWB
Zugangsinformationen:	Elektronischer Volltext - Campuslizenz

Details
Zusammenfassung:	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.
Umfang:	Online-Ressource (IX, 197p. 40 illus, digital)
ISBN:	9783642168673
DOI:	10.1007/978-3-642-16867-3