* To appear in informal proceedings of 2nd Workshop on Explainable
Logic-Based Knowledge Representation (XLoKR 2021), co-located with KR 2021.
arXiv admin note: substantial text overlap with arXiv:2107.10159 Access Paper or Ask Questions
* In this version, a couple of minor mistakes corrected. This is a
slightly extended and updated version of a paper published in the Proc. of
the Alberto Mendelzon International Workshop of Foundations of Data
Management which will also serve as extended version for a forthcoming
extended abstract based on the former Access Paper or Ask Questions
* 52 pages, including 48 pages of main text. This is an extended
version of the AAAI conference paper "The Tractability of SHAP-Score-Based
Explanations over Deterministic and Decomposable Boolean Circuits"
(arXiv:2007.14045), with additional results Access Paper or Ask Questions