Muutke küpsiste eelistusi

Computational Logic in Multi-Agent Systems: 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers 2006 ed. [Pehme köide]

Edited by , Edited by
  • Formaat: Paperback / softback, 430 pages, kõrgus x laius: 235x155 mm, kaal: 1390 g, XVIII, 430 p., 1 Paperback / softback
  • Sari: Lecture Notes in Computer Science 3900
  • Ilmumisaeg: 03-May-2006
  • Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • ISBN-10: 3540339965
  • ISBN-13: 9783540339960
Teised raamatud teemal:
  • Formaat: Paperback / softback, 430 pages, kõrgus x laius: 235x155 mm, kaal: 1390 g, XVIII, 430 p., 1 Paperback / softback
  • Sari: Lecture Notes in Computer Science 3900
  • Ilmumisaeg: 03-May-2006
  • Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • ISBN-10: 3540339965
  • ISBN-13: 9783540339960
Teised raamatud teemal:
This book constitutes the strictly refereed post-proceedings of the 6th International Workshop on Computational Logic for Multi-Agent Systems, CLIMA VI. The book presents 14 revised full technical papers, 4 contest papers, and 7 invited papers together with 1 invited article are organized in topical sections on foundational aspects of agency, agent programming, agent interaction and normative systems, the first CLIMA contest, and on the project report of the SOCS project.

This book constitutes the strictly refereed post-proceedings of the 6th International Workshop on Computational Logic for Multi-Agent Systems, CLIMA VI. The book presents 14 revised full technical papers, 4 contest papers, and 7 invited papers together with 1 invited article are organized in topical sections on foundational aspects of agency, agent programming, agent interaction and normative systems, the first CLIMA contest, and on the project report of the SOCS project.

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 andOutcomes of the SOCS Project.