Assessing heuristic machine learning explanations with model counting

Detalles Bibliográficos

Autor principal:	Narodytska, Nina (Autor)
Otros Autores:	Marques-Silva, João ; Ignatiev, Alexey ; Meel, Kuldeep S. ; Shrotri, Aditya
Tipo de documento:	Electrónico Artículo
Lenguaje:	Inglés
Publicado:	International Conference on Theory and Applications of Satisfiability Testing 2019
En:	Enthalten in: Theory and Applications of Satisfiability Testing - SAT 2019
Acceso en línea:	Volltext (lizenzpflichtig)
Verificar disponibilidad:	HBZ Gateway
Palabras clave:	Konferenzschrift ; 2019 ; Lisbon, Portugal