Computational Logic in Multi-Agent Systems: 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected and Invited Papers
Over recent years, the notion of agency has claimed a major role in defining the trends of modern research. Influencing a broad spectrum of disciplines such as sociology, psychology, philosophy and many more, the agent paradigm virtually invaded every subfield 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 artificial 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 efficiency, the agent concept has recently increased its influence in the research and development of computational logic-based systems. Computational logic, by virtue of its nature both in substance and method, provides a well-defined, general, and rigorous framework for systematically stuffing computation, be it syntax, semantics, and procedures, or implementations, environments, tools, and standards. Computational logic approaches problems, and provides solutions, at a sufficient level of abstraction so that they generalize from problem domain to problem domain, afforded by the nature of its very foundation in logic, both in substance and method, which constitutes one of its major assets.
1111354912
Computational Logic in Multi-Agent Systems: 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected and Invited Papers
Over recent years, the notion of agency has claimed a major role in defining the trends of modern research. Influencing a broad spectrum of disciplines such as sociology, psychology, philosophy and many more, the agent paradigm virtually invaded every subfield 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 artificial 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 efficiency, the agent concept has recently increased its influence in the research and development of computational logic-based systems. Computational logic, by virtue of its nature both in substance and method, provides a well-defined, general, and rigorous framework for systematically stuffing computation, be it syntax, semantics, and procedures, or implementations, environments, tools, and standards. Computational logic approaches problems, and provides solutions, at a sufficient level of abstraction so that they generalize from problem domain to problem domain, afforded by the nature of its very foundation in logic, both in substance and method, which constitutes one of its major assets.
54.99 In Stock
Computational Logic in Multi-Agent Systems: 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected and Invited Papers

Computational Logic in Multi-Agent Systems: 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected and Invited Papers

Computational Logic in Multi-Agent Systems: 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected and Invited Papers

Computational Logic in Multi-Agent Systems: 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected and Invited Papers

Paperback(2005)

$54.99 
  • SHIP THIS ITEM
    In stock. Ships in 6-10 days.
  • PICK UP IN STORE

    Your local store may have stock of this item.

Related collections and offers


Overview

Over recent years, the notion of agency has claimed a major role in defining the trends of modern research. Influencing a broad spectrum of disciplines such as sociology, psychology, philosophy and many more, the agent paradigm virtually invaded every subfield 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 artificial 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 efficiency, the agent concept has recently increased its influence in the research and development of computational logic-based systems. Computational logic, by virtue of its nature both in substance and method, provides a well-defined, general, and rigorous framework for systematically stuffing computation, be it syntax, semantics, and procedures, or implementations, environments, tools, and standards. Computational logic approaches problems, and provides solutions, at a sufficient level of abstraction so that they generalize from problem domain to problem domain, afforded by the nature of its very foundation in logic, both in substance and method, which constitutes one of its major assets.

Product Details

ISBN-13: 9783540240105
Publisher: Springer Berlin Heidelberg
Publication date: 01/12/2005
Series: Lecture Notes in Computer Science , #3259
Edition description: 2005
Pages: 251
Product dimensions: 6.10(w) x 9.25(h) x 0.36(d)

Table of Contents

Invited Papers.- Distributed Algorithms for Dynamic Survivability of Multiagent Systems.- Programming Groups of Rational Agents.- Negotiation in Multi-agent Systems.- An Abductive Framework for Information Exchange in Multi-agent Systems.- Fault Tolerant and Fixed Scalable Structure of Middle-Agents.- Symbolic Negotiation with Linear Logic.- Planning in Multi-agent Systems.- Planning Experiments in the DALI Logic Programming Language.- A New HTN Planning Framework for Agents in Dynamic Environments.- Knowledge Revision and Update in Multi-agent Systems.- Revising Knowledge in Multi-agent Systems Using Revision Programming with Preferences.- A New Framework for Knowledge Revision of Abductive Agents Through Their Interaction.- Weighted Multi Dimensional Logic Programs.- (Dis)Belief Change Based on Messages Processing.- Learning in BDI Multi-agent Systems.- Learning in BDI Multi-agent Systems.- The Apriori Shastic Dependency Detection (ASDD) Algorithm for Learning Shastic Logic Rules.
From the B&N Reads Blog

Customer Reviews