Author of the publication

Finite Controllability of Conjunctive Query Answering with Existential Rules: Two Steps Forward.

, , and . IJCAI, page 5189-5193. ijcai.org, (2018)

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

Adding Set Terms to Ordered Logic Programs., and . GULP, page 87-100. (1993)Solving Hard Problems for the Second Level of the Polynomial Hierarchy: Heuristics and Benchmarks., , and . Intelligenza Artificiale, 2 (3): 21-28 (2005)Finitely recursive programs: Decidability and bottom-up computation., , , and . AI Commun., 24 (4): 311-334 (2011)A backjumping technique for Disjunctive Logic Programming., , and . AI Commun., 19 (2): 155-172 (2006)Join Ordering Techniques for Knowledge Base Systems., , and . SEBD, page 79-93. (2001)Structural Decomposition Methods: Key Notions and Database Applications., , , and . A Comprehensive Guide Through the Italian Database Research, volume 31 of Studies in Big Data, Springer International Publishing, (2018)Driving CDCL Search., , , , , and . CoRR, (2016)On Modularity Properties of Partial Semantics for Disjunctive Logic Programs., and . WLP, page 217-226. (1995)An ASP-Based System for e-Tourism., , , and . LPNMR, volume 5753 of Lecture Notes in Computer Science, page 368-381. Springer, (2009)A DLP System with Object-Oriented Features., , , , , and . LPNMR, volume 3662 of Lecture Notes in Computer Science, page 432-436. Springer, (2005)