Skip to main content
  • Conference proceedings
  • © 2008

Computational Logic in Multi-Agent Systems

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

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)

Conference series link(s): CLIMA: International Workshop on Computational Logic and Multi-Agent Systems

Conference proceedings info: CLIMA 2007.

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (16 papers)

  1. Front Matter

  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. Proof Theory for Distributed Knowledge

      • Raul Hakli, Sara Negri
      Pages 100-116
    5. EVOLP: Tranformation-Based Semantics

      • Martin Slota, João Leite
      Pages 117-136
    6. Language Constructs for Multi-agent Programming

      • Louise Dennis, Michael Fisher, Anthony Hepple
      Pages 137-156
    7. \({\cal B}\)-Tropos

      • Volha Bryl, Paola Mello, Marco Montali, Paolo Torroni, Nicola Zannone
      Pages 157-176
    8. A Heuristic Approach to P2P Negotiation

      • Stefania Costantini, Arianna Tocchio, Panagiota Tsintza
      Pages 177-192
    9. Towards Context Sensitive Defeasible Rules

      • Armin Hezart, Abhaya Nayak, Mehmet Orgun
      Pages 193-213
    10. Fuzzy Argumentation for Trust

      • Ruben Stranders, Mathijs de Weerdt, Cees Witteveen
      Pages 214-230
    11. A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems

      • Francesco Belardinelli, Alessio Lomuscio
      Pages 248-267
    12. 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

Other Volumes

  1. Computational Logic in Multi-Agent Systems

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.

Keywords

  • AI logics
  • BDI agents
  • MAS
  • Multi-agent system
  • agent communication
  • agent cooperation
  • agent learning
  • agent planning
  • agents
  • algorithms
  • complex tasks
  • computational logic
  • knowledge processing
  • programming language
  • proof theory

Editors and Affiliations

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

    Fariba Sadri

  • National Institute of Informatics, Sokendai, Japan

    Ken Satoh

Bibliographic Information

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions