A knowledge representation and inference system for procedural law
- 1 March 1988
- journal article
- Published by Springer Nature in New Generation Computing
- Vol. 5 (4) , 319-359
- https://doi.org/10.1007/bf03037414
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Legal expert system — LES-2Lecture Notes in Computer Science, 1987
- KRIP: A knowledge representation system for laws relating to industrial propertyPublished by Springer Nature ,1986
- Ten requirements for a theory of changeNew Generation Computing, 1985
- Krypton: A Functional Approach to Knowledge RepresentationComputer, 1983
- A temporal logic for reasoning about processes and plansCognitive Science, 1982
- Strips: A new approach to the application of theorem proving to problem solvingArtificial Intelligence, 1971