


Остановите войну!
for scientists:


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.