Author:
Ignatiev Alexey,Marques-Silva Joao
Publisher
Springer International Publishing
Reference73 articles.
1. Angelino, E., Larus-Stone, N., Alabi, D., Seltzer, M.I., Rudin, C.: Learning certifiably optimal rule lists. In: KDD, pp. 35–44 (2017)
2. Angelino, E., Larus-Stone, N., Alabi, D., Seltzer, M.I., Rudin, C.: Learning certifiably optimal rule lists for categorical data. J. Mach. Learn. Res. 18, 234:1–234:78 (2017). http://jmlr.org/papers/v18/17-716.html
3. Audemard, G., Koriche, F., Marquis, P.: On tractable XAI queries based on compiled representations. In: KR, pp. 838–849 (2020)
4. Audemard, G., Lagniez, J., Simon, L.: Improving glucose for incremental SAT solving with assumptions: application to MUS extraction. In: SAT, pp. 309–317 (2013)
5. Bailey, J., Stuckey, P.J.: Discovery of minimal unsatisfiable subsets of constraints using hitting set dualization. In: PADL, pp. 174–186 (2005)
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. On the failings of Shapley values for explainability;International Journal of Approximate Reasoning;2024-08
2. A Data Management Approach to Explainable AI;Companion of the 43rd Symposium on Principles of Database Systems;2024-06-09
3. Learning Model Agnostic Explanations via Constraint Programming;Lecture Notes in Computer Science;2024
4. On computing probabilistic abductive explanations;International Journal of Approximate Reasoning;2023-08
5. Disproving XAI Myths with Formal Methods – Initial Results;2023 27th International Conference on Engineering of Complex Computer Systems (ICECCS);2023-06-14