A Truth Maintenance System**This research was conducted at the Artificial Intelligence Laboratory of the Massachusetts Institute of Technology. Support for the Laboratory's artificial intelligence research is provided in part by the Advanced Research Projects Agency of the Department of Defense under Office of Naval Research contract number N00014-75-C-0643, and in part by NSF grant MCS77-04828.

This publication has 11 references indexed in Scilit:

• Prolegomena to a Theory of Formal Reasoning
  Published by Defense Technical Information Center (DTIC) ,1978
• List processing in real time on a serial computer
  Communications of the ACM, 1978
• Planning and Acting*
  Cognitive Science, 1978
• On reasoning by default
  Published by Association for Computational Linguistics (ACL) ,1978
• Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis
  Artificial Intelligence, 1977
• AMORD explicit control of reasoning
  Published by Association for Computing Machinery (ACM) ,1977
• Logical analysis of programs
  Communications of the ACM, 1976
• The Architecture of Coherent Information System: A General Problem Solving System
  IEEE Transactions on Computers, 1976
• Heuristic techniques in computer-aided circuit analysis
  IEEE Transactions on Circuits and Systems, 1975
• A Human Oriented Logic for Automatic Theorem-Proving
  Journal of the ACM, 1974