Author of the publication

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

Enumeration on Trees with Tractable Combined Complexity and Efficient Updates., , , and . PODS, page 89-103. ACM, (2019)Ranked Enumeration for MSO on Trees via Knowledge Compilation., , , and . CoRR, (2023)Reasoning on Feature Models: Compilation-Based vs. Direct Approaches., , , , , 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)Dynamic direct access of MSO query evaluation over strings., , , and . CoRR, (2024)Constant-Delay Enumeration for Nondeterministic Document Spanners., , , and . CoRR, (2020)Reasonable Highly Expressive Query Languages - IJCAI-15 Distinguished Paper (Honorary Mention)., , and . IJCAI, page 2826-2832. AAAI Press, (2015)Balancing Expressiveness and Inexpressiveness in View Design., , , and . KR, page 109-118. (2020)Inference from Visible Information and Background Knowledge., , , , and . ACM Trans. Comput. Log., 22 (2): 13:1-13:69 (2021)