Spring School on Argumentation in Artificial Intelligence and LawInvited graduate course
Henry Prakken, Giovanni Sartor, Bart Verheij, April 2018 |
|
| Day 1 Tuesday April 10 | |
| Abstract and structured formal frameworks for argumentation | |
| 8:30 | Introduction and abstract argumentation frameworks (Bart Verheij) slides |
| 10:00 | Break |
| 10:30 | Structured argumentation frameworks, in particular ASPIC+ (Henry Prakken) slides |
| 12:00 | Break |
| 14:30 | Legal defeasibility as modelled in abstract and structured argumentation frameworks (Giovanni Sartor) slides |
| 16:00 | Break |
| 16:30 | Discussion |
| 17:30 | |
| Day 2 Wednesday April 11 | |
| Legal argumentation | |
| 8:30 | Cases & Rules: HYPO, CATO and beyond (Henry Prakken) slides |
| 10:00 | Break |
| 10:30 | Case models (Bart Verheij) slides |
| 12:00 | Break |
| 14:30 | Balancing & interpretation (Giovanni Sartor) slides (1) slides (2) |
| 16:00 | Break |
| 16:30 | Discussion |
| 17:30 | |
| Day 3 Thursday April 12 | |
| Evidence | |
| 8:30 | Burdens of proof in the law (Giovanni Sartor) slides (1) slides (2) |
| 10:00 | Break |
| 10:30 | Three approaches to rational proof in criminal cases (Henry Prakken) slides |
| 12:00 | Break |
| 14:30 | Hybrid models of rational legal proof (Bart Verheij) slides |
| 16:00 | Break |
| 16:30 | Discussion |
| 17:30 | |
Readings
- Bench-Capon, T. (2017). HYPO's legacy: Introduction to the virtual special issue. Artificial Intelligence and Law. doi pdf
- Di Bello, M. & Verheij, B. (2018). Evidential reasoning. In G. Bongiovanni, G. Postema, A. Rotolo, G. Sartor, C. Valentini & D. Walton (Eds.), Handbook of Legal Reasoning and Argumentation. Springer. doi pdf
- Modgil, S., & Prakken, H. (2017). Abstract rule-based argumentation. IfColog Journal of Logics and Their Applications 8 (2017), 2319-2406. (Also to appear in Handbook of Formal Argumentation, to appear with College Publications.). doi pdf
- Prakken, H. (2017). Historical overview of formal argumentation. IfColog Journal of Logics and Their Applications 8 (2017), 2183-2262. (Also to appear in Handbook of Formal Argumentation, to appear with College Publications.). doi pdf
- Prakken, H. (2018). Course reader Commonsense Reasoning & Argumentation. Department of Information and Computing Sciences, Utrecht University, February 2018. The chapters relevant for the Spring School are Chapters 3-6 and 9. Each chapter includes exercises, with answers in Chapter 9. pdf
- Prakken, H. & Sartor, G. (2015). Law and logic: a review from an argumentation perspective. Artificial Intelligence 227 (2015): 214-245. doi pdf
- Prakken, H. & Sartor, G. (2009). A logical analysis of burdens of proof. In H. Kaptein, H. Prakken & B. Verheij (Eds.), Legal Evidence and Proof: Statistics, Stories, Logic, pp. 223-253. Ashgate. pdf
- Sartor, G. (2018a). Defeasibility in law. In G. Bongiovanni, G. Postema, A. Rotolo, G. Sartor, C. Valentini & D. Walton (Eds.), Handbook of Legal Reasoning and Argumentation. Springer. doi pdf
- Sartor, G. (2018b). A quantitative approach to proportionality. In G. Bongiovanni, G. Postema, A. Rotolo, G. Sartor, C. Valentini & D. Walton (Eds.), Handbook of Legal Reasoning and Argumentation. Springer. doi pdf
- Timmer, S., Meyer, J.J., Prakken, H., Renooij, S., & Verheij, B. (2017). A Two-phase Method for Extracting Explanatory Arguments from Bayesian Networks. International Journal of Approximate Reasoning 80, 475-494. doi pdf
- van Eemeren, F.H., Garssen, B., Krabbe, E.C.W., Snoeck Henkemans, A.F., Verheij, B., & Wagemans, J.H.M. (2014). Chapter 11: Argumentation and Artificial Intelligence. Handbook of Argumentation Theory, 615-675. Dordrecht: Springer. doi pdf
- van Eemeren, F.H., & Verheij, B. (2017). Argumentation Theory in Formal and Computational Perspective. IFCoLog Journal of Logics and Their Applications 4 (8), 2099-2181. (Also to appear in Handbook of Formal Argumentation, to appear with College Publications.). doi pdf
- Verheij, B. (2017a). Proof With and Without Probabilities. Correct Evidential Reasoning with Presumptive Arguments, Coherent Hypotheses and Degrees of Uncertainty. Artificial Intelligence and Law 25 (1), 127-154. doi pdf
- Verheij, B. (2017b). Formalizing Arguments, Rules and Cases. The 16th International Conference on Artificial Intelligence and Law (ICAIL 2017). Proceedings of the Conference, 199-208. New York (New York): ACM. doi pdf
- Verheij, B., Bex, F.J., Timmer, S., Vlek, C., Meyer, J.J., Renooij, S., & Prakken, H. (2016). Arguments, Scenarios and Probabilities: Connections Between Three Normative Frameworks for Evidential Reasoning. Law, Probability & Risk 15, 35-70. doi pdf
- Vlek, C., Prakken, H., Renooij, S., & Verheij, B. (2016). A Method for Explaining Bayesian Networks for Legal Evidence with Scenarios. Artificial Intelligence and Law 24 (3), 285-324. doi pdf
- Walton, D., Sartor, G. & Macagno, F. (2016). An argumentation framework for contested cases of statutory interpretation. Artificial Intelligence and Law 24, 51-91. doi pdf