Switch to: References

Add citations

You must login to add citations.
  1. Compliance checking on first-order knowledge with conflicting and compensatory norms: a comparison among currently available technologies.Livio Robaldo, Sotiris Batsakis, Roberta Calegari, Francesco Calimeri, Megumi Fujita, Guido Governatori, Maria Concetta Morelli, Francesco Pacenza, Giuseppe Pisano, Ken Satoh, Ilias Tachmazidis & Jessica Zangari - 2024 - Artificial Intelligence and Law 32 (2):505-555.
    This paper analyses and compares some of the automated reasoners that have been used in recent research for compliance checking. Although the list of the considered reasoners is not exhaustive, we believe that our analysis is representative enough to take stock of the current state of the art in the topic. We are interested here in formalizations at the _first-order_ level. Past literature on normative reasoning mostly focuses on the _propositional_ level. However, the propositional level is of little usefulness for (...)
    Download  
     
    Export citation  
     
    Bookmark