Assessing heuristic machine learning explanations with model counting

Gespeichert in:

Bibliographische Detailangaben
VerfasserInnen:	Narodytska, Nina (VerfasserIn) ; Marques-Silva, João (VerfasserIn) ; Ignatiev, Alexey (VerfasserIn) ; Meel, Kuldeep S. (VerfasserIn) ; Shrotri, Aditya (VerfasserIn)
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