Workshop Programme
The CLIMA-X programme is scheduled for four sessions laid out to two days. The talks are given 30 minutes presentation slot each, including discussion. Please schedule your talk not to exceed 20-23 minutes.
The announcement of AgentContest 2009 results will take place at the end of the Wednesday evening session.
Proceedings
Proceedings of the CLIMA-X workshop were published in the technical reports series of the Department of Informatics of the Clausthal University of Technology, Germany.The final volume can be downloaded from here.
Invited talk:
Tran Cao Son (New Mexico State University): Logic Programming and Multiagent Planning
Wednesday 16:30-17:30, joint session, session chair: Jürgen Dix
Multiagent planning deals with the problem of generating plans or multiple agents. It requires formalizing ways for the agents to interact and cooperate, in order to achieve their goals. We will discuss two possible ways for agents to interact: the execution
of cooperative actions and negotiations. We begin with the introduction
of an action language for specifying multiagent planning problems.
We next discuss a model for integration of negotiation in
multiagent planning. Finally, we show how multiagent plans can be
computed via answer set programming.
Session 1: Formal approaches and model checking
Wednesday 11:30-13:00, session chair: Michael Fisher
| Time | Presentation |
|---|---|
| 11:30-12:00 | Nils Bulling and Berndt Farwer. RTL and RTL*: Expressing Abilities of Resource-Bounded Agents |
| 12:00-12:30 | Chitta Baral, Tran Cao Son and Enrico Pontelli. Reasoning about Multi-Agent Domains using Action Language C: A Preliminary Study |
| 12:30-13:00 | Louise Dennis, Nick Tinnemeier and John-Jules Meyer. Model Checking Normative Agent Organisations |
Session 2: Belief-Desire-Intention
Wednesday 14:30-16:00, session chair: Koen V. Hindriks
| Time | Presentation |
|---|---|
| 14:30-15:00 | Mehdi Dastani and Bas Steunebrink. Operational Semantics for BDI Modules in Multi-Agent Programming |
| 15:00-15:30 | Naoyuki Nide, Shiro Takata and Megumi Fujita. BDI logic with probabilistic transition and fixed-point operator |
| 15:30-16:00 | AgentContest 2009 results announcement |
Session 3: Answer Set Programming and (Multi-)Agent Systems
Thursday 10:30-12:00, session chair: Peter Novák
| Time | Presentation |
|---|---|
| 10:30-11:00 | Luke Hopton, Owen Cliffe, Marina De Vos and Julian Padget. InstQL: A Query Language for Virtual Institutions using Answer Set Programming |
| 11:00-11:30 | Jiefei Ma, Alessandra Russo, Krysia Broda, Hiroshi Hosobe and Ken Satoh. On the Implementation of Speculative Constraint Processing |
| 11:30-12:00 | Chiaki Sakama and Son Tran Cao. Interacting Answer Sets |
Session 4: Coordination and deliberation
Thursday 13:30-15:00, session chair: Ken Satoh
| Time | Presentation |
|---|---|
| 13:30-14:00 | Pedro Arturo Gongora and David A. Rosenblueth. A Characterization of Mixed-Strategy Nash Equilibria in PCTL augmented with a Cost Quantifier |
| 14:30-15:00 | Wietske Visser, Koen Hindriks and Catholijn Jonker. Argumentation-Based Preference Modelling with Incomplete Information |
| 15:30-16:00 | Helena Keinänen and Misa Keinänen. A Difference Logic Approach to Solve Matching Problems in Multi-Agent Settings |
For further details on the complete conference programme, please also check MATES Programme page.
