The British Nationality Act as a logic program
- 1 May 1986
- journal article
- Published by Association for Computing Machinery (ACM) in Communications of the ACM
- Vol. 29 (5), 370-386
- https://doi.org/10.1145/5689.5920
Abstract
The formalization of legislation and the development of computer systems to assist with legal problem solving provide a rich domain for developing and testing artificial-intelligence technology.Keywords
This publication has 4 references indexed in Scilit:
- Job- and resource-management systems in heterogeneous clustersFuture Generation Computer Systems, 1996
- Making prolog more expressiveThe Journal of Logic Programming, 1984
- The direction the FGCS Project will takeNew Generation Computing, 1983
- Symbolic Logic: A Razor-Edged Tool for Drafting and Interpreting Legal DocumentsThe Yale Law Journal, 1957