Author of the publication

The Intelligent Grounder of DLV.

, , and . Correct Reasoning, volume 7265 of Lecture Notes in Computer Science, page 247-264. Springer, (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

The Intelligent Grounder of DLV., , and . Correct Reasoning, volume 7265 of Lecture Notes in Computer Science, page 247-264. Springer, (2012)Meta-reasoning over OWL 2 QL using Datalog., and . Datalog, volume 3203 of CEUR Workshop Proceedings, page 181-187. CEUR-WS.org, (2022)The Birth of a WASP: Preliminary Report on a New ASP Solver., , , , , and . CILC, volume 810 of CEUR Workshop Proceedings, page 99-113. CEUR-WS.org, (2011)Universal and Uniform Action Reversibility., , and . KR, page 651-654. (2021)Complexity of Answer Set Checking and Bounded Predicate Arities for Non-ground Answer Set Programming., , , , and . Answer Set Programming, volume 78 of CEUR Workshop Proceedings, CEUR-WS.org, (2003)Enumerating Preferred Extensions Using ASP Domain Heuristics: The ASPrMin Solver., , , and . COMMA, volume 305 of Frontiers in Artificial Intelligence and Applications, page 459-460. IOS Press, (2018)Solving Hard Problems for the Second Level of the Polynomial Hierarchy: Heuristics and Benchmarks., , and . Intelligenza Artificiale, 2 (3): 21-28 (2005)Improving Query Optimization for Disjunctive Datalog., , and . APPIA-GULP-PRODE, page 252-262. (2003)Computing Preferred Answer Sets by Meta-Interpretation in Answer Set Programming, , , and . CoRR, (2002)Disjunctive Logic Programs with Inheritance., , and . Theory Pract. Log. Program., 2 (3): 293-321 (2002)