| Argument-based extended logic programming with defeasible priorities H Prakken, G Sartor Journal of applied non-classical logics 7 (1-2), 25-75, 1997 | 774 | 1997 |
| A dialectical model of assessing conflicting arguments in legal reasoning H Prakken, G Sartor Logical models of legal argumentation, 175-211, 1996 | 475 | 1996 |
| Legal reasoning G Sartor A Treatise of Legal Philosophy and General Jurisprudence 5, 2005 | 323 | 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 | 308 | 2003 |
| Modelling reasoning with precedents in a formal dialogue game H Prakken, G Sartor Judicial applications of artificial intelligence, 127-183, 1998 | 273 | 1998 |
| Evaluation of logic-based smart contracts for blockchain systems F Idelberger, G Governatori, R Riveret, G Sartor International symposium on rules and rule markup languages for the semantic …, 2016 | 203 | 2016 |
| Temporalised normative positions in defeasible logic G Governatori, A Rotolo, G Sartor Proceedings of the 10th international conference on Artificial intelligence …, 2005 | 183 | 2005 |
| 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 (4), 377-409, 2018 | 171 | 2018 |
| 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 | 146 | 2002 |
| Fundamental legal concepts: A formal and teleological characterisation G Sartor Artificial Intelligence and Law 14 (1), 101-142, 2006 | 132 | 2006 |
| Defeasibility in legal reasoning G Sartor Informatics and the foundations of legal reasoning, 119-157, 1995 | 131 | 1995 |
| Law and logic: A review from an argumentation perspective H Prakken, G Sartor Artificial intelligence 227, 214-245, 2015 | 129 | 2015 |
| The three faces of defeasibility in the law H Prakken, G Sartor Ratio Juris 17 (1), 118-139, 2004 | 124 | 2004 |
| Agents and norms: How to fill the gap? R Conte, R Falcone, G Sartor AI & L. 7, 1, 1999 | 118 | 1999 |
| A formal model of legal argumentation G Sartor Ratio Juris 7 (2), 177-211, 1994 | 106 | 1994 |
| The Ethical Knob: ethically-customisable automated vehicles and the law G Contissa, F Lagioia, G Sartor Artificial Intelligence and Law 25 (3), 365-378, 2017 | 102 | 2017 |
| A logical analysis of burdens of proof H Prakken, G Sartor Legal evidence and proof: Statistics, stories, logic, 223-253, 2010 | 98 | 2010 |
| A system for defeasible argumentation, with defeasible priorities H Prakken, G Sartor International Conference on Formal and Applied Practical Reasoning, 510-524, 1996 | 98 | 1996 |
| Heuristics in Argumentation: A Game-Theorical Investigation R Riveret, A Rotolo, G Sartor | 91 | 2008 |
| On the relation between legal language and legal argument: assumptions, applicability and dynamic priorities H Prakken, G Sartor Proceedings of the 5th international conference on Artificial intelligence …, 1995 | 86 | 1995 |
