Programme

18.45-9.00: Welcome

19.00-9.30: Modelling (Chair: TBA)

Integrating Agent Models and Dynamical Systems Tibor Bosse, Alexei Sharpanskykh and Jan Treur

9.30-10.30: Invited Talk (Chair: TBA)

Agent-Oriented Modelling: Declarative or Procedural? Leon Sterling

10.30-11.00: Coffee Break

11.00-12.30: Goals (Chair: TBA)

Composing high-level plans for declarative agent programming Felipe Meneguzzi and Michael Luck Satisfying Maintenance Goals Koen Hindriks and M. Birna van Riemsdijk Towards Alternative Approaches to Reasoning about Goals Patricia Shaw and Rafael H. Bordini

12.30-14.00: Lunch Break

14.00-16.00: Foundational Concepts (Chair: TBA)

Reflections on Agent Beliefs John Lloyd and Kee Siong Ng Modelling Agents' Choices in Temporal Linear Logic Duc Quang Pham, James Harland and Michael Winikoff Conflict Resolution in Norm-Regulated Environments via Unification and Constraints Martin J. Kollingbaum, Wamberto Vasconcelos, Andres Garcia-Camino and Timothy J. Norman On the Complexity Monotonicity Thesis for Environment, Behaviour and Cognition Tibor Bosse, Alexei Sharpanskykh and Jan Treur

16.00-16.30: Coffee Break

16.30-18.00: Communication (Chair: TBA)

Structured Argumentation for Mediator in Online Dispute Resolution Ioan Alfred Letia and Adrian Groza Extending Propositional Logic with Concrete Domains in Multi-issue Bilateral Negotiation Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciascio and Francesco M. Donini Component-Based Standardisation of Agent Communication Frank Guerin and Wamberto Vasconcelos

18.00-18.15: Closing Remarks