Local Local Reasoning: A BI-Hyperdoctrine for Full Ground Store.
Miriam PolzerSergey GoncharovPublished in: FoSSaCS (2020)
Keyphrases
- reasoning process
- business intelligence
- automated reasoning
- knowledge base
- knowledge representation
- knowledge representation and reasoning
- artificial intelligence
- rule based reasoning
- data structure
- reasoning systems
- consistency checking
- definite clause
- database
- model based reasoning
- analogical reasoning
- knowledge processing
- probabilistic reasoning
- data model
- case study
- machine learning