Local Local Reasoning: A BI-Hyperdoctrine for Full Ground Store.
Miriam PolzerSergey GoncharovPublished in: CoRR (2020)
Keyphrases
- data sets
- reasoning systems
- reasoning process
- model based reasoning
- knowledge base
- business intelligence
- real time
- qualitative reasoning
- meta level
- database systems
- neural network
- mobile robot
- knowledge representation
- expert systems
- spatial reasoning
- learning algorithm
- information retrieval
- fuzzy reasoning
- computational properties
- knowledge processing
- database
- reasoning problems
- resource bounded
- logical reasoning