( en | de | ru )

 

Disambiguierung von "Marques-Silva, João"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Abduction-Based Explanations for Machine Learning Models.

, , und . CoRR, (2018)

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.

João Silva Ferraz

Gil dos Santos Guerreiro João

João Afonso Silva Palla Carreiro

João Barros

João Fonseca

 

Weitere Publikationen von Autoren mit dem selben Namen

cmMUS: A Tool for Circumscription-Based MUS Membership Testing., und . LPNMR, Volume 6645 von Lecture Notes in Computer Science, Seite 266-271. Springer, (2011)Assessing Heuristic Machine Learning Explanations with Model Counting., , , , und . SAT, Volume 11628 von Lecture Notes in Computer Science, Seite 267-278. Springer, (2019)Quantified Maximum Satisfiability: - A Core-Guided Approach., , und . SAT, Volume 7962 von Lecture Notes in Computer Science, Seite 250-266. Springer, (2013)SAT in Bioinformatics: Making the Case with Haplotype Inference., und . SAT, Volume 4121 von Lecture Notes in Computer Science, Seite 136-141. Springer, (2006)Efficient MUS Enumeration of Horn Formulae with Applications to Axiom Pinpointing., , und . SAT, Volume 9340 von Lecture Notes in Computer Science, Seite 324-342. Springer, (2015)Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription., , und . JELIA, Volume 6341 von Lecture Notes in Computer Science, Seite 195-207. Springer, (2010)Literal-Based MCS Extraction., , und . IJCAI, Seite 1973-1979. AAAI Press, (2015)New & improved models for SAT-based bi-decomposition., und . ACM Great Lakes Symposium on VLSI, Seite 141-146. ACM, (2012)SMT-Based Bounded Model Checking for Embedded ANSI-C Software., , und . IEEE Trans. Software Eng., 38 (4): 957-974 (2012)Computing Minimal Sets on Propositional Formulae I: Problems & Reductions., und . CoRR, (2014)