Knowledge compilation. Preface.

DOI10.1007/s10472-024-09942-wMaRDI QIDQ6630709

No author found.

Publication date: 31 October 2024

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

zbMATH Keywords

automated reasoningknowledge representationknowledge compilation

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Knowledge compilation meets database theory: compiling queries to decision diagrams
• A differential approach to inference in Bayesian networks
• Graph-Based Algorithms for Boolean Function Manipulation
• Knowledge compilation and theory approximation
• On the Tractable Counting of Theory Models and its Application to Truth Maintenance and Belief Revision
• On the Tractability of SHAP Explanations
• Knowledge Compilation meets Uniform Sampling
• Decomposable negation normal form

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