Reasoning about Conditions and Exceptions to Laws in Regulatory Conformance Checking

Abstract. This paper considers the problem of checking whether an organization conforms to a body of regulation. Conformance is cast as a trace checking question

• Type: Conference
• Year: 2008
• Where: DEON
• Authors: Nikhil Dinesh, Aravind K. Joshi, Insup Lee, Oleg Sokolsky
• Keywords: Automated Reasoning, DEON 2008, Linear Temporal Logic, Logic, Trace Checking Question