Author of the publication

Rewriting-based Check of Chase Termination.

, , , and . AMW, volume 1378 of CEUR Workshop Proceedings, CEUR-WS.org, (2015)

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

A System Supporting Website Navigation., , , and . SEBD, page 142-149. (2004)Logic Program Termination Analysis Using Atom Sizes., , , and . IJCAI, page 2833-2839. AAAI Press, (2015)Querying Data Exchange Settings Beyond Positive Queries., , , , , and . SEBD, volume 3478 of CEUR Workshop Proceedings, page 360-368. CEUR-WS.org, (2023)Approximate Query Answering over Inconsistent Knowledge Bases., , and . SEBD, volume 2161 of CEUR Workshop Proceedings, CEUR-WS.org, (2018)Exploiting Equality Generating Dependencies in Checking Chase Termination., , , and . Proc. VLDB Endow., 9 (5): 396-407 (2016)On the Verification and Existence Problems in Epistemic Argumentation Framework., , , , and . AI³@AI*IA, volume 3546 of CEUR Workshop Proceedings, CEUR-WS.org, (2023)Optimizing the Computation of Approximate Certain Query Answers over Incomplete Databases., , and . FQAS, volume 11529 of Lecture Notes in Computer Science, page 48-60. Springer, (2019)On the Conditional Preference-based Argumentation Framework., , , and . NMR, volume 3464 of CEUR Workshop Proceedings, page 115-119. CEUR-WS.org, (2023)Preference-based Inconsistency-Tolerant Query Answering under Existential Rules., , , and . KR, page 203-212. (2020)NP Datalog: A Logic Language for NP Search and Optimization Queries., , and . IDEAS, page 344-353. IEEE Computer Society, (2005)