I-DLV-sr: A Stream Reasoning System based on I-DLV.
Francesco CalimeriMarco MannaElena MastriaMaria Concetta MorelliSimona PerriJessica ZangariPublished in: Theory Pract. Log. Program. (2021)
Keyphrases
- disjunctive logic programming
- answer set programming
- reasoning tasks
- knowledge representation and reasoning
- answer sets
- logic programming
- knowledge base
- polynomial hierarchy
- reasoning systems
- knowledge representation
- real time
- reasoning process
- data streams
- sliding window
- streaming data
- sparse representation
- model based reasoning
- stable model semantics