Enhancing DLV for reasoning over streams: the LDSR language and its expressiveness
Date
2024-04-09
Journal Title
Journal ISSN
Volume Title
Publisher
Università della Calabria
Abstract
Description
Università della Calabria.
Dipartimento di Matematica e Informatica. Dottorato di ricerca in Matematica e Informatica. Ciclo XXXV
Keywords
Stream Reasoning, Datalog, Answer Set Programming, Knowledge Representation and Reasoning, Relative Expressiveness