CLIMA Schedule at a glance

		27 June, Monday		28 June, Tuesday		29 June, Wednesday
8:45		Registration
				Registration		Registration
9:15		Opening
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 (Federico Chesani & Marco Gavanelli)		Tutorial T3 (Keith Clark & Silvana Zappacosta Amboldi)
12:00		CLIMA Session A: Interacting Agents		CLIMA Session C: Composition and Completeness		Invited Talk by Bob Kowalski
13:00		lunch break		lunch break		lunch break
14:00		CLIMA Session B: Reasoning about Agent Knowledge		CLIMA Contest		CLIMA Session E: Executing Agents
15:30				coffee break		coffee break
16:00		coffee break		CLIMA Session D: Normative Multi-Agent Systems		CLIMA Session F: Agent Abilities, Intentions, and Trust
16:30		SOCS Dissemination
17:30						Closing
18:30				Social Dinner at the OXO tower
				After dinner: WTF Funky gig at Halfmoon Putney

Social Events

The Social Dinner will take place on Tuesday, at the OXO tower brasserie, from 6:30pm until 8:30pm. After the Social Dinner, we will continue the night at Halfmoon Putney, with W.T.F. as the main band playing in a a super-funky gig. Entrance £4 (with flyer). Find here some information and directions.

CLIMA Programme

	download printer-friendly programme		download printer-friendly programme and logistic information
	download proceedings		download table of contents

Monday, June 27

8:45-9:15: Registration.

8:15-9:30: Opening.

9:30-12:00: Tutorials T1 and T5.

• BDI Agent Programming in AgentSpeak Using Jason
  by Rafael H. Bordini
• The KGP model of agency
  by Fariba Sadri and Kostas Stathis

12:00-13:00: Technical Session A: Interacting Agents.

• Verification of protocol conformance and agent interoperability
  by Matteo Baldoni, Cristina Baroglio, Alberto Martelli, and Viviana Patti
• A semantics for agent communication languages based on commitments and penalties
  by Leila Amgoud and Florence Dupin de Saint-Cyr

14:00-16:00: Technical Session B: Reasoning about Agent Knowledge.

• Reasoning about epistemic states of agents by modal logic programming
  by Linh Anh Nguyen
• Decision procedure for a fragment of mutual belief logic with quantified agent variables
  by Regimantas Pliuskevicius and Aida Pliuskeviciene
• Strongly complete axiomatizations of "knowing at most" in standard syntactic assignments
  by Thomas Agotnes and Michal Walicki
• Logical spaces in multi-agent only knowing systems
  by Bjørnar Solhaug and Arild Waaler

16:30-18:00: SOCS Dissemination.

• Talks by Francesca Toni, Tony Kakas, Andrea Bracciali, Marco Alberti, and Paolo Torroni

Tuesday, June 28

9:10-9:30: Registration.

9:30-12:00: Tutorials T2 and T6.

• Programming Rational Agent Groups using Executable Logics
  by Michael Fisher
• Specification and verification of agent interaction using SOCS-SI
  by Federico Chesani and Marco Gavanelli

12:00-13:00: Technical Session C: Composition and Completeness in Multi-Agent Systems.

• Combining answer sets of nonmonotonic logic programs
  by Chiaki Sakama and Katsumi Inoue
• Speculative constraint processing with iterative revision for disjunctive answers
  by Martine Ceberio, Hiroshi Hosobe, and Ken Satoh

14:00-15:30: CLIMA Contest.

• Using pheromones, broadcasting and negotiation for agent gathering tasks
  by Simon Coffey and Dorian Gaertner
• Reactive food gathering
  by Robert Logie, Jon G. Hall, and Kevin G. Waugh
• Extending tropos for prolog implementation: a case study using the food collecting agent problem
  by Carlos Cares, Xavier Franch and Enric Mayol
• Strategies for multi-agent coordination in a grid world
  by Eder Mateus Nunes Gonçalves and Guilherme Bittencourt

16:00-17:00: Session D: Normative Multi-Agent Systems.

• Constitutive norms in the design of normative multi-agent systems
  by Guido Boella and Leendert van der Torre
• Contextual terminologies
  by Davide Grossi, Frank Dignum, and John-Jules Ch. Meyer

Wednesday, June 29

9:10-9:30: Registration.

9:30-12:00: Tutorials T4 and T3.

• Norms and institutions in agent societies: the language (C/C+)++
  by Marek J. Sergot
• Programming multi-agent systems in Qu-Prolog
  by Keith Clark and Silvana Zappacosta-Amboldi

12:00-13:00: Invited Talk by Bob Kowalski: Combining logic-based agents and decision theory.

14:00-15:30: Session E: Executing Agents.

• Contract related agents
  by John Knottenbelt and Keith Clark
• Profiles of behaviour for logic-based agents
  by Fariba Sadri and Francesca Toni
• Diagnosis of plan execution and the executing agent
  by Nico Roos and Cees Witteveen

16:00-17:30: Session F: Agent Abilities, Intentions, and Trust.

• Intention recognition in the situation calculus and probability theory frameworks
  by Robert Demolombe and Ana Maria Otermin Fernandez
• Ability in a multi-agent context: a model in the situation calculus
  by Laurence Cholvy, Christophe Garion, and Claire Saurel
• A default theory of trust
  by Johan W. Klüwer and Arild Waaler

17:30: Closing.

 

Co-location

CLIMA VI will be co-located with the EU-funded SOCS project dissemination workshop. More to follow.