000 04475nam a22005175i 4500
001 978-3-540-30200-1
003 DE-He213
005 20201213200749.0
007 cr nn 008mamaa
008 100715s2005 gw | s |||| 0|eng d
020 _a9783540302001
_9978-3-540-30200-1
024 7 _a10.1007/b104175
_2doi
050 4 _aQ334-342
050 4 _aTJ210.2-211.495
072 7 _aUYQ
_2bicssc
072 7 _aTJFM1
_2bicssc
072 7 _aCOM004000
_2bisacsh
082 0 4 _a006.3
_223
100 1 _aDix, Jürgen.
_eeditor.
245 1 0 _aComputational Logic in Multi-Agent Systems
_h[electronic resource] :
_b4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected and Invited Papers /
_cedited by Jürgen Dix, João Leite.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c2005.
300 _aXII, 251 p. Also available online.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v3259
505 0 _aInvited 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 Stochastic Dependency Detection (ASDD) Algorithm for Learning Stochastic Logic Rules.
520 _aOver 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.
650 0 _aComputer science.
650 0 _aComputer Communication Networks.
650 0 _aArtificial intelligence.
650 1 4 _aComputer Science.
650 2 4 _aArtificial Intelligence (incl. Robotics).
650 2 4 _aComputer Communication Networks.
650 2 4 _aMathematical Logic and Formal Languages.
700 1 _aLeite, João.
_eeditor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783540240105
830 0 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v3259
856 4 0 _uhttp://dx.doi.org/10.1007/b104175
912 _aZDB-2-SCS
912 _aZDB-2-LNC
950 _aComputer Science (Springer-11645)
999 _c13581
_d13581