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

Tractable Explaining of Multivariate Decision Trees., , and . KR, page 127-135. (2023)Debugging EL+ Ontologies through Horn MUS Enumeration., , , and . Description Logics, volume 1879 of CEUR Workshop Proceedings, CEUR-WS.org, (2017)Haplotype Inference with Boolean Constraint Solving: An Overview., , , and . ICTAI (1), page 92-100. IEEE Computer Society, (2008)Partial MUS Enumeration., and . AAAI, page 818-825. AAAI Press, (2013)Building State-of-the-Art SAT Solvers., and . ECAI, page 166-170. IOS Press, (2002)How to Complete an Interactive Configuration Process?, , , and . SOFSEM, volume 5901 of Lecture Notes in Computer Science, page 528-539. Springer, (2010)Reasoning-Based Learning of Interpretable ML Models., , , and . IJCAI, page 4458-4465. ijcai.org, (2021)Accelerating MUS extraction with recursive model rotation., and . FMCAD, page 37-40. FMCAD Inc., (2011)Abduction-Based Explanations for Machine Learning Models., , and . AAAI, page 1511-1519. AAAI Press, (2019)Delivering Trustworthy AI through Formal XAI., and . AAAI, page 12342-12350. AAAI Press, (2022)