Legislation as logic programs
- 1 January 1992
- book chapter
- Published by Springer Nature
- p. 203-230
- https://doi.org/10.1007/3-540-55930-2_15
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- English as a logic programming languageNew Generation Computing, 1990
- The Use of Logical Models in Legal Problem Solving*Ratio Juris, 1990
- The treatment of negation in logic programs for representing legislationPublished by Association for Computing Machinery (ACM) ,1989
- A uniform approach to constraint satisfaction and constraint satisfiability in deductive databasesPublished by Springer Nature ,1988
- Oblog-2: A hybrid knowledge representation system for defeasible reasoningPublished 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
- A logic-based calculus of eventsNew Generation Computing, 1986
- A basis for deductive database systemsThe Journal of Logic Programming, 1985
- Making prolog more expressiveThe Journal of Logic Programming, 1984
- Negation as FailurePublished by Springer Nature ,1978