{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,30]],"date-time":"2025-12-30T03:39:56Z","timestamp":1767065996229},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540705246"},{"type":"electronic","value":"9783540705253"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-70525-3_10","type":"book-chapter","created":{"date-parts":[[2008,7,13]],"date-time":"2008-07-13T08:17:57Z","timestamp":1215937077000},"page":"110-124","source":"Crossref","is-referenced-by-count":20,"title":["Reasoning about Conditions and Exceptions to Laws in Regulatory Conformance Checking"],"prefix":"10.1007","author":[{"given":"Nikhil","family":"Dinesh","sequence":"first","affiliation":[]},{"given":"Aravind","family":"Joshi","sequence":"additional","affiliation":[]},{"given":"Insup","family":"Lee","sequence":"additional","affiliation":[]},{"given":"Oleg","family":"Sokolsky","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1","unstructured":"U.S. Food and Drug Administration: Code of Federal Regulations, http:\/\/www.gpoaccess.gov\/cfr\/index.html"},{"key":"10_CR2","unstructured":"Abrahams, A.: Developing and Executing Electronic Commerce Applications with Occurrences. PhD thesis, Univeristy of Cambridge (2002)"},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"Breaux, T.D., Vail, M.W., Anton, A.I.: Towards regulatory compliance: Extracting rights and obligations to align requirements with regulations. In: Proceedings of the 14th IEEE International Requirements Engineering Conference (2006)","DOI":"10.1109\/RE.2006.68"},{"key":"10_CR4","unstructured":"Giblin, C., Liu, A., Muller, S., Pfitzmann, B., Zhou, X.: Regulations Expressed as Logical Models (REALM). In: Moens, M.F., Spyns, P. (eds.) Legal Knowledge and Information Systems (2005)"},{"key":"10_CR5","unstructured":"Ross, A.: Directives and Norms. Routlege and Kegan Paul (1968)"},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"Boella, G., van der Torre, L.: Permissions and obligations in hierarchical normative systems. In: Proceedings of the 9th international conference on AI and law (2003)","DOI":"10.1145\/1047788.1047818"},{"key":"10_CR7","first-page":"68","volume-title":"Readings in nonmonotonic reasoning","author":"R. Reiter","year":"1987","unstructured":"Reiter, R.: A logic for default reasoning. In: Readings in nonmonotonic reasoning, pp. 68\u201393. Morgan Kaufmann Publishers Inc., San Francisco (1987)"},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"McCarty, L.T.: A language for legal discourse - i. basic features. In: Proceedings of ICAIL (1989)","DOI":"10.1145\/74014.74037"},{"issue":"5","key":"10_CR9","doi-asserted-by":"publisher","first-page":"370","DOI":"10.1145\/5689.5920","volume":"29","author":"M. Sergot","year":"1986","unstructured":"Sergot, M., Sadri, F., Kowalski, R., Kriwaczek, F., Hammond, P., Cory, H.: The british nationality act as a logic program. Communications of the ACM\u00a029(5), 370\u2013386 (1986)","journal-title":"Communications of the ACM"},{"key":"10_CR10","doi-asserted-by":"publisher","first-page":"690","DOI":"10.2307\/2024634","volume":"72","author":"S. Kripke","year":"1975","unstructured":"Kripke, S.: Outline of a theory of truth. Journal of Philosophy\u00a072, 690\u2013716 (1975)","journal-title":"Journal of Philosophy"},{"key":"10_CR11","doi-asserted-by":"crossref","unstructured":"Dinesh, N., Joshi, A., Lee, I., Sokolsky, O.: Logic-based regulatory conformance checking. In: Proceedings of the 14th Monterey Workshop (2007)","DOI":"10.1007\/978-3-540-89778-1_12"},{"key":"10_CR12","doi-asserted-by":"crossref","unstructured":"Bench-Capon, T., Robinson, G., Routen, T., Sergot, M.: Logic programming for large scale applications in law: A formalisation of supplementary benefit legislation. In: Proceedings of the 1st International Conference on AI and Law (1987)","DOI":"10.1145\/41735.41757"},{"issue":"5","key":"10_CR13","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1109\/32.588521","volume":"23","author":"G. Holzmann","year":"1997","unstructured":"Holzmann, G.: The Spin model checker. IEEE Trans. on Software Engineering\u00a023(5), 279\u2013295 (1997)","journal-title":"IEEE Trans. on Software Engineering"},{"key":"10_CR14","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1023\/A:1004748624537","volume":"29","author":"D. Makinson","year":"2000","unstructured":"Makinson, D., van der Torre, L.: Input\/output logics. Journal of Philosophical Logic\u00a029, 383\u2013408 (2000)","journal-title":"Journal of Philosophical Logic"},{"key":"10_CR15","doi-asserted-by":"crossref","unstructured":"Makinson, D., van der Torre, L.: Permissions from an input\/output perspective. Journal of Philosophical Logic\u00a032(4) (2003)","DOI":"10.1023\/A:1024806529939"},{"issue":"1","key":"10_CR16","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/BF00370671","volume":"57","author":"H. Prakken","year":"1996","unstructured":"Prakken, H., Sergot, M.: Contrary-to-duty obligations. Studia Logica\u00a057(1), 91\u2013115 (1996)","journal-title":"Studia Logica"},{"key":"10_CR17","doi-asserted-by":"crossref","unstructured":"Marcus, R.B.: Iterated deontic modalities. Mind\u00a075(300) (1966)","DOI":"10.1093\/mind\/LXXV.300.580"},{"key":"10_CR18","doi-asserted-by":"publisher","first-page":"733","DOI":"10.1145\/3828.3837","volume":"32","author":"A.P. Sistla","year":"1985","unstructured":"Sistla, A.P., Clarke, E.M.: The complexity of propositional linear temporal logic. ACM\u00a032, 733\u2013749 (1985)","journal-title":"ACM"},{"key":"10_CR19","doi-asserted-by":"crossref","unstructured":"Dinesh, N., Joshi, A., Lee, I., Sokolsky, O.: A default temporal logic for regulatory conformance checking. Technical Report MS-CIS-08-07, University of Pennsylvania (2008)","DOI":"10.21236\/ADA519810"},{"key":"10_CR20","unstructured":"Rudin, W.: Real and Complex Analysis. McGraw-Hill Book Company (1987)"},{"key":"10_CR21","doi-asserted-by":"crossref","unstructured":"Vardi, M.: The complexity of relational query languages. In: STOC (1982)","DOI":"10.1145\/800070.802186"},{"key":"10_CR22","unstructured":"Lakemeyer, G., Levesque, H.: Towards an axiom system for default logic. In: Proceedings of the AAAI Conference (2006)"},{"key":"10_CR23","doi-asserted-by":"crossref","unstructured":"Halpern, J., Lakemeyer, G.: Multi-agent only knowing. Journal of Logic and Compuation\u00a011(1) (2001)","DOI":"10.1093\/logcom\/11.1.41"},{"key":"10_CR24","doi-asserted-by":"crossref","unstructured":"Fitting, M.: A Kripke\/Kleene Semantics for logic programs. Journal of Logic Programming\u00a02 (1985)","DOI":"10.1016\/S0743-1066(85)80005-4"},{"key":"10_CR25","unstructured":"Monteiro, L., Porto, A.: A language for contextual logic programming. In: Apt, K., de Bakker, J., Rutten, J. (eds.) Logic Programming Languages: Constraints, Functions and Objects (1993)"},{"key":"10_CR26","doi-asserted-by":"crossref","unstructured":"Dinesh, N., Joshi, A., Lee, I., Sokolsky, O.: Checking traces for regulatory conformance. In: Proceedings of the Workshop on Runtime Verification (2008)","DOI":"10.1007\/978-3-540-89247-2_6"}],"container-title":["Lecture Notes in Computer Science","Deontic Logic in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-70525-3_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,12]],"date-time":"2019-05-12T12:49:04Z","timestamp":1557665344000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-70525-3_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540705246","9783540705253"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-70525-3_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}