Computational Logic in Multi-Agent Systems : 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers / edited by Francesca Toni, Paolo Torroni.

Format:

Book

Contributor:

Toni, Francesca, editor.

Torroni, Paolo, editor.

SpringerLink (Online service)

Series:

Computer Science (Springer-11645)

Lecture notes in computer science. Lecture notes in artificial intelligence ; 3900.

Lecture Notes in Artificial Intelligence ; 3900

Language:

English

Subjects (All):

Artificial intelligence.

Computer networks.

Logic, Symbolic and mathematical.

Artificial Intelligence.

Computer Communication Networks.

Mathematical Logic and Formal Languages.

Local Subjects:

Artificial Intelligence.

Computer Communication Networks.

Mathematical Logic and Formal Languages.

Physical Description:

1 online resource (XVIII, 430 pages).

Edition:

First edition 2006.

Contained In:

Springer eBooks

Place of Publication:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006.

System Details:

text file PDF

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

Other Format:

Printed edition:

ISBN:

978-3-540-33997-7

9783540339977

Access Restriction:

Restricted for use by site license.