Knowledge compilation. Preface.

DOI10.1007/S10472-024-09942-WMaRDI QIDQ6630709zbMATH OpenFDO

Authors

Publication date 31 October 2024

Published in Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/S10472-024-09942-W

zbMATH Keywords

automated reasoningknowledge compilationknowledge representation

Mathematics Subject Classification ID

Conference proceedings and collections of articles (00Bxx) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic in artificial intelligence (68T27) Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Cites work

• A differential approach to inference in Bayesian networks
• Decomposable negation normal form
• Graph-Based Algorithms for Boolean Function Manipulation
• scientific article; zbMATH DE number 1946853 (Why is no real title available?)
• Knowledge compilation and theory approximation
• Knowledge compilation meets database theory: compiling queries to decision diagrams
• Knowledge compilation meets uniform sampling
• On the reasons behind decisions
• On the Tractability of SHAP Explanations
• On the Tractable Counting of Theory Models and its Application to Truth Maintenance and Belief Revision

Cited in

(1)

• Techniques for measuring the inferential strength of forgetting policies

This page was built for publication: Knowledge compilation. Preface.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6630709)