Author of the publication

Ranked Enumeration for MSO on Trees via Knowledge Compilation.

, , , and . ICDT, volume 290 of LIPIcs, page 25:1-25:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2024)

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

JSON: Data model and query languages., , and . Inf. Syst., (2020)Enumeration on Trees with Tractable Combined Complexity and Efficient Updates., , , and . CoRR, (2018)Enumeration on Trees with Tractable Combined Complexity and Efficient Updates., , , and . PODS, page 89-103. ACM, (2019)Reasoning on Feature Models: Compilation-Based vs. Direct Approaches., , , , , and . CoRR, (2023)Constant-Delay Enumeration for Nondeterministic Document Spanners., , , and . ACM Trans. Database Syst., 46 (1): 2:1-2:30 (2021)Query Answering with Transitive and Linear-Ordered Data., , , and . CoRR, (2022)Oblivious and Semi-Oblivious Boundedness for Existential Rules., , , , , and . CoRR, (2020)Ranked Enumeration for MSO on Trees via Knowledge Compilation., , , and . CoRR, (2023)Mixed-World Reasoning with Existential Rules under Active Domain Semantics (Abstract)., and . Description Logics, volume 2373 of CEUR Workshop Proceedings, CEUR-WS.org, (2019)Ranked Enumeration for MSO on Trees via Knowledge Compilation., , , and . ICDT, volume 290 of LIPIcs, page 25:1-25:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2024)