Article PDF
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.Avoid common mistakes on your manuscript.
Data Availability
No datasets were generated or analysed during the current study.
References
Akshay, S., Arora, J., Chakraborty, S., Krishna, S.N., Raghunathan, D., Shah, S.: Knowledge compilation for Boolean functional synthesis. In: FMCAD. pp. 161–169. IEEE (2019)
Amarilli, A.: Provenance in databases and links to knowledge compilation. In: KOCOON workshop on knowledge compilation (2019), http://kocoon.gforge.inria.fr/slides/amarilli.pdf
Arenas, M., Bertossi, P.B.L., Monet, M.: The tractability of shap-score-based explanations over deterministic and decomposable Boolean circuits (2021)
Audemard, G., Koriche, F., Marquis, P.: On tractable XAI queries based on compiled representations. In: KR. pp. 838–849 (2020)
Besold, T.R., d’Avila Garcez, A., Bader, S., Bowman, H., Domingos, P., Hitzler, P., Kuehnberger, K.U., Lamb, L.C., Lowd, D., Lima, P.M.V., de Penning, L., Pinkas, G., Poon, H., Zaverucha, G.: Neural-symbolic learning and reasoning: A survey and interpretation (2017)
den Broeck, G.V., Lykov, A., Schleich, M., Suciu, D.: On the tractability of shap explanations (2021)
Bryant, R.E.: Graph-based algorithms for Boolean function manipulation. IEEE Transactions on Computers C-35, 677–691 (1986)
Cadoli, M., Donini, F.M.: A survey on knowledge compilation. AI Commun. 10(3–4), 137–150 (1997)
Darwiche, A.: Decomposable negation normal form. J. ACM 48(4), 608–647 (2001)
Darwiche, A.: On the tractable counting of theory models and its application to truth maintenance and belief revision. J. Appl. Non Class. Logics 11(1–2), 11–34 (2001)
Darwiche, A.: A logical approach to factoring belief networks. In: Fensel, D., Giunchiglia, F., McGuinness, D.L., Williams, M. (eds.) Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002. pp. 409–420. Morgan Kaufmann (2002)
Darwiche, A.: A differential approach to inference in Bayesian networks. J. ACM 50(3), 280–305 (2003)
Darwiche, A.: SDD: A new canonical representation of propositional knowledge bases. In: IJCAI. pp. 819–826. IJCAI/AAAI (2011)
Darwiche, A.: Tractable knowledge representation formalisms. In: Tractability: Practical Approaches to Hard Problems, pp. 141–172. Cambridge University Press (2014)
Darwiche, A.: Three modern roles for logic in AI. In: PODS. pp. 229–243. ACM (2020)
Darwiche, A.: Tractable boolean and arithmetic circuits. In: Neuro-Symbolic Artificial Intelligence, Frontiers in Artificial Intelligence and Applications, vol. 342, pp. 146–172. IOS Press (2021)
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)
Darwiche, A., Marquis, P.: A knowledge compilation map. J. Artif. Intell. Res. 17, 229–264 (2002)
Darwiche, A., Marquis, P., Suciu, D., Szeider, S.: Recent trends in knowledge compilation (dagstuhl seminar 17381). Dagstuhl Reports 7(9), 62–85 (2017)
Garcez, A., Lamb, L.: Neurosymbolic ai: The 3rd wave. ArXiv arXiv:2012.05876 (2020)
Huang, X., Izza, Y., Ignatiev, A., Cooper, M.C., Asher, N., Marques-Silva, J.: Efficient explanations for knowledge compilation languages (2021)
Jha, A.K., Suciu, D.: Knowledge compilation meets database theory: Compiling queries to decision diagrams. Theory Comput. Syst. 52(3), 403–440 (2013)
Marquis, P.: Knowledge compilation using theory prime implicates. In: Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence (IJCAI). pp. 837–845 (1995)
Raedt, L.D., Dumancic, S., Manhaeve, R., Marra, G.: From statistical relational to neuro-symbolic artificial intelligence. In: IJCAI. pp. 4943–4950. ijcai.org (2020)
Selman, B., Kautz, H.A.: Knowledge compilation and theory approximation. J. ACM 43(2), 193–224 (1996)
Shah, P., Bansal, A., Akshay, S., Chakraborty, S.: A normal form characterization for efficient Boolean skolem function synthesis. In: LICS. pp. 1–13. IEEE (2021)
Sharma, S., Gupta, R., Roy, S., Meel, K.S.: Knowledge compilation meets uniform sampling. In: LPAR. EPiC Series in Computing, vol. 57, pp. 620–636. EasyChair (2018)
Shi, W., Shih, A., Darwiche, A., Choi, A.: On tractable representations of binary neural networks. In: KR. pp. 882–892 (2020)
Shih, A., Choi, A., Darwiche, A.: A symbolic approach to explaining Bayesian network classifiers. In: IJCAI. pp. 5103–5111. ijcai.org (2018)
Slivovsky, F.: An introduction to knowledge compilation. In: KOCOON workshop on knowledge compilation (2019), http://kocoon.gforge.inria.fr/slides/slivovsky.pdf
Acknowledgements
The support of the international research project MAKC “Modern Approaches to Knowledge Compilation” funded by CNRS is acknowledged by the invited editors.
Author information
Authors and Affiliations
Contributions
A.D. and P.M. wrote the preface.
Corresponding authors
Ethics declarations
Competing interests
The authors declare no competing interests.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Darwiche, A., Marquis, P. Knowledge compilation. Ann Math Artif Intell (2024). https://doi.org/10.1007/s10472-024-09942-w
Accepted:
Published:
DOI: https://doi.org/10.1007/s10472-024-09942-w