Reason Maintenance Systems

This publication has 8 references indexed in Scilit:

• Problem solving with the ATMS
  Artificial Intelligence, 1986
• Extending the ATMS
  Artificial Intelligence, 1986
• An assumption-based TMS
  Artificial Intelligence, 1986
• Contexts and Data Dependencies: A Synthesis
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1983
• A selected descriptor-indexed bibliography to the literature on belief revision
  ACM SIGART Bulletin, 1980
• A truth maintenance system
  Artificial Intelligence, 1979
• Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis
  Artificial Intelligence, 1977
• Strips: A new approach to the application of theorem proving to problem solving
  Artificial Intelligence, 1971