Advertisement

Computational Logic in Multi-Agent Systems

4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected and Invited Papers

  • Jürgen Dix
  • João Leite

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

Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, volume 3259)

Table of contents

  1. Front Matter
  2. Invited Papers

    1. V. S. Subrahmanian, Sarit Kraus, Yingqian Zhang
      Pages 1-15
    2. Michael Fisher, Chiara Ghidini, Benjamin Hirsch
      Pages 16-33
  3. Negotiation in Multi-agent Systems

    1. Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
      Pages 34-52
    2. Peep Küngas, Mihhail Matskin
      Pages 71-88
  4. Planning in Multi-agent Systems

    1. Stefania Costantini, Arianna Tocchio
      Pages 89-107
    2. Hisashi Hayashi, Kenta Cho, Akihiko Ohsuga
      Pages 108-133
  5. Knowledge Revision and Update in Multi-agent Systems

    1. Inna Pivkina, Enrico Pontelli, Tran Cao Son
      Pages 134-158
    2. Pierangelo Dell’Acqua
      Pages 178-200
    3. Laurent Perrussel, Jean-Marc Thévenin
      Pages 201-217
  6. Learning in BDI Multi-agent Systems

    1. Alejandro Guerra-Hernández, Amal El Fallah-Seghrouchni, Henry Soldano
      Pages 218-233
  7. Back Matter

Other volumes

  1. Computational Logic in Multi-Agent Systems
    4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected and Invited Papers
  2. 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers

About these proceedings

Introduction

Over recent years, the notion of agency has claimed a major role in de?ning the trends of modern research. In?uencing a broad spectrum of disciplines such as sociology, psychology, philosophy and many more, the agent paradigm virtually invaded every sub?eld of computer science, because of its promising applications for the Internet and in robotics. Multi-agent systems (MAS) are communities of problem-solving entities that can perceive and act upon their environments to achieve their individual goals as well as joint goals. The work on such systems integrates many technologies and concepts in arti?cial intelligence and other areas of computing. There is a full spectrum of MAS applications that have been and are being developed: from search engines to educational aids to electronic commerce and trade. Although commonly implemented by means of imperative languages, mainly for reasons of e?ciency, the agent concept has recently increased its in?uence in the research and development of computational logic-based systems. Computational logic, by virtue of its nature both in substance and method, providesawell-de?ned,general,andrigorousframeworkforsystematicallystu- ing computation, be it syntax, semantics, and procedures, or implementations, environments, tools, and standards. Computational logic approaches problems, and provides solutions, at a su?cient level of abstraction so that they generalize from problem domain to problem domain, a?orded by the nature of its very foundation in logic, both in substance and method, which constitutes one of its major assets.

Keywords

AI logics BDI agents MAS agent communication algorithms computational logic formal methods formal reasoning knowledge processing learning logic logic programming mathematical logic multi-agent system multi-agent systems

Editors and affiliations

  • Jürgen Dix
    • 1
  • João Leite
    • 2
  1. 1.Clausthal University of TechnologyClausthal-ZellerfeldGermany
  2. 2.Departamento de InformáticaUniversidade Nova de LisboaCaparicaPortugal

Bibliographic information

  • DOI https://doi.org/10.1007/b104175
  • Copyright Information Springer-Verlag Berlin Heidelberg 2005
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-24010-5
  • Online ISBN 978-3-540-30200-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site