Assessing heuristic machine learning explanations with model counting

Gespeichert in:

Bibliographische Detailangaben
1. VerfasserIn:	Narodytska, Nina (VerfasserIn)
Beteiligte:	Marques-Silva, João ; Ignatiev, Alexey ; Meel, Kuldeep S. ; Shrotri, Aditya
Medienart:	Elektronisch Aufsatz
Sprache:	Englisch
Veröffentlicht:	International Conference on Theory and Applications of Satisfiability Testing 2019
In:	Enthalten in: Theory and Applications of Satisfiability Testing - SAT 2019
Online-Zugang:	Volltext (lizenzpflichtig)
Verfügbarkeit prüfen:	HBZ Gateway
Schlagwörter:	Konferenzschrift ; 2019 ; Lisbon, Portugal

Beschreibung
DOI:	10.1007/978-3-030-24258-9_19