Search Results for author:
Found 1 papers, 1 papers with code
Enhancing magic sets with an application to ontological reasoning
It turns out that the new version of magic sets is closed for Datalog programs with stratified negation and aggregations, which is very convenient to obtain efficient computation of the stable model of the rewritten program.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
