Search the Dagstuhl Website
Looking for information on the websites of the individual seminars? - Then please:
Not found what you are looking for? - Some of our services have separate websites, each with its own search option. Please check the following list:
Schloss Dagstuhl - LZI - Logo
Schloss Dagstuhl Services
Within this website:
External resources:
  • DOOR (for registering your stay at Dagstuhl)
  • DOSA (for proposing future Dagstuhl Seminars or Dagstuhl Perspectives Workshops)
Within this website:
External resources:
Within this website:
External resources:
  • the dblp Computer Science Bibliography

Dagstuhl Perspectives Workshop 08042

Theory and Practice of Argumentation Systems

( Jan 20 – Jan 23, 2008 )

(Click in the middle of the image to enlarge)

Please use the following short url to reference this page:



We believe that argumentation systems are at a point where they can be of practical use and industrial importance. Whereas once argumentation systems only existed as theoretical models, there are now a number of software implementations which make it practical to build software systems that have argumentation at their core.

The motivation for this seminar is to bring together researchers and developers involved in Argumentation Systems and related areas who have been producing significant contributions towards the progress in theoretical and pragmatic aspects of this form of reasoning.

While the field is now burgeoning, we feel that it is time to consider the directions in which fundamental and applied research in argumentation should go in the next ten years. We will also establish an outline of a roadmap, and provide the basic material from which a detailed document can be developed after the seminar is over.

  • Leila Amgoud (Paul Sabatier University - Toulouse, FR) [dblp]
  • Grigoris Antoniou (FORTH - Heraklion, GR) [dblp]
  • Kevin D. Ashley (University of Pittsburgh, US) [dblp]
  • Pietro Baroni (University of Brescia, IT) [dblp]
  • Trevor Bench-Capon (University of Liverpool, GB)
  • Philippe Besnard (Paul Sabatier University - Toulouse, FR) [dblp]
  • Simon Buckingham Shum (The Open University - Milton Keynes, GB) [dblp]
  • Jürgen Dix (TU Clausthal, DE) [dblp]
  • Paul E. Dunne (University of Liverpool, GB) [dblp]
  • Tom Gordon (FhG - ISST Berlin, DE) [dblp]
  • Floriana Grasso (University of Liverpool, GB) [dblp]
  • Helmut Horacek (Universität des Saarlandes, DE)
  • Anthony Hunter (University College London, GB) [dblp]
  • Antonis C. Kakas (University of Cyprus, CY) [dblp]
  • Gabriele Kern-Isberner (TU Dortmund, DE) [dblp]
  • Nicolas Maudet (University Paris-Dauphine, FR) [dblp]
  • Peter McBurney (University of Liverpool, GB) [dblp]
  • Thomas Meyer (Meraka Institute - Pretoria, ZA) [dblp]
  • Pavlos Moraitis (Paris Descartes Unversity, FR)
  • Timothy Norman (University of Aberdeen, GB) [dblp]
  • Simon Parsons (Brooklyn College, US) [dblp]
  • Henry Prakken (Utrecht University, NL) [dblp]
  • Iyad Rahwan (British University in Dubai, AE) [dblp]
  • Chris Reed (University of Dundee, GB) [dblp]
  • Guillermo R. Simari (National University of the South - Bahía Blanca, AR) [dblp]
  • Francesca Toni (Imperial College London, GB) [dblp]
  • Bart Verheij (University of Groningen, NL) [dblp]
  • Douglas Walton (University of Winnipeg, CA) [dblp]

  • artificial intelligence / robotics
  • semantics / specification / formal methods
  • verification / logic

  • argumentation
  • reasoning
  • agent sytems