Bundy, Alan

McNeill, F.

Priddle-Higson, A.

Schafer, B.

English

We are exploring ontology evolution in the legal domain, by modeling the interpretation of open-textured statutory concepts in a legal case. This requires representing, and reasoning about, the mappings between a statutory context, a real-world context, and the various legal, social, and ethical contexts involved in a legal case. We are using contextual logics to formalise the process of legal theory construction

Edinburgh Research Explorer

Clausal Resolution for Branching-Time Temporal Logic.

First-order Resolution for CTL.

Resolution theorem proving.

TRP++: A Temporal Resolution Prover.

Ontology Evolution in Law (Extended Abstract)

Ontology Evolution in Law (Extended Abstract)

Abstract

Similar works

Full text

Available Versions

Edinburgh Research Explorer