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 /
Material type: TextSeries: Lecture Notes in Artificial Intelligence ; 6214Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Edition: 1st ed. 2010Description: IX, 197 p. 40 illus. online resourceContent type:- text
- computer
- online resource
- 9783642168673
- 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
- 006.3 23
- Q334-342
- TA347.A78
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 on this title.