LEADER 03903nam  2200577 a 450 
001 9910484188103321
005 20200520144314.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   $a20120206d2006      uy         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aComputational logic in multi-agent systems $e6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005 : revised selected and invited papers /$fFrancesca Toni, Paolo Torroni (eds.)
205   $a1st ed. 2006.
210   $aBerlin $cSpringer$d2006
215   $a1 online resource (XVIII, 430 p.) 
225 1 $aLecture notes in computer science. Lecture notes in artificial intelligence,$x0302-9743 ;$v3900
225 1 $aLNCS sublibrary. SL 7, Artificial intelligence
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 computer science.$pLecture notes in artificial intelligence ;$v3900.
410  0$aLNCS sublibrary.$nSL 7,$pArtificial intelligence.
606   $aComputer logic$vCongresses
606   $aIntelligent agents (Computer software)$vCongresses
615  0$aComputer logic
615  0$aIntelligent agents (Computer software)
676   $a006.3
701   $aToni$b Francesca$01752944
701   $aTorroni$b Paolo$01752945
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910484188103321
996   $aComputational logic in multi-agent systems$94188452
997   $aUNINA