An overview of meta-level architecture

A truth maintenance system

1979 • 1,816 citations

Algorithm = logic + control

1979 • 601 citations

Prolegomena to a theory of mechanized formal reasoning

1980 • 354 citations

Meta-Rules: Reasoning About Control

1980 • 228 citations

First Order Theories of Individual Concepts and Propositions.

1979 • 183 citations

Computation and Deduction.

1973 • 119 citations

Diagnosis using hierarchical design models

1982 • 114 citations

Meta‐Planning: Representing and Using Knowledge About Planning in Problem Solving and Natural Language Understanding*

1981 • 109 citations

Efficient processing of interactive relational data base queries expressed in logic

1981 • 107 citations

Inspection Methods in Programming

1981 • 88 citations

A model for deliberation, action, and introspection

1981 • 85 citations

A First-Order Formalization of Knowledge and Action for a Multiagent Planning System.

1980 • 58 citations

Ideas about management of LISP data bases

1975 • 11 citations

Algorithm=Logic+Control

1980 • 6 citations