CLIMA Programme

May 8

9:15-9:30 Opening Remark

9:30-10:30 Implementation of Logical Agents (Chair: Michael Thielscher)
10:30-11:00 Coffee Break

11:00-12:30 Reasoning about Context/Belief in MAS (Chair: Ken Satoh) 12:30-14:00 Lunch

14:00-15:30 Obligation/Negotiation/Consolidation (Chair: Marina de Vos) 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) 10:30-11:00 Coffee Break

11:00-12:30 Application of CTL to MAS (Chair: Rafael Bordini)
12:30-12:45 Closing Remark