Regulations are a wide-spread and important part of governmentand business. Theycodify howproducts must be madeand processes should be performed. Suchregulations can be difficult to understand and apply. In an environmentof growingcomplexity of, and changein, regulation, automatedsupport for reasoningwith regulations is becomingincreasingly necessary. In this paper weclaim that such automated supportcan be providedon the basis of defeasible logical rules. Wehighlight the support that can be provided bythis logical tool, and illustrate someaspects using examplesfrom one specific domain:university regulations.
Grigoris Antoniou, David Billington, Michael J. Ma