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 BibTeX

Regular Papers

Tomoyuki Yamada:
Acts of Commanding and Changing Obligations. 1-19
Electronic Edition (link) BibTeX
Davy Van Nieuwenborgh, Marina De Vos, Stijn Heymans, Dirk Vermeir:
Hierarchical Decision Making in Multi-agent Systems Using Answer Set Programming. 20-40
Electronic Edition (link) BibTeX
Akira Fusaoka, Katsunori Nakamura, Mitsunari Sato:
On a Linear Framework for Belief Dynamics in Multi-agent Environments. 41-59
Electronic Edition (link) BibTeX
Owen Cliffe, Marina De Vos, Julian A. Padget:
Answer Set Programming for Representing and Reasoning About Virtual Institutions. 60-79
Electronic Edition (link) BibTeX
Zining Cao:
A Complete Probabilistic Belief Logic. 80-94
Electronic Edition (link) BibTeX
M. Birna van Riemsdijk, Frank S. de Boer, Mehdi Dastani, John-Jules Ch. Meyer:
Prototyping 3APL in the Maude Term Rewriting Language. 95-114
Electronic Edition (link) BibTeX
Yoshitaka Suzuki:
Dialogue Game Tree with Nondeterministic Additive Consolidation. 115-133
Electronic Edition (link) BibTeX
Zining Cao:
Representing and Verifying Temporal Epistemic Properties in Multi-Agent Systems. 134-150
Electronic Edition (link) BibTeX
Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer, Yves Lespérance:
A New Logical Semantics for Agent Communication. 151-170
Electronic Edition (link) BibTeX
Stijn De Saeger, Atsushi Shimojima:
Contextual Reasoning in Agent Systems. 171-190
Electronic Edition (link) BibTeX
Iara Carnevale de Almeida, José Júlio Alferes:
An Argumentation-Based Negotiation for Distributed Extended Logic Programs. 191-210
Electronic Edition (link) BibTeX
Shingo Hagiwara, Mikito Kobayashi, Satoshi Tojo:
Belief Updating by Communication Channel. 211-225
Electronic Edition (link) BibTeX
Henning Christiansen:
On the Implementation of Global Abduction. 226-245
Electronic Edition (link) BibTeX
João Leite, Luís Soares:
Adding Evolving Abilities to a Multi-Agent System. 246-265
Electronic Edition (link) BibTeX

Contest Papers

Mehdi Dastani, Jürgen Dix, Peter Novák:
The Second Contest on Multi-Agent Systems Based on Computational Logic. 266-283
Electronic Edition (link) BibTeX
Carlos Cares, Xavier Franch, Enric Mayol:
Using Antimodels to Define Agents' Strategy. 284-293
Electronic Edition (link) BibTeX
Stephan Schiffel, Michael Thielscher:
Multi-Agent FLUX for the Gold Mining Domain (System Description). 294-303
Electronic Edition (link) BibTeX
Rafael H. Bordini, Jomi Fred Hübner, Daniel M. Tralamazza:
Using Jason to Implement a Team of Gold Miners. 304-313
Electronic Edition (link) BibTeX