Author of the publication

Designing for Complementarity: A Conceptual Framework to Go Beyond the Current Paradigm of Using XAI in Healthcare.

, , , , , , , , , and . HCI (51), volume 14734 of Lecture Notes in Computer Science, page 277-296. Springer, (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

A Playful Glance at Hierarchical Questions for Two-Way Alternating Automata., and . ILC, volume 5489 of Lecture Notes in Computer Science, page 46-55. Springer, (2007)Deciding the Borel Complexity of Regular Tree Languages., and . CiE, volume 8493 of Lecture Notes in Computer Science, page 163-172. Springer, (2014)SOS for Bounded Rationality., , , and . ISIPTA, volume 62 of Proceedings of Machine Learning Research, page 25-36. PMLR, (2017)Logic and Model Checking by Imprecise Probabilistic Interpreted Systems., , , and . EUMAS, volume 12802 of Lecture Notes in Computer Science, page 211-227. Springer, (2021)A Credal Extension of Independent Choice Logic., and . SUM, volume 11142 of Lecture Notes in Computer Science, page 35-49. Springer, (2018)Credal Sentential Decision Diagrams., , and . ISIPTA, volume 103 of Proceedings of Machine Learning Research, page 14-22. PMLR, (2019)A Characterization Theorem for the Alternation-Free Fragment of the Modal µ-Calculus., , and . LICS, page 478-487. IEEE Computer Society, (2013)Model theory of monadic predicate logic with the infinity quantifier., , , and . Arch. Math. Log., 61 (3-4): 465-502 (2022)Imprecise Probabilistic Model Checking for Stochastic Multi-agent Systems., , , and . SN Comput. Sci., 4 (5): 443 (September 2023)The modal µ-calculus hierarchy over restricted classes of transition systems., and . J. Symb. Log., 74 (4): 1367-1400 (2009)