Tutorial Programme

• Introduce Computational Logic-based agent programming environments.
• Introduce novices to state-of-the-art CL-based MAS research.
• Provide guidelines to researchers and practitioners interested in logic-based agent technologies.

The CLIMA VI Tutorial Programme will cover the following topics:

• BDI Agent Programming in AgentSpeak Using Jason (Rafael Bordini, University of Durham)
• Programming Rational Agent Groups using Executable Logics (Michael Fisher, University of Liverpool)
• Programming multi-agent systems in Qu-Prolog (Keith Clark and Silvana Zappacosta-Amboldi, Implerial College London)
• Norms and institutions in agent societies: the language (C/C+)++ (Marek Sergot, Imperial College London)
• The KGP model of agency (Fariba Sadri, Imperial College London, and Kostas Stathis, City University London)
• Specification and verification of agent interaction using SOCS-SI (Federico Chesani, University of Bologna, and Marco Gavanelli, University of Ferrara)

Final Schedule

		27 June, Monday		28 June, Tuesday		29 June, Wednesday
9:30		Tutorial T1 (Rafael Bordini)		Tutorial T2 (Michael Fisher)		Tutorial T4 (Marek Sergot)
10:30		coffee break		coffee break		coffee break
11:00		Tutorial T5 (Fariba Sadri & Kostas Stathis)		Tutorial T6 (Marco Gavanelli & Federico Chesani)		Tutorial T3 (Keith Clark & Silvana Zappacosta Amboldi)