On Learning Sparse Boolean Formulae for Explaining AI Decisions

Lecture Notes in Computer Science - NASA Formal Methods ◽

10.1007/978-3-319-57288-8_7 ◽

2017 ◽

pp. 99-114 ◽

Author(s):

Susmit Jha ◽

Vasumathi Raman ◽

Alessandro Pinto ◽

Tuhin Sahai ◽

Michael Francis

Download Full-text