Legal Logic, Computational Law & AI (LLCA)

Schwarz-Weiß-Fotografie eines alten Recheninstruments

Photo: Deutsches Musuem

Research Project

for the Development of Formal Methods for Intelligent Norm-Based Reasoning by AI-Systems

'Legal Logic, Computational Law and AI' (LLCA) is an interdisciplinary research project hosted by the 'Centre for Law in the Digital Transformation' (ZerDiT) at the University of Hamburg in cooperation with the 'Interdepartmental Centre for Research in the History, Philosophy, and Sociology of Law and in Computer Science and Law' (CIRSFID) at the University of Bologna.

The project convenes scholars from the fields of law, logic, computer science and artificial intelligence and dedicates itself to the development of formal methods for norm-based reasoning that will enable AI-systems to reason with rules in an intelligent way.

The project is directed by Prof. Dr. Matthias Armgardt (University of Hamburg) together with two other legal scholars Prof. Dr. Giovanni Sartor (Università di Bologna, European University Institute) and Prof. Dr. Scott Brewer (Harvard Law School), logician Prof. Dr. Agata Ciabattoni (Technische Universität Wien) and computer scientist Prof. Dr. Adrian Paschke (Freie Universität Berlin).

In addition, an interdisciplinary cooperation with philosopher Prof. Dr. Holger Andreas (University of British Columbia) pursues a logical investigation and the development of the concept of causality. Together with Prof. Dr. Emiliano Lorini (CNRS Toulouse) we investigate the application of STIT-Logic to law. With Prof. Dr. Wilderich Tuschmann (KIT) exists a cooperation about the development of explainable AI and Bayesian networks for evidential reasoning. A cooperation with logician Prof. Dr. Shahid Rahman (Université de Lille) investigates the application of 'Constructive Type Theory' and in the field of data protection and data safety in 'cloud computing' exists a cooperation with computer scientist PD Dr. Adrian Spalka (San Francisco).

For more information: Website of the LLCA Project

selected Publications by Prof. Armgardt

Shahid Rahman, Matthias Armgardt, Hans Kvernenes (eds.), New Developments in Legal Reasoning and Logic. From Ancient Law to Modern Legal Systems, Springer (in print)
> announcement
Armgardt Matthias, Analogies in Civil Law Reasoning – a formal approach, in: Matthias Armgardt, Shahid Rahman, Hans Christian Nordveit (eds.), New developments in Legal Reasoning and Logic – from Ancient Law to modern Legal Systems, Springer (im Druck).
Armgardt Matthias, Causation in Law, Overdetermination and Normative Ideal Worlds, in: Dov Gabbay, Lorenzo Magnani, Woosuk Park, Ahti-Veikko Pietarinen (eds.), Natural Arguments: A Tribute to John Woods, College Publications, King’s College, London 2019, S. 699-708.
Armgardt Matthias, Sartor Giovanni, Lorini Emiliano, Reasoning about Conditions in STIT Logic, in: Jan Broersen et al. (eds.), Deontic Logic and Normative Systems. 14th International Conference, DEON 2018, College Publications, London 2018, S. 15-32.
Armgardt Matthias, Leibniz’s Legal Logic, in: Dieter Krimphove et al. (eds.), Law and Logic – Contemporary Issues, Berlin 2017, S. 53-65.
Armgardt Matthias, Salvius Iulianus als Meister der stoischen Logik – zur Deutung von Iulian D. 34, 5, 13 (14), 2-3, in: Matthias Armgardt, Fabian Klinck, Ingo Reichard (Hgg.), Liber amicorum Christoph Krampe zum 70. Geburtstag, Freiburger Rechtsgeschichtliche Abhandlungen, Band 68, Berlin 2013, S. 29-36.
Armgardt Matthias, Zur Bedingungsdogmatik im klassischen römischen Recht und zu ihren Grundlagen in der stoischen Logik, TR 76 (2008), S. 219-235.
> full article (free)
Armgardt Matthias, Rahman Shahid : Carlos E. Alchourrón (1931-1996) – ein Pionier der Rechtslogik, JurPC Web-Dok. 24/2000, Abs. 1-10.
> full article (free)

supervised Dissertations

Preisig Michael, Practical Reasoning: A Model for Normative and Empirical Reasoning (in preparation)
Sievers Juliele, Logical Concepts in Legal Positivism - Legal Norms from a Philosophical Perspective, Dissertation Konstanz, Law and Society, Band 4, College Publications 2016.
> full book (paywall)