| Argument-based extended logic programming with defeasible priorities H Prakken, G Sartor Journal of applied non-classical logics 7 (1-2), 25-75, 1997 | 813 | 1997 |
| A dialectical model of assessing conflicting arguments in legal reasoning H Prakken, G Sartor Logical models of legal argumentation, 175-211, 1997 | 510 | 1997 |
| Legal reasoning G Sartor A Treatise of Legal Philosophy and General Jurisprudence 5, 2005 | 359 | 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 | 356 | 2003 |
| Modelling reasoning with precedents in a formal dialogue game H Prakken, G Sartor Judicial applications of artificial intelligence, 127-183, 1998 | 327 | 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 | 295 | 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 | 275 | 2016 |
| Law and logic: A review from an argumentation perspective H Prakken, G Sartor Artificial intelligence 227, 214-245, 2015 | 202 | 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 | 190 | 2019 |
| Temporalised normative positions in defeasible logic G Governatori, A Rotolo, G Sartor Proceedings of the 10th international conference on Artificial intelligence …, 2005 | 190 | 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 | 164 | 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 | 155 | 2006 |
| Defeasibility in legal reasoning G Sartor Informatics and the foundations of legal reasoning, 119-157, 1995 | 152 | 1995 |
| The three faces of defeasibility in the law H Prakken, G Sartor Ratio Juris 17 (1), 118-139, 2004 | 134 | 2004 |
| Agents and norms: How to fill the gap? R Conte, R Falcone, G Sartor AI & L. 7, 1, 1999 | 127 | 1999 |
| A formal model of legal argumentation G Sartor Ratio Juris 7 (2), 177-211, 1994 | 121 | 1994 |
| Cognitive automata and the law: electronic contracting and the intentionality of software agents G Sartor Artificial intelligence and law 17, 253-290, 2009 | 106 | 2009 |
| A logical analysis of burdens of proof H Prakken, G Sartor Legal evidence and proof, 237-268, 2016 | 104 | 2016 |
| Argumentation in legal reasoning T Bench-Capon, H Prakken, G Sartor Argumentation in artificial intelligence, 363-382, 2009 | 98 | 2009 |
