On the Modeling and Analysis of Regulations

Antoniou, Grigoris, Billington, David, Governatori, Guido and Maher, Michael J. (1999). On the Modeling and Analysis of Regulations. In: Australian Conference Information Systems, *, (20-29). *.

Attached Files (Some files may be inaccessible until you login with your UQ eSpace credentials)
Name Description MIMEType Size Downloads
UQ9714_OA.pdf acis1999.pdf application/pdf 50.62KB 0
Author Antoniou, Grigoris
Billington, David
Governatori, Guido
Maher, Michael J.
Title of paper On the Modeling and Analysis of Regulations
Conference name Australian Conference Information Systems
Conference location *
Conference dates *
Publication Year 1999
Sub-type Fully published paper
Start page 20
End page 29
Total pages 10
Abstract/Summary Regulations are a wide-spread and important part of government and business. They codify how products must be made and processes should be performed. Such regulations can be difficult to understand and apply. In an environment of growing complexity of, and change in, regulation, automated support for reasoning with regulations is becoming increasingly necessary. In this paper we report on ongoing work which aims at providing automated support for the drafting and use of regulations using logic modelling techniques. We highlight the support that can be provided by logic modelling, describe the technical foundation of our project, and report on the status of the project and the next steps.
Subjects 280403 Logics and Meanings of Programs
280111 Conceptual Modelling
Keyword regulations
normative reasoning
defeasible logic
Q-Index Code EX
Q-Index Status Provisional Code
Institutional Status Unknown

Document type: Conference Paper
Collection: School of Mathematics and Physics
Version Filter Type
Citation counts: Google Scholar Search Google Scholar
Created: Tue, 15 Mar 2005, 10:00:00 EST by Guido Governatori on behalf of Scholarly Communication and Digitisation Service