The British Nationality Act as a logic program
Communications of the ACM
Representing and reasoning about open-textured predicates
ICAIL '91 Proceedings of the 3rd international conference on Artificial intelligence and law
Knowledge-based systems and legal applications
Knowledge-based systems and legal applications
ICAIL '93 Proceedings of the 4th international conference on Artificial intelligence and law
On the characterization of law and computer systems: the normative systems perspective
Deontic logic in computer science
Finding factors: learning to classify case opinions under abstract fact categories
Proceedings of the 6th international conference on Artificial intelligence and law
The evaluation of legal knowledge based systems
ICAIL '99 Proceedings of the 7th international conference on Artificial intelligence and law
Dynamic Tailoring of Law Related Documents to User Needs
DEXA '98 Proceedings of the 9th International Workshop on Database and Expert Systems Applications
Distributed information organization and management for hazardous waste regulation compliance checking
On original generation of structure in legal documents
ICAIL '03 Proceedings of the 9th international conference on Artificial intelligence and law
An e-government information architecture for regulation analysis and compliance assistance
ICEC '04 Proceedings of the 6th international conference on Electronic commerce
A relatedness analysis approach for regulation comparison and e-rulemaking applications
dg.o '05 Proceedings of the 2005 national conference on Digital government research
Mining rule semantics to understand legislative compliance
Proceedings of the 2005 ACM workshop on Privacy in the electronic society
Mapping regulations to industry-specific taxonomies
Proceedings of the 11th international conference on Artificial intelligence and law
Relating taxonomies with regulations
dg.o '08 Proceedings of the 2008 international conference on Digital government research
Supporting the Elicitation of Requirements Compliant with Regulations
CAiSE '08 Proceedings of the 20th international conference on Advanced Information Systems Engineering
Regulation retrieval using industry specific taxonomies
Artificial Intelligence and Law
A Formal Privacy Management Framework
Formal Aspects in Security and Trust
Regulations Expressed As Logical Models (REALM)
Proceedings of the 2005 conference on Legal Knowledge and Information Systems: JURIX 2005: The Eighteenth Annual Conference
Toward a general theory of document modeling
Proceedings of the 12th International Conference on Artificial Intelligence and Law
Generating possible interpretations of compliance regulation using answer set programming
ACST '08 Proceedings of the Fourth IASTED International Conference on Advances in Computer Science and Technology
Governance Requirements Extraction Model for Legal Compliance Validation
RELAW '09 Proceedings of the 2009 Second International Workshop on Requirements Engineering and Law
The Journal of Strategic Information Systems
Impediments to requirements-compliance
REFSQ'12 Proceedings of the 18th international conference on Requirements Engineering: foundation for software quality
Information Systems Frontiers
Link analysis for representing and retrieving legal information
CICLing'13 Proceedings of the 14th international conference on Computational Linguistics and Intelligent Text Processing - Volume 2
| Hi-index | 0.00 |
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 support the development of the compliance assistance system are discussed. The first is a document repository containing federal and state regulations and supplemental documents. The second is an XML framework for representing regulations and associated metadata. The prototype effort for the regulation assistance system has been focused on environmental regulations and related documents. The compliance assistance system is illustrated in the domain of used oil management. The objective of this research is to develop a formal infrastructure for regulatory information management and compliance assistance.