Enhancing DLV for reasoning over streams: the LDSR language and its expressiveness
Loading...
Date
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