Central Library

Normal view MARC view ISBD view

Computational 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 Torroni.

Contributor(s): Toni, Francesca [editor.] | Torroni, Paolo [editor.] | SpringerLink (Online service).
Material type: materialTypeLabelBookSeries: Lecture Notes in Artificial Intelligence: 3900Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006Edition: 1st ed. 2006.Description: XVIII, 430 p. online resource.Content type: text Media type: computer Carrier type: online resourceISBN: 9783540339977.Subject(s): Artificial intelligence | Computer networks  | Machine theory | Artificial Intelligence | Computer Communication Networks | Formal Languages and Automata TheoryAdditional physical formats: Printed edition:: No title; Printed edition:: No titleDDC classification: 006.3 Online resources: Click here to access online
Contents:
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.
In: Springer Nature eBook
    average rating: 0.0 (0 votes)
No physical items for this record

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.

There are no comments for this item.

Log in to your account to post a comment.