Keyphrases
- reasoning systems
- knowledge base
- linear inequalities
- model based reasoning
- sufficient conditions
- analogical reasoning
- learning algorithm
- data sets
- probabilistic logic
- consistency checking
- reasoning tasks
- reasoning mechanisms
- rule based reasoning
- formal models
- knowledge representation and reasoning
- qualitative reasoning
- linear program
- case based reasoning
- knowledge representation
- dynamic programming
- neural network