Hierarchical formalizations
- 31 July 1991
- journal article
- Published by Elsevier in International Journal of Man-Machine Studies
- Vol. 35 (1) , 69-93
- https://doi.org/10.1016/s0020-7373(07)80008-3
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- CounterfactualsArtificial Intelligence, 1986
- An assumption-based TMSArtificial Intelligence, 1986
- Languages with self-reference I: FoundationsArtificial Intelligence, 1985
- Reflections on "Taxman": An Experiment in Artificial Intelligence and Legal ReasoningHarvard Law Review, 1977
- Symbolic Logic: A Razor-Edged Tool for Drafting and Interpreting Legal DocumentsThe Yale Law Journal, 1957