I-DLV-sr: A Stream Reasoning System based on I-DLV
CALIMERI, FRANCESCO, MANNA, MARCO, MASTRIA, ELENA, MORELLI, MARIA CONCETTA, PERRI, SIMONA, ZANGARI, JESSICA
Published in Theory and practice of logic programming (01.09.2021)
Published in Theory and practice of logic programming (01.09.2021)
Get full text
Journal Article
A Machine Learning guided Rewriting Approach for ASP Logic Programs
Mastria, Elena, Zangari, Jessica, Perri, Simona, Calimeri, Francesco
Published in Electronic proceedings in theoretical computer science (19.09.2020)
Published in Electronic proceedings in theoretical computer science (19.09.2020)
Get full text
Journal Article
A Machine Learning guided Rewriting Approach for ASP Logic Programs
Mastria, Elena, Zangari, Jessica, Perri, Simona, Calimeri, Francesco
Published in arXiv.org (22.09.2020)
Published in arXiv.org (22.09.2020)
Get full text
Paper
Journal Article
I-DLV-sr: A Stream Reasoning System based on I-DLV
Calimeri, Francesco, Manna, Marco, Mastria, Elena, Morelli, Maria Concetta, Perri, Simona, Zangari, Jessica
Year of Publication 05.08.2021
Year of Publication 05.08.2021
Get full text
Journal Article
I-DLV-sr: A Stream Reasoning System based on I-DLV
Calimeri, Francesco, Manna, Marco, Mastria, Elena, Morelli, Maria Concetta, Perri, Simona, Zangari, Jessica
Published in arXiv.org (05.08.2021)
Get full text
Published in arXiv.org (05.08.2021)
Paper