A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf
.
A General Theory of Contract Conflicts with Environmental Constraints
[chapter]
2020
Frontiers in Artificial Intelligence and Applications
One advantage of using formal deontic logic to represent and reason about normative texts is that one can analyse such texts in a precise and incontrovertible manner. Conflict analysis is one such analysis technique — assessing whether a number of contracts, or more generally normative texts, are internally consistent, in that they may not lead to a situation in which active norms conflict or even contradict each other. In this paper we extend existing techniques from the literature to address
doi:10.3233/faia200852
fatcat:gxw4d5wenfaavlbdukcbtan4fm