Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 3259)
Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)
Included in the following conference series:
Conference proceedings info: CLIMA 2004.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
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.
Similar content being viewed by others
Keywords
Table of contents (13 papers)
-
Front Matter
-
Planning in Multi-agent Systems
-
Knowledge Revision and Update in Multi-agent Systems
-
Learning in BDI Multi-agent Systems
-
Back Matter
Other volumes
-
Computational Logic in Multi-Agent Systems
-
Computational Logic in Multi-Agent Systems
Editors and Affiliations
Bibliographic Information
Book Title: Computational Logic in Multi-Agent Systems
Book Subtitle: 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected and Invited Papers
Editors: Jürgen Dix, João Leite
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/b104175
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag Berlin Heidelberg 2005
Softcover ISBN: 978-3-540-24010-5Published: 03 December 2004
eBook ISBN: 978-3-540-30200-1Published: 16 November 2004
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XII, 251
Topics: Artificial Intelligence, Computer Communication Networks, Mathematical Logic and Formal Languages