Keyphrases
- imperative programs
- fully automated
- qualitative reasoning
- program execution
- reasoning process
- computer aided
- computer programs
- neural network
- knowledge representation
- plan execution
- reasoning systems
- deductive reasoning
- test cases
- semi automated
- programming environment
- knowledge base
- automated deduction
- reasoning mechanisms
- information systems