Reasoning about Conditions and Exceptions to Laws in Regulatory Conformance Checking

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]

Authors

Nikhil Dinesh

This author has not been identified. Look up 'Nikhil Dinesh' in Google

Aravind K. Joshi

This author has not been identified. Look up 'Aravind K. Joshi' in Google

Insup Lee

This author has not been identified. Look up 'Insup Lee' in Google

Oleg Sokolsky

This author has not been identified. Look up 'Oleg Sokolsky' in Google