Table of Contents: Computational Logic in Multi-Agent Systems

Corporate Author:	SpringerLink (Online service)
Other Authors:	Inoue, Katsumi. (Editor, http://id.loc.gov/vocabulary/relators/edt), Satoh, Ken. (Editor, http://id.loc.gov/vocabulary/relators/edt), Toni, Francesca. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007.
Edition:	1st ed. 2007.
Series:	Lecture Notes in Artificial Intelligence ; 4371
Subjects:	Artificial intelligence. Computer communication systems. Mathematical logic. Artificial Intelligence. Computer Communication Networks. Mathematical Logic and Formal Languages.
Online Access:	https://doi.org/10.1007/978-3-540-69619-3

Table of Contents:

Regular Papers
Acts of Commanding and Changing Obligations
Hierarchical Decision Making in Multi-agent Systems Using Answer Set Programming
On a Linear Framework for Belief Dynamics in Multi-agent Environments
Answer Set Programming for Representing and Reasoning About Virtual Institutions
A Complete Probabilistic Belief Logic
Prototyping 3APL in the Maude Term Rewriting Language
Dialogue Game Tree with Nondeterministic Additive Consolidation
Representing and Verifying Temporal Epistemic Properties in Multi-Agent Systems
A New Logical Semantics for Agent Communication
Contextual Reasoning in Agent Systems
An Argumentation-Based Negotiation for Distributed Extended Logic Programs
Belief Updating by Communication Channel
On the Implementation of Global Abduction
Adding Evolving Abilities to a Multi-Agent System
Contest Papers
The Second Contest on Multi-Agent Systems Based on Computational Logic
Using Antimodels to Define Agents’ Strategy
Multi-Agent FLUX for the Gold Mining Domain (System Description)
Using Jason to Implement a Team of Gold Miners.