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

On the Complexity of Sum-of-Products Problems over Semirings., and . AAAI, page 6304-6311. AAAI Press, (2021)Semantically Guided Scene Generation via Contextual Reasoning and Algebraic Measures., , , and . ICLP Workshops, volume 3437 of CEUR Workshop Proceedings, CEUR-WS.org, (2023)A Dynamic MaxSAT-based Approach to Directed Feedback Vertex Sets., and . ALENEX, page 39-52. SIAM, (2023)PACE Solver Description: DAGer - Cutting out Cycles with MaxSAT., and . IPEC, volume 249 of LIPIcs, page 32:1-32:4. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Semiring Reasoning Frameworks in AI and Their Computational Complexity., and . J. Artif. Intell. Res., (2023)"What if?" in Probabilistic Logic Programming., , and . Theory Pract. Log. Program., 23 (4): 884-899 (July 2023)Efficient Knowledge Compilation Beyond Weighted Model Counting., , and . Theory Pract. Log. Program., 22 (4): 505-522 (2022)Reasoning on Multi-Relational Contextual Hierarchies via Answer Set Programming with Algebraic Measures (Extended Abstract)., , and . Description Logics, volume 3263 of CEUR Workshop Proceedings, CEUR-WS.org, (2022)Zeitliche und Quantitative Erweiterungen der Antwortmengenprogrammierung.. Ausgezeichnete Informatikdissertationen, volume D-24 of LNI, GI, (2023)Preferential Default Reasoning on the Semantic Web., , and . Description Logics, volume 2211 of CEUR Workshop Proceedings, CEUR-WS.org, (2018)