04349nam 22006135 450 99646593300331620200704132605.03-540-33997-310.1007/11750734(CKB)1000000000232957(SSID)ssj0000316807(PQKBManifestationID)11246851(PQKBTitleCode)TC0000316807(PQKBWorkID)10275278(PQKB)11517485(DE-He213)978-3-540-33997-7(MiAaPQ)EBC3067671(PPN)123134366(EXLCZ)99100000000023295720100301d2006 u| 0engurnn|008mamaatxtccrComputational Logic in Multi-Agent Systems[electronic resource] 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers /edited by Francesca Toni, Paolo Torroni1st ed. 2006.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2006.1 online resource (XVIII, 430 p.) Lecture Notes in Artificial Intelligence ;3900Bibliographic Level Mode of Issuance: Monograph3-540-33996-5 Includes bibliographical references and index.The 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.Lecture Notes in Artificial Intelligence ;3900Artificial intelligenceComputer communication systemsMathematical logicArtificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Computer Communication Networkshttps://scigraph.springernature.com/ontologies/product-market-codes/I13022Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Artificial intelligence.Computer communication systems.Mathematical logic.Artificial Intelligence.Computer Communication Networks.Mathematical Logic and Formal Languages.006.3Toni Francescaedthttp://id.loc.gov/vocabulary/relators/edtTorroni Paoloedthttp://id.loc.gov/vocabulary/relators/edtBOOK996465933003316Computational Logic in Multi-Agent Systems772133UNISA