Author of the publication

NP Datalog: A logic language for expressing search and optimization problems.

, , , and . Theory Pract. Log. Program., 10 (2): 125-166 (2010)

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 View-Update Problem for Indefinite Databases., , , and . SEBD, page 95-102. Curran Associates, (2013)Checking Termination of Datalog with Function Symbols Through Linear Constraints., , , and . SEBD, page 192-199. Curran Associates, Inc., (2015)Consistent Queries over Databases with Integrity Constraints., , , and . Database Technologies: Concepts, Methodologies, Tools, and Applications, IGI Global, (2009)Preference-based inconsistency-tolerant query answering under existential rules., , , and . Artif. Intell., (2022)Evaluating User Behaviour in a Cooperative Environment., , , , , , and . Inf., 9 (12): 303 (2018)Logic languages and optimization techniques for decision, search and optimization problems.. University of Calabria, Italy, (2005)Even-if Explanations: Formal Foundations, Priorities and Complexity., , , , , and . CoRR, (2024)Querying Data Exchange Settings Beyond Positive Queries., , , and . Datalog, volume 3203 of CEUR Workshop Proceedings, page 27-41. CEUR-WS.org, (2022)Computing Approximate Certain Answers over Incomplete Databases., , and . AMW, volume 1912 of CEUR Workshop Proceedings, CEUR-WS.org, (2017)On the Termination of Logic Programs with Function Symbols., , and . ICLP (Technical Communications), volume 17 of LIPIcs, page 323-333. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2012)