Dagstuhl Seminar 02481

Programming Multi Agent Systems based on Logic

J. Dix (Univ. Manchester, GB), M. Fisher (Univ. of Liverpool, GB)
 

Presentations    Photos    Seminar Report

Monday 25th November


08:45 - 09:00  Welcome and Introduction [Juergen Dix/Michael Fisher]

09:00 - 10:30  Chair: Renate Schmidt

Joris Hulstijn, Vrije Universiteit Amsterdam
Multi-Agent Interaction Protocols and Dialogue Games

Paolo Torroni, University of Bologna
A Logic-based Approach to Negotiation Dialogues

10:45 - 12:15  Chair: John-Jules Meyer

Joao Leite, Universidade Nova de Lisboa
Languages of Updates ( .ppt,  .pps )

Chiara Ghidini, University of Liverpool
Programming Individual Rational Agents

14:00 - 15:30  Chair: Ulrich Hustadt

Amal El Fallah Seghrouchni, Université Paris VI
CLAIM: Computational Language for Autonomous, Intelligent and Mobile Agent

Michael Schroeder, City University - London
Arguments and Misunderstandings: A Fuzzy Approach to Conflict Resolution in Open Systems


Tuesday 26th November


09:00 - 10:30  Chair: Jürgen Dix

Michael Fink, TU Wien
Answer Set Programming for Information Agents

Yingqian Zhang, University of Manchester
Monitoring Agents

10:45 - 12:15  Chair: Thomas Eiter

Wenjin Lue, City University - London
Adversarial Planning in Multiagent Systems based on Graphplan

Cees Witteveen, Delft University of Technology
Plan Merging and Cooperation

14:00 - 15:30  Chair: James Harland

Viviana Mascardi, University of Genova
A Survey and Discussion of Logic-Based Languages to Model and Program Intelligent Agents

Maurizio Martelli, University of Genova
CaseLP: A Prototyping Environment for Heterogeneous Agent Systems


Wednesday 27th November


09:00 - 10:30  Chair: Cees Witteveen

Benjamin Hirsch, University of Liverpool
Organising Logic Based Agents

Renate A. Schmidt, University of Manchester
Agent Dynamic Logic ( part 1, part 2 )

10:45 - 12:15  Chair: Chiara Ghidini

John-Jules Meyer, Utrecht University
Agent programming in Dribble: from beliefs to goals with plans

Mehdi Dastani, Utrecht University
Programming the Deliberation Cycle of Cognitive Agencies

14:00 Photo Session (in front of chapel)

14:45: Coffee

Excursion (Wine tasting)
Start: 15:30
Back in Dagstuhl: 22.00
Costs: 25 Euro


Thursday 28th November


09:00 - 10:30  Chair: Katsumi Inoue

Ullrich Hustadt, University of Liverpool
Scientific Benchmarking for Agent-Method Logics

Ken Satoh, NII - Tokyo
Speculative Computation in Multi-Agent System

10:45 - 12:15  Chair: Chiaki Sakama

Frieder Stolzenburg, HS Harz - Wernigerode
Specification and Analysis of Multi Agent Systems

Oliver Obst, Univ. Koblenz/Landau
Using Model-based Diagnosis in Multi-Agent Systems to Make Assumptions About Spatial Properties

14:00 - 15:30  Chair: Ken Satoh

Katsumi Inoue, Kobe University
Speculative Computation by Consequence Finding

Chiaki Sakama, Wakayama University
Default reasoning in multi-agent systems

16:00 - 18:00 Chairs: M. Fisher/ J. Dix

Results of the working groups:
Group 1: Programming Negotiation in Agents
Group 2: Programming Deliberation/rationality in Agents
Group 3: Information/Data Management via Logic-based Agents
Group 4: Programming Cooperation in Agents


Friday 29th November


09:00 - 10:30  Chair: Joao Leite

James Harland, RMIT University - Melbourne
Agents via Mixed Mode Computation in Linear Logic

Emil Weydert, Luxembourg University of Applied Sciences
Agents and Uncertainty - Induction of preferences

10:45 - 12:15  Chair: Michael Fisher

Guido Boella, University of Torino
Normative Multi Agent Systems

Rafael Bordini, University of Liverpool
Progress in BDI Logic Programming with AgentSpeak(L)