LEADER 05512nam 22007455 450 001 9910483497503321 005 20200704162452.0 010 $a9783540318576 024 7 $a10.1007/11533092 035 $a(CKB)1000000000213712 035 $a(SSID)ssj0000316806 035 $a(PQKBManifestationID)11240512 035 $a(PQKBTitleCode)TC0000316806 035 $a(PQKBWorkID)10287213 035 $a(PQKB)10109482 035 $a(DE-He213)978-3-540-31857-6 035 $a(MiAaPQ)EBC6283898 035 $a(MiAaPQ)EBC4975519 035 $a(Au-PeEL)EBL4975519 035 $a(CaONFJC)MIL139104 035 $a(OCoLC)1024287029 035 $a(PPN)123096464 035 $a(EXLCZ)991000000000213712 100 $a20100713d2005 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aComputational Logic in Multi-Agent Systems $e5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers /$fedited by Joćo Leite, Paolo Torroni 205 $a1st ed. 2005. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2005. 215 $a1 online resource (XII, 284 p.) 225 1 $aLecture Notes in Artificial Intelligence ;$v3487 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-28060-X 311 $a3-540-31857-7 320 $aIncludes bibliographical references and index. 327 $aFoundations -- A Logic for Knowledge, Correctness, and Real Time -- Dynamic Logic for Plan Revision in Intelligent Agents -- Contextual Taxonomies -- From Logic Programs Updates to Action Description Updates -- Dynamic Logic Programming: Various Semantics Are Equal on Acyclic Programs -- Architectures -- Declarative Agent Control -- Metareasoning for Multi-agent Epistemic Logics -- Graded BDI Models for Agent Architectures -- Interaction -- Inferring Trust -- Coordination Between Logical Agents -- A Computational Model for Conversation Policies for Agent Communication -- Verifying Protocol Conformance for Logic-Based Communicating Agents -- Planning and Applications -- An Application of Global Abduction to an Information Agent Which Modifies a Plan Upon Failure ? Preliminary Report -- Planning Partially for Situated Agents -- Desire-Space Analysis and Action Selection for Multiple Dynamic Goals -- Organising Software in Active Environments. 330 $aThe 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. 410 0$aLecture Notes in Artificial Intelligence ;$v3487 606 $aArtificial intelligence 606 $aComputer communication systems 606 $aMathematical logic 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 615 0$aArtificial intelligence. 615 0$aComputer communication systems. 615 0$aMathematical logic. 615 14$aArtificial Intelligence. 615 24$aComputer Communication Networks. 615 24$aMathematical Logic and Formal Languages. 676 $a004.015113 702 $aLeite$b Joćo$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aTorroni$b Paolo$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 02$aSpringerLink (Online service) 712 12$aCLIMA (Conference) 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483497503321 996 $aComputational Logic in Multi-Agent Systems$9772133 997 $aUNINA