Author of the publication

A Credal Extension of Independent Choice Logic.

, and . SUM, volume 11142 of Lecture Notes in Computer Science, page 35-49. Springer, (2018)

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

The Power of the Weak., , , and . ACM Trans. Comput. Log., 21 (2): 15:1-15:47 (2020)Containment for Conditional Tree Patterns., , , and . Logical Methods in Computer Science, (2015)Definable Operations On Weakly Recognizable Sets of Trees., , and . FSTTCS, volume 13 of LIPIcs, page 363-374. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2011)Characterizing EF over Infinite Trees and Modal Logic on Transitive Graphs., and . MFCS, volume 6907 of Lecture Notes in Computer Science, page 290-302. Springer, (2011)Building Causal Interaction Models by Recursive Unfolding., , and . PGM, volume 138 of Proceedings of Machine Learning Research, page 509-520. PMLR, (2020)Dalal's Revision in Sentential Decision Diagrams., , and . ISAIM, (2022)Addressing Social Misattributions of Large Language Models: An HCXAI-based Approach., , and . CoRR, (2024)On the Weak Index Problem for Game Automata., , and . WoLLIC, volume 9160 of Lecture Notes in Computer Science, page 93-108. Springer, (2015)Linear Game Automata: Decidable Hierarchy Problems for Stripped-Down Alternating Tree Automata., , and . CSL, volume 5771 of Lecture Notes in Computer Science, page 225-239. Springer, (2009)Machine Learning Explanations by Surrogate Causal Models (MaLESCaMo)., , and . xAI (Late-breaking Work, Demos, Doctoral Consortium), volume 3554 of CEUR Workshop Proceedings, page 59-64. CEUR-WS.org, (2023)