Checking traces for regulatory conformance

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

Volumn 5289 LNCS, Issue , 2008, Pages 86-103

  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

BLOOD; TEMPORAL LOGIC;

BLOOD COMPONENT; FOOD AND DRUG ADMINISTRATION; HIGH COMPLEXITY; IMPORTANT FEATURES; LINEAR TEMPORAL LOGIC; LOWER COMPLEXITY; SEQUENCES OF OPERATIONS;

COMPUTER CIRCUITS;

EID: 57049105761     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-89247-2_6     Document Type: Conference Paper

References (22)

1. Abrahams, A.: Developing and Executing Electronic Commerce Applications with Occurrences. PhD thesis, Univeristy of Cambridge (2002)
2. 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)
3. 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)
4. U.S. Food and Drug Administration: Code of Federal Regulations, http://www.gpoaccess.gov/cfr/index.html
5. Barringer, H., Goldberg, A., Havelund, K., Sen, K.: Rule-based runtime verification. In: Steffen, B., Levi, G. (eds.) VMCAI 2004. LNCS, vol. 2937, pp. 44-57. Springer, Heidelberg (2004)
6. McCarty, L.T.: A language for legal discourse - i. basic features. In: Proceedings of ICAIL (1989)
7. 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)
8. Ross, A.: Directives and Norms. Routlege and Kegan Paul (1968)
9. Marcus, R.B.: Iterated deontic modalities. Mind 75(300) (1966)
10. Dinesh, N., Joshi, A., Lee, I., Sokolsky, O.: Reasoning about conditions and exceptions to laws in regulatory conformance checking (in submission, 2008), http://www.cis.upenn.edu/ nikhild/reasoning.pdf (2008)
11. Reiter, R.: A logic for default reasoning. In: Readings in nonmonotonic reasoning, pp. 68-93. Morgan Kaufmann Publishers Inc., San Francisco (1987)
12. Sistla, A.P., Clarke, E.M.: The complexity of propositional linear temporal logic. ACM 32, 733-749 (1985)
13. Bauer, A., Leucker, M., Schallhart, C.: Monitoring of real-time properties. In: Arun-Kumar, S., Garg, N. (eds.) FSTTCS 2006. LNCS, vol. 4337. Springer, Heidelberg (2006)
14. Dinesh, N., Joshi, A.K., Lee, I., Webber, B.: Extracting formal specifications from natural language regulatory documents. In: Proceedings of the Fifth International Workshop on Inference in Computational Semantics (2006)
15. Dinesh, N., Joshi, A., Lee, I., Sokolsky, O.: Logic-based regulatory conformance checking. In: Proceedings of the 14th Monterey Workshop (2007)
16. von Wright, G.H.: Deontic logic. Mind 60, 1-15 (1951)
17. Aqvist, L.: Deontic logic. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, Extensions of Classical Logic, vol. II, pp. 605-614 (1984)
18. Bench-Capon, T.J., 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)
19. Alchourron, C.,Makinson, D.: Hierarchies of regulation and their logic. In: Hilpinen, R. (ed.) New Studies in Deontic Logic (1981)
20. Makinson, D., van der Torre, L.: Input/output logics. Journal of Philosophical Logic 29, 383-408 (2000)
21. Glasse, E., Engers, T.V., Jacobs, A.: Power: An integrated method for legislation and regulations from their design to their use in e-government services and law enforcement. In: Moens, M.-F. (ed.) Digitale Wetgeving, Digital Legislation, pp. 175-204 (2003)
22. Barringer, H., Rydeheard, D., Havelund, K.: Rule systems for run-time monitoring: From Eagle to RuleR. In: Sokolsky, O., Taşiran, S. (eds.) RV 2007. LNCS, vol. 4839, pp. 111-125. Springer, Heidelberg (2007)