Qualitative Process Theory

This publication has 9 references indexed in Scilit:

• Qualitative analysis of MOS circuits
  Artificial Intelligence, 1984
• Qualitative Process Theory
  Published by Defense Technical Information Center (DTIC) ,1984
• A Temporal Logic for Reasoning about Processes and Plans*
  Cognitive Science, 1982
• Non-monotonic logic I
  Artificial Intelligence, 1980
• A logic for default reasoning
  Artificial Intelligence, 1980
• Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis
  Artificial Intelligence, 1977
• A Model-Driven Question-Answering System for Mixed-Initiative Computer-Assisted Construction
  IEEE Transactions on Systems, Man, and Cybernetics, 1973
• Modeling simultaneous actions and continuous processes
  Artificial Intelligence, 1973
• Strips: A new approach to the application of theorem proving to problem solving
  Artificial Intelligence, 1971