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 .
<br/><br/>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. 
<br/><br/><label>ISBN: </label>9783642168673 
<br/><br/><label>Standard No.: </label>10.1007/978-3-642-16867-3  doi 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Artificial intelligence.<br/>Machine theory.<br/>Computer networks .<br/>Software engineering.<br/>Application software.<br/>Computer science.<br/>Artificial Intelligence.<br/>Formal Languages and Automata Theory.<br/>Computer Communication Networks.<br/>Software Engineering.<br/>Computer and Information Systems Applications.<br/>Computer Science Logic and Foundations of Programming.
<br/><br/><label>LC Class. No.: </label>Q334-342 TA347.A78 
<br/><br/><label>Dewey Class. No.: </label>006.3