Computational Logic in Multi-Agent Systems 10th International Workshop, CLIMA-X 2009, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers / [electronic resource] :
edited by Jürgen Dix, Michael Fisher, Peter Novák.
- 1st ed. 2010.
- IX, 197 p. 40 illus. online resource.
- Lecture Notes in Artificial Intelligence, 6214 2945-9141 ; .
- Lecture Notes in Artificial Intelligence, 6214 .
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.
9783642168673
10.1007/978-3-642-16867-3 doi
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 Programming.
Q334-342 TA347.A78
006.3
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.
9783642168673
10.1007/978-3-642-16867-3 doi
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 Programming.
Q334-342 TA347.A78
006.3