Fetching the paper…
Reading the bibliography…
Two types of explanations have been receiving increased attention in the literature when analyzing the decisions made by classifiers.
Belson, W.A.: Matching and prediction on the principle of biological classification. Journal of the Royal Statistical Society. Series C (Applied Statistics) 8
1959
Earlier work this paper cites.
Slagle, J., Chang, C.L., Lee, R.: A new algorithm for generating prime implicants. IEEE Transactions on Computers C-19
1970
Earlier work this paper cites.
Breiman, L., Friedman, J.H., Olshen, R.A., Stone, C.J.: Classification and Regression Trees. Wadsworth (1984)
1984
Earlier work this paper cites.
Bryant, R.E.: Graph-based algorithms for Boolean function manipulation. IEEE Trans. Computers 35
1986
Earlier work this paper cites.
Kean, A., Tsiknis, G.: An incremental method for generating prime implicants/implicates. Journal of Symbolic Computation 9
1990
Earlier work this paper cites.
Lipton, P.: Contrastive explanation. Royal Institute of Philosophy Supplements 27
1990
Earlier work this paper cites.
Jackson, P.: Computing prime implicates. In: Proceedings of the 1992 ACM Annual Conference on Communications. p. 65–72. CSC ’92, Association for Computing Machinery, New York, NY, USA (1992). https://doi.org/10.1145/131214.131223, https://doi.org/10.1145/131214.131223
1992
Earlier work this paper cites.
Ramesh, A., Becker, G., Murray, N.V.: CNF and DNF considered harmful for computing prime implicants/implicates. Journal of Automated Reasoning 18
1997
Earlier work this paper cites.
Gurvich, V., Khachiyan, L.: On generating the irredundant conjunctive and disjunctive normal forms of monotone Boolean functions. Discrete Applied Mathematics 96
1999
Earlier work this paper cites.
Marquis, P.: Consequence finding algorithms. In: Handbook of defeasible reasoning and uncertainty management systems, pp. 41–145. Springer (2000)
2000
Earlier work this paper cites.
Chan, H., Darwiche, A.: Reasoning about bayesian network classifiers. In: UAI. pp. 107–115. Morgan Kaufmann (2003)
2003
Earlier work this paper cites.
Lang, J., Liberatore, P., Marquis, P.: Propositional independence: Formula-variable independence and forgetting. J. Artif. Intell. Res. 18
2003
Earlier work this paper cites.
Crama, Y., Hammer, P.L.: Boolean functions - theory, algorithms, and applications. In: Encyclopedia of mathematics and its applications (2011)
2011
Earlier work this paper cites.
Choi, A., Xue, Y., Darwiche, A.: Same-decision probability: A confidence measure for threshold-based decisions. Int. J. Approx. Reason. 53
2012
Earlier work this paper cites.
Previti, A., Ignatiev, A., Morgado, A., Marques-Silva, J.: Prime compilation of non-clausal formulae. In: IJCAI. pp. 1980–1988. AAAI Press (2015)
2015
Earlier work this paper cites.
Ribeiro, M.T., Singh, S., Guestrin, C.: ”Why should I trust you?”: Explaining the predictions of any classifier. In: KDD. pp. 1135–1144. ACM (2016)
2016
Earlier work this paper cites.
Narodytska, N., Kasiviswanathan, S.P., Ryzhyk, L., Sagiv, M., Walsh, T.: Verifying properties of binarized deep neural networks. In: Proc. of AAAI’18. pp. 6615–6624 (2018)
2018
Cited alongside, same era.
Ribeiro, M.T., Singh, S., Guestrin, C.: Anchors: High-precision model-agnostic explanations. In: AAAI. pp. 1527–1535. AAAI Press (2018)
2018
Cited alongside, same era.
Shih, A., Choi, A., Darwiche, A.: A symbolic approach to explaining bayesian network classifiers. In: IJCAI. pp. 5103–5111. ijcai.org (2018)
2018
Cited alongside, same era.
Ignatiev, A., Narodytska, N., Marques-Silva, J.: Abduction-based explanations for machine learning models. In: Proceedings of the Thirty-Third Conference on Artificial Intelligence (AAAI). pp. 1511–1519 (2019)
2019
Cited alongside, same era.
Huang, X., Izza, Y., Ignatiev, A., Marques-Silva, J.: On efficiently explaining graph-based classifiers. In: KR. pp. 356–367 (2021)
2021
Later among the works it cites.
Izza, Y., Marques-Silva, J.: On explaining random forests with SAT. In: IJCAI. pp. 2584–2591. ijcai.org (2021)
2021
Later among the works it cites.
Luo, W., Want, H., Zhong, H., Wei, O., Fang, B., Song, X.: An efficient two-phase method for prime compilation of non-clausal boolean formulae. In: 2021 IEEE/ACM International Conference On Computer Aided Design (ICCAD). pp. 1–9 (2021). https://doi.org/10.1109/ICCAD51958.2021.9643520
2021
Later among the works it cites.
Marques-Silva, J., Gerspacher, T., Cooper, M.C., Ignatiev, A., Narodytska, N.: Explanations for monotonic classifiers. In: ICML. Proceedings of Machine Learning Research, vol. 139, pp. 7469–7479. PMLR (2021)
2021
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
2019
Cited alongside, same era.
Miller, T.: Explanation in artificial intelligence: Insights from the social sciences. Artif. Intell. 267
2019
Cited alongside, same era.
Shih, A., Choi, A., Darwiche, A.: Compiling bayesian network classifiers into decision graphs. In: AAAI. pp. 7966–7974. AAAI Press (2019)
2019
Cited alongside, same era.
Albini, E., Rago, A., Baroni, P., Toni, F.: Relation-based counterfactual explanations for bayesian network classifiers. In: IJCAI. pp. 451–457. ijcai.org (2020)
2020
Cited alongside, same era.
Audemard, G., Koriche, F., Marquis, P.: On tractable XAI queries based on compiled representations. In: KR. pp. 838–849 (2020)
2020
Cited alongside, same era.
2020
Cited alongside, same era.
Darwiche, A., Hirth, A.: On the reasons behind decisions. In: ECAI. Frontiers in Artificial Intelligence and Applications, vol. 325, pp. 712–720. IOS Press (2020)
2020
Cited alongside, same era.
Ignatiev, A., Narodytska, N., Asher, N., Marques-Silva, J.: From contrastive to abductive explanations and back again. In: AI*IA. Lecture Notes in Computer Science, vol. 12414, pp. 335–355. Springer (2020)
2020
Cited alongside, same era.
2021
Later among the works it cites.
Amgoud, L., Ben-Naim, J.: Axiomatic foundations of explainability. In: IJCAI. pp. 636–642. ijcai.org (2022)
2022
Later among the works it cites.
Audemard, G., Bellart, S., Bounia, L., Koriche, F., Lagniez, J., Marquis, P.: On the explanatory power of Boolean decision trees. Data Knowl. Eng. 142
2022
Later among the works it cites.
2022
Later among the works it cites.
de Colnet, A., Marquis, P.: On the complexity of enumerating prime implicants from decision-DNNF circuits. In: IJCAI. pp. 2583–2590. ijcai.org (2022)
2022
Later among the works it cites.
Darwiche, A., Ji, C.: On the computation of necessary and sufficient explanations. In: AAAI. pp. 5582–5591. AAAI Press (2022)
2022
Later among the works it cites.
Ignatiev, A., Izza, Y., Stuckey, P.J., Marques-Silva, J.: Using maxsat for efficient explanations of tree ensembles. In: AAAI. pp. 3776–3785. AAAI Press (2022)
2022
Later among the works it cites.
Izza, Y., Ignatiev, A., Marques-Silva, J.: On tackling explanation redundancy in decision trees. J. Artif. Intell. Res. 75
2022
Later among the works it cites.
Marques-Silva, J., Ignatiev, A.: Delivering trustworthy AI through formal XAI. In: AAAI. pp. 12342–12350. AAAI Press (2022)
2022
Later among the works it cites.
Amgoud, L.: Explaining black-box classifiers: Properties and functions. Int. J. Approx. Reason. 155
2023
Closest in time.
2023
Closest in time.
Liu, X., Lorini, E.: A unified logical framework for explanations in classifier systems. J. Log. Comput. 33
2023
Closest in time.