Computational Logic In Multi-agent Systems: 8th International Workshop, Clima Viii, Porto, Portugal, September 10-11, 2007 ; Revised Selected And Invited Papers Clima Viii Clima 8 Clima Eight

This Book Constitutes The Thoroughly Refereed Post-conference Proceedings Of The 8th International Workshop On Computational Logic For Multi-agent Systems, Clima Viii, Held In Porto, Portugal, In September 2007 - Co-located With Iclp 2008, The International Conference On Logic Programming. The 14 Revised Full Technical Papers And 1 System Description Paper Presented Together With 1 Invited Paper Were Carefully Selected From 33 Submissions And Went Through At Least Two Rounds Of Reviewing And Improvement. The Regular Papers Address Topics Such As Interdependencies And Co-ordination Of Task-based Planning In Multi-agent Systems, Interval Temporal Logic, Game Theoretic Concepts For Reasoning About Rational Agents, Proof Theory For Multi-agent Epistemic Logic, Transformational Semantics For Evolving Logic Programs (evolp), Programming Languages Based On Bdi Models, Agent Oriented Early Requirements Engineering Framework, Heuristic Algorithms For Agent Negotiation, As Well As Argumentation. Invited Paper -- Plan-coordination Mechanisms And The Price Of Autonomy -- Regular Papers -- Actions With Failures In Interval Temporal Logic -- A Logic For Reasoning About Rational Agents -- Formal Modelling Of Emotions In Bdi Agents -- 'what I Fail To Do Today, I Have To Do Tomorrow': A Logical Study Of The Propagation Of Obligations -- Proof Theory For Distributed Knowledge -- Evolp: Tranformation-based Semantics -- Language Constructs For Multi-agent Programming -- Tropos -- A Heuristic Approach To P2p Negotiation -- Towards Context Sensitive Defeasible Rules -- Fuzzy Argumentation For Trust -- Assumption-based Argumentation For Selection And Composition Of Services -- A Complete Quantified Epistemic Logic For Reasoning About Message Passing Systems -- Analytic Cut-free Tableaux For Regular Modal Logics Of Agent Beliefs -- System Description Paper -- Evolp: An Implementation. Fariba Sadri, Ken Satoh (eds.). International Conference Proceedings. Includes Bibliographical References And Index. Also Available Online Via The World Wide Web; Access Restricted To Licensed Sites/users. Multi-agent systems are communities of problem-solving entities that can exhibit varying degrees of intelligence. They can perceive and react to their environment, they can have individual or joint goals, for which they can plan and execute actions. Work on such systems integrates many technologies and concepts in - ti?cial intelligence and other areas of computing as well as other disciplines. The agent paradigm has become widely popular and widely used in recent years, due to its applicability to a large range of domains, from search engines to edu- tional aids to electronic commerce and trade, e-procurement, recommendation systems, simulation and routing, and ambient intelligence, to cite only some. Computational logic provides a well-de?ned, general, and rigorous framework for studying syntax, semantics, and procedures for various capabilities and fu- tionalities of individual agents, as well as interaction amongst agents in multi-agent systems. It also provides a well-de?ned and rigorous framework for implemen- tions, environments, tools, and standards, and for linking together speci?cation and veri?cation of properties of individual agents and multi-agent systems. The CLIMA workshop series was founded to provide a forum for discussing, presenting, and promoting computational logic-based approaches in the design, development, analysis, and application of multi-agent systems. Front Matter....Pages - Plan-Coordination Mechanisms and the Price of Autonomy....Pages 1-21 Actions with Failures in Interval Temporal Logic....Pages 22-41 A Logic for Reasoning about Rational Agents....Pages 42-61 Formal Modelling of Emotions in BDI Agents....Pages 62-81 ‘What I Fail to Do Today, I Have to Do Tomorrow’: A Logical Study of the Propagation of Obligations....Pages 82-99 Proof Theory for Distributed Knowledge....Pages 100-116 EVOLP: Tranformation-Based Semantics....Pages 117-136 Language Constructs for Multi-agent Programming....Pages 137-156 ${\cal B}$ -Tropos....Pages 157-176 A Heuristic Approach to P2P Negotiation....Pages 177-192 Towards Context Sensitive Defeasible Rules....Pages 193-213 Fuzzy Argumentation for Trust....Pages 214-230 Assumption-Based Argumentation for Selection and Composition of Services....Pages 231-247 A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems....Pages 248-267 Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs....Pages 268-287 EVOLP: An Implementation....Pages 288-298 Back Matter....Pages -