Dagstuhl Perspectives Workshop 08042
Theory and Practice of Argumentation Systems
( Jan 20 – Jan 23, 2008 )
(Click in the middle of the image to enlarge)
Permalink
Please use the following short url to reference this page:
https://www.dagstuhl.de/08042
Organizers
- Jürgen Dix (TU Clausthal, DE)
- Simon Parsons (Brooklyn College, US)
- Henry Prakken (Utrecht University, NL)
- Guillermo R. Simari (National University of the South - Bahía Blanca, AR)
Contact
Impacts
- Dagstuhl Manifesto : Perspectives Workshop Theory and Practice of Argumentation Systems 08042 : Article S. 181-182 - Dix, Jürgen - Heidelberg : Springer, 2009 - (Informatik Spektrum : 32. 2009, 2 : S. 181-182). DOI: 10.1007/s00287-009-0336-7.
- Research challenges for argumentation : article S. 27 - 34 - Dix, Jürgen; Parsons, Simon; Prakken, Henry; Simari, Guillermo R. - Berlin : Springer, 2009 - (Computer science : research and development : 23. 2009, 1).
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]
Classification
- artificial intelligence / robotics
- semantics / specification / formal methods
- verification / logic
Keywords
- argumentation
- reasoning
- agent sytems
