12:40-14:20
|
Session II
|
|
|
|
Federico Cerutti, Massimiliano Giacomin and Mauro Vallati
|
Generating Challenging Benchmark AFs
|
|
|
Federico Cerutti, Massimiliano Giacomin and Mauro Vallati
|
ArgSemSAT: Solving Argumentation Problems Using SAT
|
|
|
Isabelle Mirbel and Serena Villata
|
An Argumentation-based Support System for Requirements Reconciliation
|
|
|
Yutaka Oomidou, Yuki Katsura, Hajime Sawamura, Jacques Riche and Takeshi Hagiwara
|
Asynchronous Argumentation System PIRIKA for Anyone, Anytime,
Anywhere with the Balanced Semantics
|
|
|
Sjoerd Timmer, John-Jules Ch. Meyer, Henry Prakken, Silja Renooij and Bart Verheij
|
A Tool for the Generation of Arguments from Bayesian Networks
|
|
|
Alice Toniolo, Timothy Dropps, Robin Wentao Ouyang, John A. Allen, Timothy Norman, Nir Oren, Mani Srivastava and Paul Sullivan
|
Argumentation-based collaborative intelligence analysis in CISpaces
|
|
|
Bas Van Gijzel
|
Demo: A principled approach to the implementation of argumentation models
|
|
|
Jann Müller and Anthony Hunter
|
Deepflow: Using Argument Schemes to Query Relational Databases
|
|
|
Mathilde Janier, John Lawrence and Chris Reed
|
OVA+: an Argument Analysis Interface
|
|
|
John Lawrence and Chris Reed
|
AIFdb Corpora
|
|
|
Rolando Medellin, Chris Reed and Vicki Hanson
|
Spoken interaction with broadcast debates
|
|
|
Alison Pease, Katarzyna Budzynska, John Lawrence and Chris Reed
|
Lakatos Games for Mathematical Argument
|
|