Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Smallest MUS Extraction with Minimal Hitting Set Dualization., , , und . CP, Volume 9255 von Lecture Notes in Computer Science, Seite 173-182. Springer, (2015)On Relating 'Why?' and 'Why Not?' Explanations., , , und . CoRR, (2020)Efficient Explanations With Relevant Sets., , , , und . CoRR, (2021)MaxSAT Resolution With the Dual Rail Encoding., , , , und . AAAI, Seite 6565-6572. AAAI Press, (2018)Tractable Explanations for d-DNNF Classifiers., , , , , und . AAAI, Seite 5719-5728. AAAI Press, (2022)On Efficiently Explaining Graph-Based Classifiers., , , und . KR, Seite 356-367. (2021)Prime Compilation of Non-Clausal Formulae., , , und . IJCAI, Seite 1980-1988. AAAI Press, (2015)Efficient Model Based Diagnosis with Maximum Satisfiability., , , und . IJCAI, Seite 1966-1972. AAAI Press, (2015)Explanations for Monotonic Classifiers., , , , und . ICML, Volume 139 von Proceedings of Machine Learning Research, Seite 7469-7479. PMLR, (2021)Towards Formal Fairness in Machine Learning., , , , und . CP, Volume 12333 von Lecture Notes in Computer Science, Seite 846-867. Springer, (2020)