Computer Science and LawBrian Niblett Workshop sponsored by the Science Research Council of the United Kingdom and the Scientific and Technical Research Committee of the EEC. |
Contents
An Introductory | 7 |
Towards a Cognitive | 23 |
Continued | 40 |
Modelling Legal Rules by Computer | 45 |
Plain Legal | 75 |
Drafting Retrieval and Interpretation | 101 |
Legal Norms Discretionary Rules | 119 |
Functional Relations between Legal | 137 |
Structured Programs as a Paradigm | 147 |
Common terms and phrases
action allow alternative ambiguity analysis application argument authority basic benefits citation Community complex computer programs concepts consider construct corporation court decision defined definition deontic described determined developed directive discretionary discussed documents drafting effect entitled example expression fact formal function give given hand holiday implementation important included indicate instance intended interest interpretation jurisdiction language lawyer legal norms legal regulations legislation LEGOL limited logical meaning methods nature necessary NORMALIZED obligated operator particular patent perform permitted person possible precise present problem procedure processor question reasoning receiver reference relations relationship relevant represented respect result rules semantic sense Sentence simple situation specify statement statute structure TAXMAN theory tion types University unless W's are obligated