ML Anthology
Authors
Search
About
Yu, Jinqiang
2 publications
AAAI
2023
Eliminating the Impossible, Whatever Remains Must Be True: On Extracting and Applying Background Knowledge in the Context of Formal Explanations
Jinqiang Yu
,
Alexey Ignatiev
,
Peter J. Stuckey
,
Nina Narodytska
,
João Marques-Silva
JAIR
2021
Learning Optimal Decision Sets and Lists with SAT
Jinqiang Yu
,
Alexey Ignatiev
,
Peter J. Stuckey
,
Pierre Le Bodic