CLIMA Programme
May 8
9:15-9:30 Opening Remark
9:30-10:30 Implementation of Logical Agents
(Chair: Michael Thielscher)
-
Prototyping 3APL in the Maude Term Rewriting Language
M. Birna van Riemsdijk, Frank S. de Boer, Mehdi Dastani,
and John-Jules Ch. Meyer
-
On the Implementation of Global Abduction
Henning Christiansen
|
10:30-11:00 Coffee Break
11:00-12:30 Reasoning about Context/Belief in MAS
(Chair: Ken Satoh)
-
Contextual Reasoning in Agent Systems
Stijn De Saeger and Atsushi Shimojima
-
On A Linear Framework for Belief Dynamics in Multi-agent
Environments
Akira Fusaoka, Katsunori Nakamura and Mitsunari Sato
-
A Complete Probabilistic Belief Logic
Zining Cao
|
12:30-14:00 Lunch
14:00-15:30 Obligation/Negotiation/Consolidation
(Chair: Marina de Vos)
-
Acts of Commanding and Changing Obligations
Tomoyuki Yamada
-
An Argumentation-Based Negotiation for Distributed Extended Logic
Programs
Iara Carnevale de Almeida and Jose Julio Alferes
-
Dialogue Game Tree with Nondeterministic Additive Consolidation
Yoshitaka Suzuki
|
15:30-16:00 Coffee Break
16:00-17:30 CLIMA Contest
(Organizers: Mehdi Dastani, Juegen Dix, Peter Novak)
May 9
9:00-10:30 Answer Set Programming in MAS
(Chair: Chiaki Sakama)
-
Enhancing a Multi-Agent System with Evolving Logic Programs
Joao Leite and Luis Soares
-
Hierarchical Decision Making in Multi-Agent Systems using Answer Set
Programming
Davy Van Nieuwenborgh, Marina De Vos, Stijn Heymans and Dirk Vermeir
-
Answer Set Programming for Representing and Reasoning about
Virtual Institutions
Owen Cliffe, Marina De Vos and Julian Padget
|
10:30-11:00 Coffee Break
11:00-12:30 Application of CTL to MAS
(Chair: Rafael Bordini)
-
A New Logical Semantics for Agent Communication
Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer and Yves Lesperance
-
Belief Updating by Comunication Channel
Shingo Hagiwara, Mikito Kobayashi and Satoshi Tojo
-
Representing and Verifying Temporal Epistemic Properties in
Multi-Agent Systems
Zining Cao
|
12:30-12:45 Closing Remark