computational legal theory; input/output logic; normative systems
Abstract :
[en] Law has different methods and principles to resolve conflicts between
norms, most of these come from Roman Law, they are well-known and much discussed. There is a whole branch of law, though, which is much less discussed while
having been created exactly in order to resolve special conflicts: conflict of laws.
This system within Private International Law is dedicated to providing metarules in
legal situations where more than one national legal systems’ rules could be applied:
CoL rules indirectly settle the situation by declaring which one’s should. The formal representation of how these rules work contributes not only to the modelling of
this branch of law but also provides methodologies for concerns arising from other
conflicting normative systems, such as ethically sensitive situations where there are
multiple stakeholders with different moral backgrounds.
Disciplines :
Computer science
Author, co-author :
Markovich, Réka ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
External co-authors :
no
Language :
English
Title :
On the Formal Structure of Rules in Conflict of Laws
Publication date :
December 2019
Event name :
International Conference on Legal Knowledge and Information Systems
Event date :
11-13 december 2019
Main work title :
Legal Knowledge and Information Systems 2019 (proceedings)
C.I. Nagy, Private International Law. Hungary, Wolters Kluwer, 2012.
D. Grossi and A. Rotolo, Logic in the law: A concise overview, in: Logic and Philosophy Today, 2011.
G. Sartor, Legal Reasoning. A Treatise of Legal Philosophy and General Jurisprudence, Springer, 2005.
H. Prakken and T. Bench-Capon, Introducing the logic and law corner, Journal of Logic and Computation 18 (2008), 1–12.
A. Malerba, A. Rotolo and G. Governatori, Interpretation Across Legal Systems, in: Proceedings of JURIX 2016, pp. 83–92.
P.M. Dung and G. Sartor, A Logical Model of Private International Law, in: Proceedings of DEON 2010, Springer, Berlin, 2010, pp. 229–246.
P.M. Dung and G. Sartor, A modular logic of private international law, Artificial Intelligence and Law 19(2–3) (2011), 233–261.
D. Makinson, On a fundamental problem of deontic logic, in: Norms, Logics and Information Systems. New Studies in Deontic Logic and Computer Science, IOS press, 1999, pp. 29–53.
D. Makinson and L. van der Torre, Input/Output Logics, Journal of Philosophical Logic 29(4) (2000), 383–408.
X. Parent and L. van der Torre, Input/output Logic, in: Handbook of Deontic Logic and Normative Systems, D. Gabbay, J. Horty, X. Parent, R. van der Meyden and L. van der Torre, eds, College Publications, 2013, pp. 353–406.
D. Makinson and L. van der Torre, What is Input/Output Logic?, in: Foundations of the Formal Sciences II. Trends in Logic, Vol. 17, B. Löwe, W. Malzkom and T. Räsch, eds, Springer, 2003.
X. Parent and L. van der Torre, Introduction to Deontic Logic and Normative Systems, College Publications, 2018.
H. Prakken and G. Sartor, On the Relation Between Legal Language and Legal Argument: Assumptions, Applicability and Dynamic Priorities, Proceedings of ICAIL ‘95 (1995).
G. Governatori, F. Olivieri, S. Scannapieco and M. Cristani, Superiority Based Revision of Defeasible Theories, in: Semantic Web Rules, Springer Berlin Heidelberg, Berlin, Heidelberg, 2010, pp. 104–118.
F.C. von Savigny, Private International Law. A Treatise on the Conflict of Laws: And the Limits of Their Operation in Respect of Place and Time, T. and T. Clark, 1869.
E. Awad, S. Dsouza, R. Kim, J. Schulz, J. Henrich, A. Shariff, F. Bonnefon and I. Rahwan, The Moral Machine experiment, Nature 536 (2018), 59.
B. Liao, M. Slavkovik and L. van der Torre, Building Jiminy Cricket: An Architecture for Moral Agreements Among Stakeholders, ACM, 2019.