Event Based Reasoning - A System for Proving Correct Termination of Programs.
J. SchwarzPublished in: ICALP (1976)
Keyphrases
- term rewrite systems
- knowledge base
- event detection
- qualitative reasoning
- knowledge representation
- term rewriting
- meta level
- event driven
- reasoning process
- machine learning
- domain knowledge
- reasoning about actions
- analogical reasoning
- knowledge representation and reasoning
- fixpoint
- automated reasoning
- finite state machines
- programming environment
- reasoning systems
- computer programs
- publish subscribe
- control program
- theorem prover
- logic programming