LEADER 04349nam 22006135 450 001 996465933003316 005 20200704132605.0 010 $a3-540-33997-3 024 7 $a10.1007/11750734 035 $a(CKB)1000000000232957 035 $a(SSID)ssj0000316807 035 $a(PQKBManifestationID)11246851 035 $a(PQKBTitleCode)TC0000316807 035 $a(PQKBWorkID)10275278 035 $a(PQKB)11517485 035 $a(DE-He213)978-3-540-33997-7 035 $a(MiAaPQ)EBC3067671 035 $a(PPN)123134366 035 $a(EXLCZ)991000000000232957 100 $a20100301d2006 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aComputational Logic in Multi-Agent Systems$b[electronic resource] $e6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers /$fedited by Francesca Toni, Paolo Torroni 205 $a1st ed. 2006. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2006. 215 $a1 online resource (XVIII, 430 p.) 225 1 $aLecture Notes in Artificial Intelligence ;$v3900 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-33996-5 320 $aIncludes bibliographical references and index. 327 $aThe Logical Way to Be Artificially Intelligent -- The Logical Way to Be Artificially Intelligent -- Foundational Aspects of Agency -- Ability in a Multi-agent Context: A Model in the Situation Calculus -- Reasoning About Epistemic States of Agents by Modal Logic Programming -- Strongly Complete Axiomatizations of ?Knowing at Most? in Syntactic Structures -- Logical Spaces in Multi-agent Only Knowing Systems -- Trustworthiness by Default -- Decision Procedure for a Fragment of Mutual Belief Logic with Quantified Agent Variables -- Agent Programming -- Implementing Temporal Logics: Tools for Execution and Proof -- BDI Agent Programming in AgentSpeak Using Jason -- Using the KGP Model of Agency to Design Applications -- Multi-threaded Communicating Agents in Qu-Prolog -- Variety of Behaviours Through Profiles in Logic-Based Agents -- Contract-Related Agents -- Agent Interaction and Normative Systems -- Specification and Verification of Agent Interaction Using Abductive Reasoning -- Verification of Protocol Conformance and Agent Interoperability -- Contextual Terminologies -- Constitutive Norms in the Design of Normative Multiagent Systems -- Combining Answer Sets of Nonmonotonic Logic Programs -- Speculative Constraint Processing with Iterative Revision for Disjunctive Answers -- Intention Recognition in the Situation Calculus and Probability Theory Frameworks -- The First CLIMA Contest -- The First Contest on Multi-agent Systems Based on Computational Logic -- Implementing Pheromone-Based, Negotiating Forager Agents -- Extending Tropos for a Prolog Implementation: A Case Study Using the Food Collecting Agent Problem -- Reactive Food Gathering -- Strategies for Multi-agent Coordination in a Grid World Using Petri Nets -- Project Report -- Multi-agent Systems in Computational Logic: Challenges and Outcomes of the SOCS Project. 410 0$aLecture Notes in Artificial Intelligence ;$v3900 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 $a006.3 702 $aToni$b Francesca$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aTorroni$b Paolo$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a996465933003316 996 $aComputational Logic in Multi-Agent Systems$9772133 997 $aUNISA