@article(benzmuller2020designing,
 author       = {Christoph Benzm{\"u}ller and Xavier Parent and Leendert van der Torre},
 year         = {2020},
 title        = {Designing normative theories for ethical and legal reasoning: {LogiKEy} framework, methodology, and tool support},
 journal      = {Artificial Intelligence},
 pages        = {103348},
 doi          = {10.1016/j.artint.2020.103348},
)
@book(berk2019machine,
 author       = {Richard Berk},
 year         = {2019},
 title        = {Machine learning risk assessments in criminal justice settings},
 publisher    = {Springer},
 doi          = {10.1007/978-3-030-02272-3},
)
@article(10.5555/91456.91463,
 author       = {Marc A. Borrelli},
 year         = {1990},
 title        = {Prolog and the Law: Using Expert Systems to Perform Legal Analysis in the {U}nited {K}ingdom},
 journal      = {Softw. Law J.},
 volume       = {3},
 number       = {4},
 pages        = {687–715},
 doi          = {10.5555/91456.91463},
)
@inproceedings(butsara2019predicting,
 author       = {Nuttawit Butsara and Panchan Athonthitichot and Pichai Jodpimai},
 year         = {2019},
 title        = {Predicting Recidivism to Drug Distribution using Machine Learning Techniques},
 booktitle    = {2019 17th International Conference on ICT and Knowledge Engineering (ICT\&KE)},
 organization = {IEEE},
 pages        = {1--5},
 doi          = {10.1109/ICTKE47035.2019.8966834},
)
@inproceedings(DBLP:conf/jurix/CalegariCLOS19,
 author       = {Roberta Calegari and Giuseppe Contissa and Francesca Lagioia and Andrea Omicini and Giovanni Sartor},
 year         = {2019},
 title        = {Defeasible Systems in Legal Reasoning: {A} Comparative Assessment},
 booktitle    = {Legal Knowledge and Information Systems - {JURIX} 2019},
 series       = {Frontiers in Artificial Intelligence and Applications},
 volume       = {322},
 publisher    = {{IOS} Press},
 pages        = {169--174},
 doi          = {10.3233/FAIA190320},
)
@article(costantini2019digital,
 author       = {Stefania Costantini and De Gasperis, Giovanni and Raffaele Olivieri},
 year         = {2019},
 title        = {Digital forensics and investigations meet artificial intelligence},
 journal      = {Annals of Mathematics and Artificial Intelligence},
 volume       = {86},
 number       = {1-3},
 pages        = {193--229},
 doi          = {10.1007/s10472-019-09632-y},
)
@article(el2017towards,
 author       = {El Ghosh, Mirna and Hala Naja and Habib Abdulrab and Mohamad Khalil},
 year         = {2017},
 title        = {Towards a legal rule-based system grounded on the integration of criminal domain ontology and rules},
 journal      = {Procedia CS},
 volume       = {112},
 pages        = {632--642},
 doi          = {10.1016/j.procs.2017.08.109},
)
@inproceedings(governatori2018deontic,
 author       = {Guido Governatori and Antonino Rotolo and R{\'e}gis Riveret},
 year         = {2018},
 title        = {A Deontic Argumentation Framework Based on Deontic Defeasible Logic},
 booktitle    = {International Conference on Principles and Practice of Multi-Agent Systems},
 organization = {Springer},
 pages        = {484--492},
 doi          = {10.1007/978-3-030-03098-8_33},
)
@unpublished(hustler1982programming,
 author       = {Allen Hustler},
 year         = {1982},
 title        = {Programming law in logic},
 note         = {Research report CS-82-13, Department of Computer Science, University of Waterloo},
)
@article(10.1093/ijlit/eaz001,
 author       = {Han-Wei Liu and Ching-Fu Lin and Yu-Jie Chen},
 year         = {2019},
 title        = {{Beyond State v Loomis: artificial intelligence, government algorithmization and accountability}},
 journal      = {International Journal of Law and Information Technology},
 volume       = {27},
 number       = {2},
 pages        = {122--141},
 doi          = {10.1093/ijlit/eaz001},
)
@article(DBLP:journals/ail/MedvedevaVW20,
 author       = {Masha Medvedeva and Michel Vols and Martijn Wieling},
 year         = {2020},
 title        = {Using machine learning to predict decisions of the European Court of Human Rights},
 journal      = {Artif. Intell. Law},
 volume       = {28},
 number       = {2},
 pages        = {237--266},
 doi          = {10.1007/s10506-019-09255-y},
)
@phdthesis(meldman1975preliminary,
 author       = {Jeffrey Alan Meldman},
 year         = {1975},
 title        = {A preliminary study in computer-aided legal analysis.},
 school       = {Massachusetts Institute of Technology},
)
@article(prosser1941handbook,
 author       = {William Lloyd Prosser},
 year         = {1941},
 title        = {Handbook of the Law of Torts},
 journal      = {Louisiana Law Review},
 volume       = {4},
)
@article(rudin2019stop,
 author       = {Cynthia Rudin},
 year         = {2019},
 title        = {Stop explaining black box machine learning models for high stakes decisions and use interpretable models instead},
 journal      = {Nature Machine Intelligence},
 volume       = {1},
 number       = {5},
 pages        = {206--215},
 doi          = {10.1038/s42256-019-0048-x},
)
@article(DBLP:journals/cacm/SergotSKKHC86,
 author       = {Marek J. Sergot and Fariba Sadri and Robert A. Kowalski and F. Kriwaczek and Peter Hammond and H. T. Cory},
 year         = {1986},
 title        = {The British Nationality Act as a Logic Program},
 journal      = {Commun. {ACM}},
 volume       = {29},
 number       = {5},
 pages        = {370--386},
 doi          = {10.1145/5689.5920},
)
@inproceedings(tolan2019machine,
 author       = {Song{\"u}l Tolan and Marius Miron and Emilia G{\'o}mez and Carlos Castillo},
 year         = {2019},
 title        = {Why machine learning may lead to unfairness: Evidence from risk assessment for juvenile justice in {C}atalonia},
 booktitle    = {Proceedings of the Seventeenth International Conference on Artificial Intelligence and Law},
 pages        = {83--92},
 doi          = {10.1145/3322640.3326705},
)
@book(modusPonens2014,
 author       = {Alessandro Traversi},
 year         = {2014},
 title        = {La difesa penale. Tecniche argomentative e oratorie},
 publisher    = {Giuffr\`e Editore},
)
@incollection(walton2018legal,
 author       = {Douglas Walton},
 year         = {2018},
 title        = {Legal Reasoning and Argumentation},
 booktitle    = {Handbook of Legal Reasoning and Argumentation},
 publisher    = {Springer},
 pages        = {47--75},
 doi          = {10.1007/978-90-481-9452-0_3},
)
@inproceedings(yoshino1986legal,
 author       = {Hajime Yoshino and S Kagayama and S Ohta and M Kitahara and H Kondoh and M Nakakawaji and K Ishimaru and S Takao},
 year         = {1986},
 title        = {Legal expert system--{LES}-2},
 booktitle    = {5th Conference on Logic Programming},
 organization = {Springer},
 pages        = {34--45},
 doi          = {10.5555/647633.732885},
)