On the characterization of law and computer systems: the normative systems perspective
Deontic logic in computer science
Cross-lingual legal information retrieval using a WordNet architecture
ICAIL '05 Proceedings of the 10th international conference on Artificial intelligence and law
Resolving conflict and inconsistency in norm-regulated virtual organizations
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Specifying and Reasoning About Multiple Institutions
Coordination, Organizations, Institutions, and Norms in Agent Systems II
Normative conflict resolution in multi-agent systems
Autonomous Agents and Multi-Agent Systems
Answer set programming for representing and reasoning about virtual institutions
CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
An algorithm for conflict resolution in regulated compound activities
ESAW'06 Proceedings of the 7th international conference on Engineering societies in the agents world VII
Implementing temporal defeasible logic for modeling legal reasoning
JSAI-isAI'09 Proceedings of the 2009 international conference on New frontiers in artificial intelligence
Legal modelling and reasoning using institutions
JSAI-isAI'10 Proceedings of the 2010 international conference on New Frontiers in Artificial Intelligence
The modular logic of private international law
Artificial Intelligence and Law - Special issue on Deontic Logic and Normative Systems
| Hi-index | 0.00 |
When acting in different jurisdictions (e.g. under the laws of different countries) at the same time, it can be of great value for individuals to be able to determine whether disparities among the laws of these different systems exist and allowing them to identify the consequences that may follow from these disparities. For individuals, it is typically not of interest to find all the ways in which these legal systems differ, but rather to establish whether a particular course of action may have different legal interpretations, depending on the jurisdiction. In this paper we present a formal and computational framework that, given specific scenarios (descriptions of courses of action), can automatically detect whether these scenarios could lead to different outcomes. We demonstrate our approach by means of a private international law case-study where a company drafts a contract clause after examining the consequences in the available jurisdictions.