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

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

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-solvingentitiesthatcanp- ceive and act upon their environment in order to achieve both their individual goals and their joint goals. The work on such systems integrates many techno- giesandconceptsfromarti?cialintelligenceandotherareasofcomputingaswell as other disciplines. Over recent years, the agent paradigm gained popularity, due to its applicability to a full spectrum of domains, such as search engines, recommendation systems, educational support, e-procurement, simulation and routing,electroniccommerceandtrade,etc.Computationallogicprovidesawe- de?ned, general, and rigorousframeworkfor studying the syntax, semantics and procedures for the various tasks in individual agents, as well as the interaction between, and integration among, agents in multi-agent systems. It also provides tools, techniques and standards for implementations and environments, for li- ing speci?cations to implementations, and for the veri?cation of properties of individual agents, multi-agent systems and their implementations. The purpose of the CLIMA workshops is to provide a forum for discussing techniques, based on computational logic, for representing, programming and reasoning about agents and multi-agent systems in a formal way. Former CLIMA editions have been conducted in conjunction with other - jor Computational Logic and AI events such as CL in 2000, ICLP in 2001 and 2007, FLoC in 2002, LPNMR and AI-Math in 2004, JELIA in 2004 and 2008 and MATES in 2009. In 2005 CLIMA was not associated with any major event.

Author(s): Toby Walsh (auth.), Jürgen Dix, João Leite, Guido Governatori, Wojtek Jamroga (eds.)
Series: Lecture Notes in Computer Science 6245 : Lecture Notes in Artificial Intelligence
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2010

Language: English
Pages: 257
Tags: Artificial Intelligence (incl. Robotics); Software Engineering; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Computer Communication Networks; Programming Languages, Compilers, Interpreters

Front Matter....Pages -
Is Computational Complexity a Barrier to Manipulation?....Pages 1-7
Games, Norms and Strategic Notions in Information Flow Security....Pages 8-8
Group Announcements: Logic and Games (Abstract of Invited Talk)....Pages 9-13
Strong Equivalence in Argumentation....Pages 14-14
Hypergraphs of Multiparty Secrets....Pages 15-32
Combining Logics in Simple Type Theory....Pages 33-48
Speculative Abductive Reasoning for Hierarchical Agent Systems....Pages 49-64
Formal Semantics of a Dynamic Epistemic Logic for Describing Knowledge Properties of π -Calculus Processes....Pages 65-81
What Happened to My Commitment? Exception Diagnosis among Misalignment and Misbehavior....Pages 82-98
Verifying Business Process Compliance by Reasoning about Actions....Pages 99-116
From Organisation Specification to Normative Programming in Multi-Agent Organisations....Pages 117-134
Finding Uniform Strategies for Multi-agent Systems....Pages 135-152
Playing Extensive Form Games in Parallel....Pages 153-170
Exploring the Boundary of Half Positionality....Pages 171-185
Proof-Theoretic Analysis of Rationality for Strategic Games with Arbitrary Strategy Sets....Pages 186-199
An Agent Language with Destructive Assignment and Model-Theoretic Semantics....Pages 200-218
Model Checking Agent Programs by Using the Program Interpreter....Pages 219-237
A Dialogue Games Framework for the Operational Semantics of Logic Agent-Oriented Languages....Pages 238-255
Back Matter....Pages -