Computational Logic in Multi-Agent Systems 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings /

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

These are the proceedings of the 11th International Workshop on Compu- tional Logicin Multi-Agent Systems (CLIMA-XI), held during August 16–17,in Lisbon, collocated with the 19th European Conference on Arti?cial Intelligence (ECAI-2010). Multi-agentsystemsarecommunitiesofproblem-solvingentitiesthatc...

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

• Invited Talks
• Is Computational Complexity a Barrier to Manipulation?
• Games, Norms and Strategic Notions in Information Flow Security
• Group Announcements: Logic and Games (Abstract of Invited Talk)
• Strong Equivalence in Argumentation
• Regular Papers
• Hypergraphs of Multiparty Secrets
• Combining Logics in Simple Type Theory
• Speculative Abductive Reasoning for Hierarchical Agent Systems
• Formal Semantics of a Dynamic Epistemic Logic for Describing Knowledge Properties of ?-Calculus Processes
• What Happened to My Commitment? Exception Diagnosis among Misalignment and Misbehavior
• Verifying Business Process Compliance by Reasoning about Actions
• From Organisation Specification to Normative Programming in Multi-Agent Organisations
• Finding Uniform Strategies for Multi-agent Systems
• Playing Extensive Form Games in Parallel
• Exploring the Boundary of Half Positionality
• Proof-Theoretic Analysis of Rationality for Strategic Games with Arbitrary Strategy Sets
• An Agent Language with Destructive Assignment and Model-Theoretic Semantics
• Model Checking Agent Programs by Using the Program Interpreter
• A Dialogue Games Framework for the Operational Semantics of Logic Agent-Oriented Languages.