The British Nationality Act as a logic program
Communications of the ACM
A System for Defeasible Argumentation, with Defeasible Priorities
FAPR '96 Proceedings of the International Conference on Formal and Applied Practical Reasoning
Argumentation Semantics for Defeasible Logic
Journal of Logic and Computation
Fundamental legal concepts: a formal and teleological characterisation
Artificial Intelligence and Law
The Carneades model of argument and burden of proof
Artificial Intelligence
Institutions with a hierarchy of authorities in distributed dynamic environments
Artificial Intelligence and Law
Private International Law and the Internet
Private International Law and the Internet
Applying Preferences to Dialogue Graphs
Proceedings of the 2008 conference on Computational Models of Argument: Proceedings of COMMA 2008
Dialectic proof procedures for assumption-based, admissible argumentation
Artificial Intelligence
Modular argumentation for modelling legal doctrines in common law of contract
Artificial Intelligence and Law
Carneades and Abstract Dialectical Frameworks: A Reconstruction
Proceedings of the 2010 conference on Computational Models of Argument: Proceedings of COMMA 2010
A logical model of private international law
DEON'10 Proceedings of the 10th international conference on Deontic logic in computer science
Detecting conflicts in legal systems
JSAI-isAI'12 Proceedings of the 2012 international conference on New Frontiers in Artificial Intelligence
Hi-index | 0.00 |
We provide a logical analysis of private international law, a rather esoteric, but increasingly important, domain of the law. Private international law addresses overlaps and conflicts between legal systems by distributing cases between the authorities of such systems (jurisdiction) and establishing what rules these authorities have to apply to each case (choice of law). A formal model of the resulting interactions between legal systems is proposed based on modular argumentation. It is argued that this model may also be useful for governing the interactions between heterogeneous agents, belonging to different and differently regulated virtual societies, without recourse to a central regulatory agency. The model also provides for multiple interpretations concerning rules of private international law as well as substantive rules of the different legal systems.