8 search results - page 1 / 2 » Logic-Based Regulation Compliance-Assistance |
80
Voted
ICAIL
2003
ACM
15 years 4 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
15 years 7 days 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
15 years 7 days ago
2004
DGO
2004
15 years 7 days ago
2004
MONTEREY
2007
Springer
15 years 5 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...