Using Meta-Theoretic Reasoning to do Algebra.
Luigia Carlucci AielloRichard W. WeyhrauchPublished in: CADE (1980)
Keyphrases
- meta level
- meta reasoning
- meta rules
- knowledge base
- knowledge representation
- boolean algebra
- data model
- algebraic expressions
- reasoning process
- probabilistic reasoning
- query language
- domain knowledge
- automated reasoning
- reasoning systems
- model based reasoning
- production rules
- maximal tractable
- object level
- spatial reasoning
- reasoning tasks
- model based diagnosis
- set theory
- formal models
- reasoning problems
- relational algebra