Monday 11^th September, 2006

8.15-9.00 - Registration

9.00-9.15 - Welcome and Opening Remarks

9.15-11.00 - Argument in Agent Systems

9.15-9.45
Towards Representing and Querying Arguments on the Semantic Web
I. Rahwan, P. V. Sakeer

9.45-10.15
Building Agents that Plan and Argue in a Social Context
S. Wells, C. Reed, T. Norman, N. Jennings,
D. Kalofonos, N. Karunatillake

10.15-10.30
Argue tuProlog: A Lightweight Argumentation Engine
for Agent Applications
D. Bryant, P. Krause, G. A. Vreeswijk

10.30-11.00
An Application of Formal Argumentation: Fusing Bayes Nets in MAS
S. Nielsen, S. Parsons

11.00-11.30 - Coffee

11.30-13.00 Applications

11.30-12.00
Value-Based Argumentation for Democratic Decision Support
K. Atkinson

12.00-12.30
Argument based machine learning in a medical domain
J. Zabkar, M. Mozina, J. Videcnik, I. Bratko

12.30-13.00
CBR and Argument Schemes for Collaborative Decision Making
P. Tolchinsky, S. Modgil, U. Cortes, M. Sanchez-Marre

13.00 - 14.00 Lunch

14.00-16.00 - Computational Properties of Argument

14.00-14.30
Complexity Properties of Restricted Abstract Argument Systems
P. E. Dunne

14.30-15.00
Computing Preferred Extensions for Argumentation Systems with Sets of Attacking Arguments
S. Nielsen, S. Parsons

15.00-15.30
An algorithm to compute all minimally grounded and admissible defence sets in argument systems
G. A. Vreeswijk

15.30-16.00
Semi-Stable Semantics
M. Caminada

16.00-16.30 Tea

16.30-18.00 - Argumentation Frameworks and Schemes I

16.30-17.00
Reasoning in Argumentation Frameworks Using Quantified Boolean Formulas
U. Egly, S. Woltran

17.00-17.30
A dialectic procedure for sceptical, assumption-based argumentation
P. M. Dung, P. Mancarella, F. Toni

17.30-18.00
Evaluation and comparison criteria for extension-based argumentation semantics
P. Baroni, M. Giacomin

18.15- Welcoming Drinks Reception
(Piazza, Liverpool Metropolitan Cathedral)

Tuesday 12^th September, 2006

9.00-11.00 - Argumentation Tools

9.00-9.30
Translating Wigmore Diagrams
G. Rowe, C. Reed

9.30-10.00
First Steps Towards Automatic Construction of Argument-Diagrams from Real Discussions
R. Rienks, D. Verbree, D. Heylen

10.00-10.30
The Carneades Argumentation Framework
T. Gordon, D. Walton

10.30-11.00
Pierson vs. Post Revisited
T. Gordon, D. Walton

11.00-11.30 Coffee

11.30-13.00 - Reasoning about Action

11.30-12.00
Argumentation and Persuasion in the Cognitive Coherence Theory
P. Pasquier, I. Rahwan, F. Dignum, L. Sonenberg

12.00-12.30
Knowing When To Bargain
S. Wells, C. Reed

12.30-13.00
Justifying Actions by accruing arguments
T. Bench-Capon, H. Prakken

13.00 - 14.00 Lunch

14.00 - 16.00 - Argumentation Frameworks and Schemes II

14.00-14.30
Handling controversial arguments in bipolar argumentation systems
M-C. Lagasquie-Schiex, C. Cayrol, C. Devred

14.30-14.45
On Acceptability in Abstract Argumentation Frameworks with an Extended Defeat Relation
D. Martinez, A. Garcia, G. Simari

14.45-15.15
Automating Argumentation for Deliberation in Cases of Conflict of Interest
A. Chorley, T. Bench-Capon, P. McBurney

15.15-15.30
The Logic of Multiple-Valued Argumentation and its Applications to Web Technology
H. Sawamura, T. Wakaki, K. Nitta

15.30-16.00
Value Based Argumentation in Hierarchical Argumentation Frameworks
S. Modgil

16.00-16.30 Tea

16.30-17.45 - Dialogue and Decision

16.30-17.00
Combining sceptical epistemic reasoning with credulous practical reasoning
H. Prakken

17.00-17.15
Multi-agent agreements about actions through argumentation
P. Torroni

17.15-17.45
Suspicion of Hidden Agenda in Persuasive Argument
P.E. Dunne

17.45-18.00 - Closing Remarks