ASTRO: A Datalog System for Advanced Stream Reasoning.
Ariyam DasSahil M. GandhiCarlo ZanioloPublished in: CIKM (2018)
Keyphrases
- data streams
- deductive databases
- query language
- expressive power
- query answering
- datalog programs
- reasoning systems
- logic programming
- real time
- qualitative reasoning
- reasoning process
- reasoning tasks
- integrity constraints
- knowledge representation and reasoning
- knowledge representation
- knowledge base
- stream data
- analogical reasoning
- reasoning mechanisms
- automated reasoning
- answer set programming
- sliding window
- natural language
- artificial intelligence
- databases