Keyphrases
- program slicing
- knowledge base
- source code
- fault localization
- knowledge representation
- meta level
- rule based reasoning
- model based reasoning
- error detection
- qualitative reasoning
- artificial intelligence
- computational properties
- neural network
- deductive reasoning
- reasoning engine
- genetic algorithm
- program execution
- decision making
- formal models
- production rules
- legal reasoning
- open source
- reasoning tasks
- reverse engineering
- database
- probabilistic reasoning
- model based diagnosis