Formal Methods in Argument Reconstruction

20-21. September 2012


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


Gregor Betz, Karlsruhe Institute of Technology, Germany Georg Brun, ETH Zurich/University of Zurich, Switzerland Frank Zenker, Lund University, Sweden


The workshop is free and open to researchers working on this or related themes. To register, please click HERE
Sidansvarig: anna.ostbergfil.luse | 2013-01-17