CLIMA VII 2006:
Hakodate,
Japan
Katsumi Inoue, Ken Satoh, Francesca Toni (Eds.):
Computational Logic in Multi-Agent Systems, 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, Revised Selected and Invited Papers.
Lecture Notes in Computer Science 4371 Springer 2007, ISBN 978-3-540-69618-6 
Regular Papers
- Tomoyuki Yamada:
Acts of Commanding and Changing Obligations.
1-19
- Davy Van Nieuwenborgh, Marina De Vos, Stijn Heymans, Dirk Vermeir:
Hierarchical Decision Making in Multi-agent Systems Using Answer Set Programming.
20-40
- Akira Fusaoka, Katsunori Nakamura, Mitsunari Sato:
On a Linear Framework for Belief Dynamics in Multi-agent Environments.
41-59
- Owen Cliffe, Marina De Vos, Julian A. Padget:
Answer Set Programming for Representing and Reasoning About Virtual Institutions.
60-79
- Zining Cao:
A Complete Probabilistic Belief Logic.
80-94
- M. Birna van Riemsdijk, Frank S. de Boer, Mehdi Dastani, John-Jules Ch. Meyer:
Prototyping 3APL in the Maude Term Rewriting Language.
95-114
- Yoshitaka Suzuki:
Dialogue Game Tree with Nondeterministic Additive Consolidation.
115-133
- Zining Cao:
Representing and Verifying Temporal Epistemic Properties in Multi-Agent Systems.
134-150
- Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer, Yves Lespérance:
A New Logical Semantics for Agent Communication.
151-170
- Stijn De Saeger, Atsushi Shimojima:
Contextual Reasoning in Agent Systems.
171-190
- Iara Carnevale de Almeida, José Júlio Alferes:
An Argumentation-Based Negotiation for Distributed Extended Logic Programs.
191-210
- Shingo Hagiwara, Mikito Kobayashi, Satoshi Tojo:
Belief Updating by Communication Channel.
211-225
- Henning Christiansen:
On the Implementation of Global Abduction.
226-245
- João Leite, Luís Soares:
Adding Evolving Abilities to a Multi-Agent System.
246-265
Contest Papers
Copyright © Mon Nov 9 23:15:18 2009
by Michael Ley (ley@uni-trier.de)
