Reasoning about conditions and exceptions to laws in regulatory conformance checking

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5076 LNAI, Issue , 2008, Pages 110-124

  Dinesh, Nikhil ^a   Joshi, Aravind ^a   Lee, Insup ^a   Sokolsky, Oleg ^a  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; COMPUTERS; INFORMATION THEORY; LAWS AND LEGISLATION; TECHNOLOGY;

CONFORMANCE CHECKING; DEFAULT LOGIC; DEONTIC LOGICS; FORMAL REPRESENTATIONS; INTERNATIONAL CONFERENCES; LINEAR TEMPORAL LOGICS;

TEMPORAL LOGIC;

EID: 48949094978     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-70525-3_10     Document Type: Conference Paper

References (26)

1. U.S. Food and Drug Administration: Code of Federal Regulations, http://www.gpoaccess.gov/cfr/index.html
2. Abrahams, A.: Developing and Executing Electronic Commerce Applications with Occurrences. PhD thesis, Univeristy of Cambridge (2002)
3. 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)
4. 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)
5. Ross, A.: Directives and Norms. Routlege and Kegan Paul (1968)
6. 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)
7. Reiter, R.: A logic for default reasoning. In: Readings in nonmonotonic reasoning, pp. 68-93. Morgan Kaufmann Publishers Inc., San Francisco (1987)
8. McCarty, L.T.: A language for legal discourse - i. basic features. In: Proceedings of ICAIL (1989)
9. Sergot, M., Sadri, F., Kowalski, R., Kriwaczek, F., Hammond, P., Cory, H.: The british nationality act as a logic program. Communications of the ACM 29(5), 370-386 (1986)
10. Kripke, S.: Outline of a theory of truth. Journal of Philosophy 72, 690-716 (1975)
11. Dinesh, N., Joshi, A., Lee, I., Sokolsky, O.: Logic-based regulatory conformance checking. In: Proceedings of the 14th Monterey Workshop (2007)
12. 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)
13. Holzmann, G.: The Spin model checker. IEEE Trans. on Software Engineering 23(5), 279-295 (1997)
14. Makinson, D., van der Torre, L.: Input/output logics. Journal of Philosophical Logic 29, 383-408 (2000)
15. Makinson, D., van der Torre, L.: Permissions from an input/output perspective. Journal of Philosophical Logic 32(4) (2003)
16. Prakken, H., Sergot, M.: Contrary-to-duty obligations. Studia Logica 57(1), 91-115 (1996)
17. Marcus, R.B.: Iterated deontic modalities. Mind 75(300) (1966)
18. Sistla, A.P., Clarke, E.M.: The complexity of propositional linear temporal logic. ACM 32, 733-749 (1985)
19. 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)
20. Rudin, W.: Real and Complex Analysis. McGraw-Hill Book Company (1987)
21. Vardi, M.: The complexity of relational query languages. In: STOC (1982)
22. Lakemeyer, G., Levesque, H.: Towards an axiom system for default logic. In: Proceedings of the AAAI Conference (2006)
23. Halpern, J., Lakemeyer, G.: Multi-agent only knowing. Journal of Logic and Compuation 11(1) (2001)
24. Fitting, M.: A Kripke/Kleene Semantics for logic programs. Journal of Logic Programming 2 (1985)
25. 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)
26. Dinesh, N., Joshi, A., Lee, I., Sokolsky, O.: Checking traces for regulatory conformance. In: Proceedings of the Workshop on Runtime Verification (2008)