Author of the publication

A Journey to the Frontiers of Query Rewritability

, , , and . Proceedings of the 41st Symposium on Principles of Database Systems (PODS'22), page 359-367. ACM, (June 2022)
DOI: 10.1145/3517804.3524163

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.

No persons found for author name Rudolph, Sebastian
add a person with the name Rudolph, Sebastian
 

Other publications of authors with the same name

Semantic Characterizations of AGM Revision for Tarskian Logics, , and . Proceedings of the 6th International Joint Conference on Rules and Reasoning (RuleML+RR 2022), volume 13752 of LNCS, page 95--110. Springer, (September 2022)Semantic characterizations of general belief base revision, , and . (2021)Knowledge Graphs evolution and preservation -- A technical report from ISWS 2019, , , , , , , , , and 64 other author(s). (2020)Linked Open Data validity -- A technical report from ISWS 2018, , , , , , , , , and 61 other author(s). (2019)Decidable (Ac)counting with Parikh and Muller: Adding Presburger Arithmetic to Monadic Second-Order Logic over Tree-Interpretable Structures, , and . 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024), volume 288 of Leibniz International Proceedings in Informatics (LIPIcs), page 33:1--33:19. Dagstuhl, Germany, Schloss Dagstuhl -- Leibniz-Zentrum für Informatik, (2024)Satisfiability and query answering in description logics with global and local cardinality constraints, , and . (2020)On Logics and Homomorphism Closure, , , and . 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), IEEE, (June 2021)Neva-Extension Visualization for Argumentation Frameworks., , and . COMMA, page 477--478. (2020)The power of the terminating chase (invited talk), , and . Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Wadern/Saarbruecken, Germany, (2019)Datalog-expressibility for monadic and Guarded Second-order Logic, , and . Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (July 2021)