Nikhil Dinesh, Aravind K. Joshi, Insup Lee, Oleg Sokolsky. Reasoning about Conditions and Exceptions to Laws in Regulatory Conformance Checking. In Ron van der Meyden, Leendert van der Torre, editors, Deontic Logic in Computer Science, 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings. Volume 5076 of Lecture Notes in Computer Science, pages 110-124, Springer, 2008. [doi]
Abstract is missing.