Enhancing DLV for reasoning over streams: the LDSR language and its expressiveness

Simple item page
dc.contributor.authorMorelli, Maria Concetta
dc.contributor.authorTerracina, Giorgio
dc.contributor.authorManna, Marco
dc.contributor.authorPerri, Simona
dc.date.accessioned2026-04-01T07:49:35Z
dc.date.issued2024-04-09
dc.descriptionUniversità della Calabria. Dipartimento di Matematica e Informatica. Dottorato di ricerca in Matematica e Informatica. Ciclo XXXV
dc.description.provenanceSubmitted by GIlda Scola (gilda.scola@unical.it) on 2026-04-01T07:49:35Z No. of bitstreams: 2 Final_PhD_Report__Morelli.pdf: 225572 bytes, checksum: 6032d2f57966fee98019ade95fdfa944 (MD5) license.txt: 52 bytes, checksum: a7eb469bb41c5e9758c5816948bd7bd4 (MD5)en
dc.description.provenanceMade available in DSpace on 2026-04-01T07:49:35Z (GMT). No. of bitstreams: 2 Final_PhD_Report__Morelli.pdf: 225572 bytes, checksum: 6032d2f57966fee98019ade95fdfa944 (MD5) license.txt: 52 bytes, checksum: a7eb469bb41c5e9758c5816948bd7bd4 (MD5) Previous issue date: 2024-04-09en
dc.identifier.urihttp://hdl.handle.net/10955/5738
dc.language.isoen
dc.publisherUniversità della Calabria
dc.relation.ispartofseriesINF/01
dc.subjectStream Reasoning
dc.subjectDatalog
dc.subjectAnswer Set Programming
dc.subjectKnowledge Representation and Reasoning
dc.subjectRelative Expressiveness
dc.titleEnhancing DLV for reasoning over streams: the LDSR language and its expressiveness
dc.typeThesis

Files

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
Final_PhD_Report__Morelli.pdf
Size:
220.29 KB
Format:
Adobe Portable Document Format
Download

License bundle

Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
52 B
Format:
Item-specific license agreed upon to submission
Description:
Download

Collections

Dipartimento di Matematica e Informatica - Tesi di Dottorato