


default search action
CLIMA VII 2006: Hakodate, Japan
- Katsumi Inoue, Ken Satoh, Francesca Toni:

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
- Mehdi Dastani, Jürgen Dix, Peter Novák:

The Second Contest on Multi-Agent Systems Based on Computational Logic. 266-283 - Carlos Cares

, Xavier Franch, Enric Mayol:
Using Antimodels to Define Agents' Strategy. 284-293 - Stephan Schiffel, Michael Thielscher

:
Multi-Agent FLUX for the Gold Mining Domain (System Description). 294-303 - Rafael H. Bordini, Jomi Fred Hübner

, Daniel M. Tralamazza:
Using Jason to Implement a Team of Gold Miners. 304-313

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














