Argument-based extended logic programming with defeasible priorities H Prakken, G Sartor Journal of applied non-classical logics 7 (1-2), 25-75, 1997 | 814 | 1997 |
A dialectical model of assessing conflicting arguments in legal reasoning H Prakken, G Sartor Logical models of legal argumentation, 175-211, 1997 | 512 | 1997 |
Legal reasoning G Sartor A Treatise of Legal Philosophy and General Jurisprudence 5, 2005 | 361 | 2005 |
A model of legal reasoning with cases incorporating theories and values T Bench-Capon, G Sartor Artificial Intelligence 150 (1-2), 97-143, 2003 | 360 | 2003 |
Modelling reasoning with precedents in a formal dialogue game H Prakken, G Sartor Judicial applications of artificial intelligence, 127-183, 1998 | 331 | 1998 |
On legal contracts, imperative and declarative smart contracts, and blockchain systems G Governatori, F Idelberger, Z Milosevic, R Riveret, G Sartor, X Xu Artificial Intelligence and Law 26, 377-409, 2018 | 305 | 2018 |
Evaluation of logic-based smart contracts for blockchain systems F Idelberger, G Governatori, R Riveret, G Sartor Rule Technologies. Research, Tools, and Applications: 10th International …, 2016 | 283 | 2016 |
Law and logic: A review from an argumentation perspective H Prakken, G Sartor Artificial intelligence 227, 214-245, 2015 | 206 | 2015 |
CLAUDETTE: an automated detector of potentially unfair clauses in online terms of service M Lippi, P Pałka, G Contissa, F Lagioia, HW Micklitz, G Sartor, P Torroni Artificial Intelligence and Law 27, 117-139, 2019 | 196 | 2019 |
Temporalised normative positions in defeasible logic G Governatori, A Rotolo, G Sartor Proceedings of the 10th international conference on Artificial intelligence …, 2005 | 191 | 2005 |
The Ethical Knob: ethically-customisable automated vehicles and the law G Contissa, F Lagioia, G Sartor Artificial Intelligence and Law 25, 365-378, 2017 | 167 | 2017 |
The role of logic in computational models of legal argument: a critical survey H Prakken, G Sartor Computational logic: Logic programming and beyond: Essays in honour of …, 2002 | 163 | 2002 |
Fundamental legal concepts: A formal and teleological characterisation* G Sartor Artificial Intelligence and Law 14, 101-142, 2006 | 156 | 2006 |
Defeasibility in legal reasoning G Sartor Informatics and the foundations of legal reasoning, 119-157, 1995 | 156 | 1995 |
The three faces of defeasibility in the law H Prakken, G Sartor Ratio Juris 17 (1), 118-139, 2004 | 136 | 2004 |
Agents and norms: How to fill the gap? R Conte, R Falcone, G Sartor AI & L. 7, 1, 1999 | 128 | 1999 |
A formal model of legal argumentation G Sartor Ratio Juris 7 (2), 177-211, 1994 | 121 | 1994 |
A logical analysis of burdens of proof H Prakken, G Sartor Legal evidence and proof, 237-268, 2016 | 108 | 2016 |
Cognitive automata and the law: electronic contracting and the intentionality of software agents G Sartor Artificial intelligence and law 17, 253-290, 2009 | 108 | 2009 |
Argumentation in legal reasoning T Bench-Capon, H Prakken, G Sartor Argumentation in artificial intelligence, 363-382, 2009 | 101 | 2009 |