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