Search Results for author: Cristian Molinaro

Found 2 papers, 0 papers with code

Using Linear Constraints for Logic Program Termination Analysis

no code implementations13 Dec 2015 Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna

Despite the significant body of work in this area, current approaches do not include many simple practical programs whose evaluation terminates.

Top-k Query Answering in Datalog+/- Ontologies under Subjective Reports (Technical Report)

no code implementations29 Nov 2013 Thomas Lukasiewicz, Maria Vanina Martinez, Cristian Molinaro, Livia Predoiu, Gerardo I. Simari

Theses pieces of information of every report are then combined, along with the querying user's preferences and his/her trust into each report, to rank the query results.

Cannot find the paper you are looking for? You can Submit a new open access paper.