I-DLV-sr: A Stream Reasoning System based on I-DLV.
Francesco CalimeriMarco MannaElena MastriaMaria Concetta MorelliSimona PerriJessica ZangariPublished in: CoRR (2021)
Keyphrases
- disjunctive logic programming
- answer set programming
- reasoning tasks
- answer sets
- knowledge representation and reasoning
- logic programming
- data streams
- knowledge representation
- logic programs
- real time
- knowledge base
- polynomial hierarchy
- stable model semantics
- super resolution
- artificial intelligence
- reasoning systems
- expert systems
- high resolution
- incomplete information
- qualitative reasoning
- genetic algorithm
- data sets