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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Dix, Jürgen (Επιμελητής έκδοσης), Fisher, Michael (Επιμελητής έκδοσης), Novák, Peter (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
• Σειρά: Lecture Notes in Computer Science, 6214
• Θέματα: Computer science.; Computer communication systems.; Software engineering.; Computer logic.; Mathematical logic.; Artificial intelligence.; Computer Science.; Artificial Intelligence (incl. Robotics).; Mathematical Logic and Formal Languages.; Computer Communication Networks.; Software Engineering.; Information Systems Applications (incl. Internet).; Logics and Meanings of Programs.

Πίνακας περιεχομένων:

• 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.