Formal Methods in Argument Reconstruction
20-21. September 2012
Introduction
WORKSHOP WEBSITEGAP.8 WEBSITE
The purpose of this international workshop is to bring together researchers who apply formal methods, widely understood, to natural language argumentation in order to provide a reconstruction which can provide the basis for an evaluation.
A related objective is to make the state of the art accessible to audiences who predominantly reconstruct natural language argumentation with more traditional formal or informal tools.
OBS: THIS EVENT IS HELD IN KONSTANZ
PROGRAM (titles preliminary)
Thursday Sept. 20, 2012
17:00 Welcome
17:10 Catarina Dutilh Novaes (Groningen): “The formal, the formalized, and the history of logic”
17:40 Georg Brun (Zurich): Commentary
17:50 Discussion
18:10 Break
18:40 Georg Dorn(Salzburg) : “Logical formalization of argument hierarchies”
19:10 Friedrich Reinmuth (Greifswald): Commentary
19:20 Discussion
19:40 End
20:15 Dinner
Friday Sept. 21, 2012
09:30 Hans Rott (Regensburg): “Argumentation, common ground and presupposition accommodation”
10:00 Christoph Lumer (Siena): Commentary
10:10 Discussion
10:30 Break
10:50 Henry Prakken (Utrecht): “Argumentation frameworks in AI”
11:20 Gregor Betz (Karlsruhe): Commentary
11:30 Discussion
11:50 Break
12:00 Tom Gordon (Berlin): “Evaluating complex legal argumentation”
12:30 Michael Baumgartner (Konstanz): Commentary
12:40 Discussion
13:00 Lunch
14:00 Ulrike Hahn (Cardiff): “Bayesian analysis of natural language arguments”
14:30 Frank Zenker (Lund): Commentary
14:40 Discussion
15:00 Break
15:10 Group Discussion
16:00 End
Organizers
Gregor Betz, Karlsruhe Institute of Technology, Germany
Georg Brun, ETH Zurich/University of Zurich, Switzerland
Frank Zenker, Lund University, Sweden
Registration
The workshop is free and open to researchers working on this or related themes. To register, please click HERE