The Use of Logical Models in Legal Problem Solving*
- 1 July 1990
- journal article
- Published by Wiley in Ratio Juris
- Vol. 3 (2) , 201-218
- https://doi.org/10.1111/j.1467-9337.1990.tb00058.x
Abstract
No abstract availableThis publication has 7 references indexed in Scilit:
- A Theorem-Proving Approach to Database IntegrityPublished by Elsevier ,1988
- Ashley,K. D.-But, see, accord: generating blue book citations in HYPOPublished by Association for Computing Machinery (ACM) ,1987
- Support for policy makers: formulating legislation with the aid of logical modelsPublished by Association for Computing Machinery (ACM) ,1987
- Logic programming for large scale applications in law: A formalisation of supplementary benefit legislationPublished by Association for Computing Machinery (ACM) ,1987
- The British Nationality Act as a logic programCommunications of the ACM, 1986
- An assumption-based TMSArtificial Intelligence, 1986
- Symbolic Logic: A Razor-Edged Tool for Drafting and Interpreting Legal DocumentsThe Yale Law Journal, 1957