Logic-based regulatory conformance checking

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

Volumn 5320 LNCS, Issue , 2008, Pages 147-160

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

^a UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; MODEL CHECKING; NATURAL LANGUAGE PROCESSING SYSTEMS; TRANSLATION (LANGUAGES);

ABSTRACT MODELING; CONFORMANCE CHECKING; FORMAL REPRESENTATIONS; LONG TERM; NATURAL LANGUAGE PROCESS (NLP);

LAWS AND LEGISLATION;

EID: 58449106874     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-89778-1_12     Document Type: Conference Paper

References (17)

1. 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)
2. Abrahams, A.: Developing and Executing Electronic Commerce Applications with Occurrences. PhD thesis, Univeristy of Cambridge (2002)
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. Miltsakaki, E., Prasad, R., Joshi, A., Webber, B.: The Penn Discourse Treebank. In: LREC (2004)
5. 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
6. Dinesh, N., Joshi, A., Lee, I., Sokolsky, O.: Checking traces for regulatory conformance. In: Proceedings of the Workshop on Runtime Verification (to appear, 2008)
7. Bies, A., Ferguson, M., Katz, K., MacIntyre, R.: Bracketing guidelines for Treebank II style Penn Treebank Project (1995), ftp://ftp.cis.uperui.edu/ pub/treebank/doc/manual/root.ps.gz
8. The PDTB Group: The Penn Discourse Treebank 1.0 Annotation Manual. Technical Report IRCS-06-01, IRCS (2006)
9. 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)
10. May, R.: Logical Form: Its structure and derivation. MIT Press, Cambridge (1985)
11. Overmeyer, S.P., Lavoie, B., Rambow, O.: Conceputal modeling through linguistic analysis using lida. In: 23rd International conference on Software Engineering, pp.401-410 (2001)
12. Bryant, B.R.: Object-oriented natural language requirements specification. In: ACSC 2000, The 23rd Australasian Computer Science Conference (January 2000)
13. Heim, I., Kratzer, A.: Semantics in Generative Grammar. Blackwell, Maiden (1998)
14. Zettlemoyer, L.S., Collins, M.: Learning to map sentences to logical form: Structured classification with probabilistic categorial grammars. In: Proceedings of UAI (2005)
15. Wong, Y.W., Mooney, R.J.: Learning synchronous grammars for semantic parsing with lambda calculus. In: Proceedings of ACL (2007)
16. Oepen, S., Flickinger, D., Toutanova, K., Manning, C: LinGO Redwoods: A rich dynamic treebank for HPSG. In: Proceedings of the workshop on treebanks and linguistic theories (2002)
17. Bos, J., Clark, S., Steedman, M., Curran, J.R., Hockenmaier, J.: Wide-coverage semantic representations from a CCG parser. In: Proceedings of COLING (2004)