Search Results for author:
Found 2 papers, 1 papers with code
I-DLV-sr: A Stream Reasoning System based on I-DLV
We introduce a novel logic-based system for reasoning over data streams, which relies on a framework enabling a tight, fine-tuned interaction between Apache Flink and the I^2-DLV system.
A Machine Learning guided Rewriting Approach for ASP Logic Programs
In particular, given an ASP program and a set of input facts, our approach chooses whether and how to rewrite input rules based on a set of features measuring their structural properties and domain information.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
