Algebraic Reasoning and Completeness in Typed Languages.
Jon G. RieckeRamesh SubrahmanyamPublished in: POPL (1993)
Keyphrases
- higher order
- expressive power
- knowledge base
- knowledge representation languages
- qualitative spatial
- language independent
- reasoning process
- knowledge representation
- case based reasoning
- analogical reasoning
- meta level
- spatial reasoning
- default reasoning
- highly expressive
- model based reasoning
- consistency checking
- knowledge representation and reasoning
- qualitative reasoning
- cross lingual
- inference rules
- data quality
- data model
- expert systems