Lecture Notes in Artificial Intelligence

Computational Logic in Multi-Agent Systems

5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers

Editors: Leite, João, Torroni, Paolo (Eds.)

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-3-540-31857-6
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA
  • ISBN 978-3-540-28060-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

The notion of agency has recently increased its in?uence in the research and - velopment of computational logic based systems, while at the same time sign- cantly gaining from decades of research in computational logic. Computational logic provides a well-de?ned, general, and rigorous framework for studying s- tax, semantics and procedures, for implementations, environments, tools, and standards, facilitating the ever important link between speci?cation and ver- cation of computational systems. The purpose of the Computational Logic in Multi-agent Systems (CLIMA) international workshop series is to discuss techniques, based on computational logic, for representing, programming, and reasoning about multi-agent systems in a formal way. Former CLIMA editions were conducted in conjunction with other major computational logic and AI events such as CL in July 2000, ICLP in December 2001, FLoC in August 2002, and LPNMR and AI-Math in January 2004. The ?fth edition of CLIMA was held Lisbon, Portugal, in September 29–30, 2004.We,asorganizers,andinagreementwiththeCLIMASteeringCommittee, opted for co-location with the 9th European Conference on Logics in Arti?cial Intelligence (JELIA 2004), wishing to promote the CLIMA research topics in the broader community of logics in AI, a community whose growing interest in multi-agent issues has been demonstrated by the large number of agent-related papers submitted to recent editions of JELIA. The workshop received 35 submissions – a sensible increase from the previous edition.Thesubmittedpapersshowedthatthelogicalfoundationsofmulti-agent systems are felt by a large community to be a very important research topic, upon which classical AI and agent-related issues are to be addressed.

Table of contents (16 chapters)

  • A Logic for Knowledge, Correctness, and Real Time

    Woźna, Bożena (et al.)

    Pages 1-15

  • Dynamic Logic for Plan Revision in Intelligent Agents

    Riemsdijk, M. Birna (et al.)

    Pages 16-32

  • Contextual Taxonomies

    Grossi, Davide (et al.)

    Pages 33-51

  • From Logic Programs Updates to Action Description Updates

    Alferes, José Júlio (et al.)

    Pages 52-77

  • Dynamic Logic Programming: Various Semantics Are Equal on Acyclic Programs

    Homola, M.

    Pages 78-95

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-3-540-31857-6
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA
  • ISBN 978-3-540-28060-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Computational Logic in Multi-Agent Systems
Book Subtitle
5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers
Editors
  • João Leite
  • Paolo Torroni
Series Title
Lecture Notes in Artificial Intelligence
Series Volume
3487
Copyright
2005
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-31857-6
DOI
10.1007/11533092
Softcover ISBN
978-3-540-28060-6
Edition Number
1
Number of Pages
XII, 284
Topics