Hierarchical representation of legal knowledge with metaprogramming in logic
- 31 January 1994
- journal article
- Published by Elsevier in The Journal of Logic Programming
- Vol. 18 (1) , 55-80
- https://doi.org/10.1016/0743-1066(94)90041-8
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- A knowledge representation and inference system for procedural lawNew Generation Computing, 1988
- The British Nationality Act as a logic programCommunications of the ACM, 1986
- N-Prolog: An extension of Prolog with hypothetical implications. I.The Journal of Logic Programming, 1984
- Logical levels of problem solvingThe Journal of Logic Programming, 1984
- Using meta-level inference for selective application of multiple rewrite rule sets in algebraic manipulationArtificial Intelligence, 1981
- Prolegomena to a theory of mechanized formal reasoningArtificial Intelligence, 1980
- Transfinite recursive progressions of axiomatic theoriesThe Journal of Symbolic Logic, 1962
- The Semantic Conception of Truth: and the Foundations of SemanticsPhilosophy and Phenomenological Research, 1944
- Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme IMonatshefte für Mathematik, 1931