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]
@inproceedings{DineshJLS08,
title = {Reasoning about Conditions and Exceptions to Laws in Regulatory Conformance Checking},
author = {Nikhil Dinesh and Aravind K. Joshi and Insup Lee and Oleg Sokolsky},
year = {2008},
doi = {10.1007/978-3-540-70525-3_10},
url = {http://dx.doi.org/10.1007/978-3-540-70525-3_10},
tags = {exceptions},
researchr = {https://researchr.org/publication/DineshJLS08},
cites = {0},
citedby = {0},
pages = {110-124},
booktitle = {Deontic Logic in Computer Science, 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings},
editor = {Ron van der Meyden and Leendert van der Torre},
volume = {5076},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-70524-6},
}