Author of the publication

Leveraging Equality Generating Dependencies for Chase Termination.

, , , and . SEBD, page 94-101. Matematicamente.it, (2016)

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

Counting Database Repairs Entailing a Query: The Case of Functional Dependencies., , , and . SEBD, volume 3194 of CEUR Workshop Proceedings, page 159-166. CEUR-WS.org, (2022)Querying Data Exchange Settings Beyond Positive Queries., , , and . Datalog, volume 3203 of CEUR Workshop Proceedings, page 27-41. CEUR-WS.org, (2022)Checking Termination of Datalog with Function Symbols Through Linear Constraints., , , and . SEBD, page 192-199. Curran Associates, Inc., (2015)Logic Program Termination Analysis Using Atom Sizes., , , and . IJCAI, page 2833-2839. AAAI Press, (2015)Exploiting Equality Generating Dependencies in Checking Chase Termination., , , and . Proc. VLDB Endow., 9 (5): 396-407 (2016)Benchmarking Approximate Consistent Query Answering (Discussion Paper)., , and . SEBD, volume 2994 of CEUR Workshop Proceedings, page 209-216. CEUR-WS.org, (2021)Querying Data Exchange Settings Beyond Positive Queries., , , , , and . SEBD, volume 3478 of CEUR Workshop Proceedings, page 360-368. CEUR-WS.org, (2023)Preference-based Inconsistency-Tolerant Query Answering under Existential Rules., , , and . KR, page 203-212. (2020)Checking termination of bottom-up evaluation of logic programs with function symbols., , , and . Theory Pract. Log. Program., 15 (6): 854-889 (2015)Termination Criteria for Datalog with Function Symbols., , , and . SEBD, page 248-255. (2014)