8 search results - page 1 / 2 » Logic-Based Regulation Compliance-Assistance |
ICAIL
2003
ACM
13 years 9 months ago
2003
ACM
This paper focuses on the creation of a first order predicate calculus based regulation compliance-assistance system built upon an XML framework. Two areas of research that suppor...
DGO
2003
13 years 6 months ago
2003
ct The REGNET Project aims to develop a formal information infrastructure for regulatory information management and compliance assistance. This paper discusses three components of ...
DGO
2004
13 years 6 months ago
2004
DGO
2004
13 years 6 months ago
2004
MONTEREY
2007
Springer
13 years 10 months ago
2007
Springer
In this paper, we describe an approach to formally assess whether an organization conforms to a body of regulation. Conformance is cast as a model checking question where the regul...