Henry Prakken
Henry Prakken
Department of Information and Computing Sciences, Faculty of Science, Utrecht University & Faculty
Email verificata su cs.uu.nl
TitoloCitata daAnno
Logics for defeasible argumentation
H Prakken, G Vreeswijk
Handbook of philosophical logic, 219-318, 2001
8162001
Argument-based extended logic programming with defeasible priorities
H Prakken, G Sartor
Journal of applied non-classical logics 7 (1-2), 25-75, 1997
7101997
An abstract framework for argumentation with structured arguments
H Prakken
Argument and Computation 1 (2), 93-124, 2010
6862010
Logical tools for modelling legal argument: a study of defeasible reasoning in law
H Prakken
Springer Science & Business Media, 2013
6022013
The Carneades model of argument and burden of proof
TF Gordon, H Prakken, D Walton
Artificial Intelligence 171 (10-15), 875-896, 2007
4302007
A dialectical model of assessing conflicting arguments in legal reasoning
H Prakken, G Sartor
Logical models of legal argumentation, 175-211, 1996
4211996
Coherence and flexibility in dialogue games for argumentation
H Prakken
Journal of logic and computation 15 (6), 1009-1040, 2005
3362005
Formal systems for persuasion dialogue
H Prakken
The knowledge engineering review 21 (2), 163-188, 2006
3222006
A general account of argumentation with preferences
S Modgil, H Prakken
Artificial Intelligence 195, 361-397, 2013
2862013
Contrary-to-duty obligations
H Prakken, M Sergot
Studia Logica 57 (1), 91-115, 1996
2811996
Modelling reasoning with precedents in a formal dialogue game
H Prakken, G Sartor
Judicial applications of artificial intelligence, 127-183, 1998
2401998
The ASPIC+ framework for structured argumentation: a tutorial
S Modgil, H Prakken
Argument & Computation 5 (1), 31-62, 2014
2162014
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
2082003
Credulous and sceptical argument games for preferred semantics
GAW Vreeswik, H Prakken
European Workshop on Logics in Artificial Intelligence, 239-253, 2000
1992000
A study of accrual of arguments, with applications to evidential reasoning
H Prakken
Proceedings of the 10th international conference on Artificial intelligence …, 2005
1572005
Relating protocols for dynamic dispute with logics for defeasible argumentation
H Prakken
Synthese 127 (1-2), 187-219, 2001
1552001
Dyadic deontic logic and contrary-to-duty obligations
H Prakken, M Sergot
Defeasible deontic logic, 223-262, 1997
1491997
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
1362002
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
1222010
On dialogue systems with speech acts, arguments, and counterarguments
H Prakken
European Workshop on Logics in Artificial Intelligence, 224-238, 2000
1122000
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20