A truth maintenance system

Baker, 1978, List processing in real time on a serial computer, C. ACM, 21, 280, 10.1145/359460.359470

Belnap, 1976, How a computer should think

Berliner, 1974

Charniak, 1979

Cohen, 1978, On knowing what to say: Planning speech acts, Department of Computer Science, University of Toronto, TR-118

Colby, 1973, Simulations of belief systems, 251

Cox, 1977, Deduction plans: A graphical proof procedure for the first-order predicate calculus, Department of Computer Science, University of Waterloo, Research Report CS-77-28

Crocker, 1977, State deltas: A formalism for representing segments of computation, University of Southern California, Information Sciences Institute, RR-77-61

De Kleer, 1976, Local methods for localization of failures in electronic circuits, MIT AI Lab, Memo 394

De Kleer, 1979, Causal and teleological reasoning in circuit recognition

De Kleer, 1977, Explicit control of reasoning

De Kleer, 1977, MIT AI Lab, Memo 427

De Kleer, 1978, Propagation of constraints applied to circuit synthesis, MIT AI Lab, Memo 485

Dennett, 1978, How to change your mind, 300

Doyle, 1976, The use of dependency relationships in the control of reasoning, MIT AI Lab, Working Paper 133

Doyle, 1978, Truth maintenance systems for problem solving, MIT AI Lab, TR-419

Doyle, 1978, Reflexive interpreters, MIT Department of Electrical Engineering and Computer Science, Ph.D. proposal

Fahlman, 1979

Fikes, 1975, Deductive retrieval mechanisms for state description models, 99

Friedman, 1979, Plausible inference: A multi-valued logic for problem solving, Jet Propulsion Laboratory, Pasadena, CA, Report 79-11

Goodman, 1973, The problem of counterfactual conditionals, 3

Hayes, 1973, The frame problem and related problems in artificial intelligence

Hayes, 1975, A representation for robot plans, 181

Hintikka, 1962

Katz, 1976, Logical analysis of programs, C. ACM, 19, 188, 10.1145/360032.360048

Kramosil, 1975, A note on deduction rules with negative premises, 53

Latombe, 1977, Une application de l'intelligence artificielle a la conception assistée par ordinateur (tropic), Université Scientifique et Médicale de Grenôble, Thesis D.Sc. Mathematiques

Latombe, 1979, Failure processing in a system for designing complex assemblies

Lewis, 1973

London, 1978, Dependency networks as a representation for modelling in general problem solvers, Department of Computer Science University of Maryland, TR-698

McAllester, 1978, A three-valued truth maintenance system, MIT AI Lab., Memo 473

McAllester, 1979, The use of equality in deduction and knowledge representation, MIT Department of Electrical Engineering and Computer Science, M.S. Thesis

McDermott, 1974, Assimilation of new information by a natural language understanding system, MIT AI Lab., AI-TR-291

McDermott, 1975, Very large planner-type data bases, MIT AI Lab. AI Memo 339

McDermott, 1978, Planning and acting, Cognitive Science, 2, 71, 10.1207/s15516709cog0202_1

McDermott, 1978, Non-monotonic logic I, MIT AI Lab., Memo 486

Minsky, 1974, A framework for representing knowledge, MIT AI Lab., Memo 306

Minsky, 1979, K-lines: A theory of memory, MIT AI Lab., Memo 516

Moore, 1979, Reasoning about knowledge and action

Moriconi, 1977, A system for incrementally designing and verifying programs, University of Southern California, Information Sciences Institute, RR-77-65

Nevins, 1974, A human-oriented logic for automatic theorem proving, J. ACM, 21, 606, 10.1145/321850.321858

Quine, 1953, Two dogmas of empiricism

Quine, 1970

Quine, 1978

Rescher, 1964

Reiter, 1978, On reasoning by default

Rich, 1979, Computer aided evolutionary design for software engineering, MIT AI Lab., Memo 506

Schmidt, 1977, Plan recognition using a hypothesize and revise paradigm: An example, 480

Scriven, 1959, Truisms as the grounds for historical explanations

Searle, 1969

Shrobe, 1979, Dependency directed reasoning for complex program understanding, MIT AI Lab., TR-503

Sridharan, 1977, Representation of actions that have side-effects, 265

Srinivasan, 1976, The architecture of coherent information system: A general problem solving system, IEEE Trans. Computers, C-25, 390, 10.1109/TC.1976.1674621

Stallman, 1977, Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis, Artificial Intelligence, 9, 135, 10.1016/0004-3702(77)90029-7

Stansfield, 1978, Integrating truth maintenance systems with propagation of strength of belief as a means of addressing the fusion problem, MIT AI Lab., draft proposal

Statman, 1974, Structural complexity of proofs, Stanford University Department of Mathematics, Ph.D. Thesis

Steele, 1978, Constraints, MIT AI Lab., Memo 502

Suppes, 1977, A survey of contemporary learning theories

Sussman, 1972, From planner to conniver—A genetic approach, 1171

Sussman, 1975, Heuristic techniques in computer-aided circuit analysis, IEEE Trans. Circuits and Systems, CAS-22, 857, 10.1109/TCS.1975.1083985

Thompson, 1979, Network truth maintenance for deduction and modelling

Turner, 1978

Weiner, 1979, The structure of natural explanations: Theory and applications

Weyhrauch, 1978, Prolegomena to a theory of formal reasoning, Stanford AI Lab., AIM-315

Zadeh, 1975, Fuzzy logic and approximate reasoning, Synthese, 30, 407, 10.1007/BF00485052