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 norm ambiguity analysis antecedent APCN apodosis application argument Artificial Intelligence basic benefits citation Community Law COMPLEX LEGAL NORM computer programs concepts constraints corporation court decision decision box DEFINED TERM definition DENDRAL deontic system discretion discretionary norms drafter entitled example expression form documents giver grundnorm Hohfeldian holiday HOLIDAY(W IF-THEN ILL-DRAFTED implementation income indicate instance interpretation jurisdiction law machine lawyer legal documents legal drafting legal reasoning legal regulations legal sources legislation LEGOL Macomber McCarty meaning methods normalised NORMALIZED obligatory operator Oslo patent person Phellis possible problem procedure processor programming language protasis question reality interface reference relevant represented result retrieval rules SARA semantic Sentence simple specify stare decisis statement statute stock dividend STOCKHOLDING structure norms Structured Programming syntactic syntactic ambiguities TAXMAN template testator tion unless value added tax W's are obligated W's are permitted