Hierarchical formalizations

An assumption-based TMS

Johan de Kleer · Artificial Intelligence · 1986 · 1.8K citations

Reflections on "Taxman": An Experiment in Artificial Intelligence and Legal Reasoning

L. Thorne McCarty · Harvard Law Review · 1977 · 215 citations

Law, Jurisprudence, Artificial Intelligence +7

Counterfactuals

Matthew L. Ginsberg · Artificial Intelligence · 1986 · 203 citations

Languages with self-reference I: Foundations

Donald Perlis · Artificial Intelligence · 1985 · 157 citations

Computing, Computer Science, Linguistics +9

Symbolic Logic: A Razor-Edged Tool for Drafting and Interpreting Legal Documents

Layman E. Allen · The Yale Law Journal · 1957 · 70 citations

Law, Jurisprudence, Lawmaking +14