Computational Logic in Multi-Agent Systems [electronic resource] : 10th International Workshop, CLIMA-X 2009, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers / edited by Jürgen Dix, Michael Fisher, Peter Novák.
Contributor(s): Dix, Jürgen [editor.]
| Fisher, Michael [editor.] | Novák, Peter [editor.] | SpringerLink (Online service).
Material type: 
BookSeries: Lecture Notes in Artificial Intelligence: 6214Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Edition: 1st ed. 2010.Description: IX, 197 p. 40 illus. online resource.Content type: text Media type: computer Carrier type: online resourceISBN: 9783642168673.Subject(s): Artificial intelligence | Machine theory | Computer networks | Software engineering | Application software | Computer science | Artificial Intelligence | Formal Languages and Automata Theory | Computer Communication Networks | Software Engineering | Computer and Information Systems Applications | Computer Science Logic and Foundations of ProgrammingAdditional physical formats: Printed edition:: No title; Printed edition:: No titleDDC classification: 006.3 Online resources: Click here to access online 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.
There are no comments for this item.