The complexity of propositional linear temporal logics
Journal of the ACM (JACM)
The British Nationality Act as a logic program
Communications of the ACM
Real and complex analysis, 3rd ed.
Real and complex analysis, 3rd ed.
ICAIL '87 Proceedings of the 1st international conference on Artificial intelligence and law
Readings in nonmonotonic reasoning
A language for legal Discourse I. basic features
ICAIL '89 Proceedings of the 2nd international conference on Artificial intelligence and law
A language for contextual logic programming
Logic programming languages
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
The complexity of relational query languages (Extended Abstract)
STOC '82 Proceedings of the fourteenth annual ACM symposium on Theory of computing
Permissions and obligations in hierarchical normative systems
ICAIL '03 Proceedings of the 9th international conference on Artificial intelligence and law
RE '06 Proceedings of the 14th IEEE International Requirements Engineering Conference
Regulations Expressed As Logical Models (REALM)
Proceedings of the 2005 conference on Legal Knowledge and Information Systems: JURIX 2005: The Eighteenth Annual Conference
Towards an axiom system for default logic
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Challenges in the Specification of Full Contracts
IFM '09 Proceedings of the 7th International Conference on Integrated Formal Methods
Automatic Conflict Detection on Contracts
ICTAC '09 Proceedings of the 6th International Colloquium on Theoretical Aspects of Computing
Experiences in the logical specification of the HIPAA and GLBA privacy laws
Proceedings of the 9th annual ACM workshop on Privacy in the electronic society
Integrating written policies in business rule management systems
RuleML'2011 Proceedings of the 5th international conference on Rule-based reasoning, programming, and applications
Towards HIPAA-compliant healthcare systems
Proceedings of the 2nd ACM SIGHIT International Health Informatics Symposium
From regulatory texts to BRMS: how to guide the acquisition of business rules?
RuleML'12 Proceedings of the 6th international conference on Rules on the Web: research and applications
Capturing variability of law with nómos 2
ER'12 Proceedings of the 31st international conference on Conceptual Modeling
Formalization of natural language regulations through SBVR structured english
RuleML'13 Proceedings of the 7th international conference on Theory, Practice, and Applications of Rules on the Web
Combining acquisition and debugging of business rule models
RuleML'13 Proceedings of the 7th international conference on Theory, Practice, and Applications of Rules on the Web
| Hi-index | 0.00 |
This paper considers the problem of checking whether an organization conforms to a body of regulation. Conformance is cast as a trace checking question --- the regulation is represented in a logic that is evaluated against an abstract trace or run representing the operations of an organization. We focus on a problem in designing a logic to represent regulation.A common phenomenon in regulatory texts is for sentences to refer to others for conditions or exceptions. We motivate the need for a formal representation of regulation to accomodate such references between statements. We then extend linear temporal logic to allow statements to refer to others. The semantics of the resulting logic is defined via a combination of techniques from Reiter's default logic and Kripke's theory of truth.