Skip to main content
SpringerLink
Log in
Book cover

Computational Logic in Multi-Agent Systems

8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and Invited Papers

  • Conference proceedings
  • © 2008

Overview

Editors:
  1. Fariba Sadri

    1. Department of Computing, Imperial College London, London, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Ken Satoh

    1. National Institute of Informatics, Sokendai, Japan

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 5056)

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

Included in the following conference series:

Conference proceedings info: CLIMA 2007.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (16 papers)

  1. Front Matter

    Download chapter PDF

  2. Invited Paper

    1. Plan-Coordination Mechanisms and the Price of Autonomy

      • J. Renze Steenhuisen, Cees Witteveen, Yingqian Zhang
      Pages 1-21

  3. Regular Papers

    1. Actions with Failures in Interval Temporal Logic

      • Arjen Hommersom, Peter Lucas
      Pages 22-41

    2. A Logic for Reasoning about Rational Agents

      • Wojciech Jamroga, Nils Bulling
      Pages 42-61

    3. Formal Modelling of Emotions in BDI Agents

      • David Pereira, Eugénio Oliveira, Nelma Moreira
      Pages 62-81

    4. ‘What I Fail to Do Today, I Have to Do Tomorrow’: A Logical Study of the Propagation of Obligations

      • Jan Broersen, Julien Brunel
      Pages 82-99

    5. Proof Theory for Distributed Knowledge

      • Raul Hakli, Sara Negri
      Pages 100-116

    6. EVOLP: Tranformation-Based Semantics

      • Martin Slota, João Leite
      Pages 117-136

    7. Language Constructs for Multi-agent Programming

      • Louise Dennis, Michael Fisher, Anthony Hepple
      Pages 137-156

    8. \({\cal B}\)-Tropos

      • Volha Bryl, Paola Mello, Marco Montali, Paolo Torroni, Nicola Zannone
      Pages 157-176

    9. A Heuristic Approach to P2P Negotiation

      • Stefania Costantini, Arianna Tocchio, Panagiota Tsintza
      Pages 177-192

    10. Towards Context Sensitive Defeasible Rules

      • Armin Hezart, Abhaya Nayak, Mehmet Orgun
      Pages 193-213

    11. Fuzzy Argumentation for Trust

      • Ruben Stranders, Mathijs de Weerdt, Cees Witteveen
      Pages 214-230

    12. Assumption-Based Argumentation for Selection and Composition of Services

      • Francesca Toni
      Pages 231-247

    13. A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems

      • Francesco Belardinelli, Alessio Lomuscio
      Pages 248-267

    14. Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs

      • Rajeev Goré, Linh Anh Nguyen
      Pages 268-287

  4. System Description Paper

    1. EVOLP: An Implementation

      • Martin Slota, João Leite
      Pages 288-298

  5. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Computational Logic in Multi-Agent Systems

Keywords

About this book

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.

Editors and Affiliations

  • Department of Computing, Imperial College London, London, UK

    Fariba Sadri

  • National Institute of Informatics, Sokendai, Japan

    Ken Satoh

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation