Reasoning in symbolic computation.
Michael P. BarnettPublished in: ACM Commun. Comput. Algebra (2008)
Keyphrases
- knowledge base
- reasoning systems
- conflicting information
- automated reasoning
- qualitative reasoning
- spatial reasoning
- reasoning process
- database
- learning algorithm
- databases
- production rules
- model based diagnosis
- probabilistic reasoning
- meta level
- knowledge representation
- e learning
- machine learning
- real world
- causal reasoning
- analogical reasoning
- model based reasoning
- automated deduction
- proof theory
- reasoning engine