Author of the publication

The Power of the Terminating Chase (Invited Talk).

, , and . ICDT, volume 127 of LIPIcs, page 3:1-3:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)

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

Is Your Database System a Semantic Web Reasoner?, and . KI -- Künstliche Intelligenz, 30 (2): 169--176 (June 2016)ETALIS: Rule-Based Reasoning in Event Processing, , , , , and . (2011)10.1007/978-3-642-19724-6_5.Ontology-Based Interpretation of Keywords for Semantic Search, , , and . (2008)Temporally Attributed Description Logics., , and . Description Logic, Theory Combination, and All That, volume 11560 of Lecture Notes in Computer Science, page 441-474. Springer, (2019)Finite-Cliquewidth Sets of Existential Rules: Toward a General Criterion for Decidable yet Highly Expressive Querying., , , and . CoRR, (2022)Semantic Characterizations of AGM Revision for Tarskian Logics., , and . RuleML+RR, volume 13752 of Lecture Notes in Computer Science, page 95-110. Springer, (2022)On the Decomposition of Abstract Dialectical Frameworks and the Complexity of Naive-based Semantics., , and . J. Artif. Intell. Res., (2021)A Katsuno-Mendelzon-Style Characterization of AGM Belief Base Revision for Arbitrary Monotonic Logics (Preliminary Report)., , and . FCR@KI, volume 2961 of CEUR Workshop Proceedings, page 48-59. CEUR-WS.org, (2021)On Logics and Homomorphism Closure., , , and . LICS, page 1-13. IEEE, (2021)Tractable Diversity: Scalable Multiperspective Ontology Management via Standpoint EL., , and . IJCAI, page 3258-3267. ijcai.org, (2023)