Henry Prakken
Henry Prakken
Department of Information and Computing Sciences, Faculty of Science, Utrecht University & Faculty
Verified email at cs.uu.nl
Title
Cited by
Cited by
Year
Logics for defeasible argumentation
H Prakken, G Vreeswijk
Handbook of philosophical logic, 219-318, 2001
8392001
An abstract framework for argumentation with structured arguments
H Prakken
Argument and Computation 1 (2), 93-124, 2010
7242010
Argument-based extended logic programming with defeasible priorities
H Prakken, G Sartor
Journal of applied non-classical logics 7 (1-2), 25-75, 1997
7241997
Logical tools for modelling legal argument: a study of defeasible reasoning in law
H Prakken
Springer Science & Business Media, 2013
6202013
The Carneades model of argument and burden of proof
TF Gordon, H Prakken, D Walton
Artificial Intelligence 171 (10-15), 875-896, 2007
4472007
A dialectical model of assessing conflicting arguments in legal reasoning
H Prakken, G Sartor
Logical models of legal argumentation, 175-211, 1996
4331996
Coherence and flexibility in dialogue games for argumentation
H Prakken
Journal of logic and computation 15 (6), 1009-1040, 2005
3432005
Formal systems for persuasion dialogue
H Prakken
Knowledge Engineering Review 21 (2), 163, 2006
3342006
A general account of argumentation with preferences
S Modgil, H Prakken
Artificial Intelligence 195, 361-397, 2013
3032013
Contrary-to-duty obligations
H Prakken, M Sergot
Studia Logica 57 (1), 91-115, 1996
2991996
Modelling reasoning with precedents in a formal dialogue game
H Prakken, G Sartor
Judicial applications of artificial intelligence, 127-183, 1998
2491998
The ASPIC+ framework for structured argumentation: a tutorial
S Modgil, H Prakken
Argument & Computation 5 (1), 31-62, 2014
2482014
Towards a formal account of reasoning about evidence: argumentation schemes and generalisations
F Bex, H Prakken, C Reed, D Walton
Artificial Intelligence and Law 11 (2-3), 125-165, 2003
2192003
Credulous and sceptical argument games for preferred semantics
GAW Vreeswik, H Prakken
European Workshop on Logics in Artificial Intelligence, 239-253, 2000
2042000
A study of accrual of arguments, with applications to evidential reasoning
H Prakken
Proceedings of the 10th international conference on Artificial intelligence …, 2005
1652005
Dyadic deontic logic and contrary-to-duty obligations
H Prakken, M Sergot
Defeasible deontic logic, 223-262, 1997
1591997
Relating protocols for dynamic dispute with logics for defeasible argumentation
H Prakken
Synthese 127 (1-2), 187-219, 2001
1572001
The role of logic in computational models of legal argument: a critical survey
H Prakken, G Sartor
Computational logic: Logic programming and beyond, 342-381, 2002
1372002
A hybrid formal theory of arguments, stories and criminal evidence
FJ Bex, PJ Van Koppen, H Prakken, B Verheij
Artificial Intelligence and Law 18 (2), 123-152, 2010
1282010
On dialogue systems with speech acts, arguments, and counterarguments
H Prakken
European Workshop on Logics in Artificial Intelligence, 224-238, 2000
1162000
The system can't perform the operation now. Try again later.
Articles 1–20