Reasoning with ordered binary decision diagrams

DOI10.1016/J.DAM.2004.02.002MaRDI QIDQ1878409zbMATH OpenOpenAlexFDO

Authors Takashi Horiyama, Toshihide Ibaraki

Publication date 19 August 2004

Published in Discrete Applied Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.dam.2004.02.002

zbMATH Keywords

AbductionAutomated reasoningDeductionHorn functionsKnowledge representationOrdered binary decision diagrams (OBDDs)

Mathematics Subject Classification ID

Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Recommendations

• scientific article; zbMATH DE number 2080240
• Ordered binary decision diagrams as knowledge-bases
• scientific article; zbMATH DE number 1522923
• Reasoning with models
• What makes propositional abduction tractable

Cites work

• Binary Decision Diagrams
• Graph-Based Algorithms for Boolean Function Manipulation
• Horn approximations of empirical data
• scientific article; zbMATH DE number 67477 (Why is no real title available?)
• scientific article; zbMATH DE number 1354130 (Why is no real title available?)
• scientific article; zbMATH DE number 910866 (Why is no real title available?)
• scientific article; zbMATH DE number 3275548 (Why is no real title available?)
• scientific article; zbMATH DE number 3359806 (Why is no real title available?)
• Linear-time algorithms for testing the satisfiability of propositional horn formulae
• Ordered binary decision diagrams as knowledge-bases
• Reasoning with models
• Support set selection for abductive and default reasoning
• The complexity of logic-based abduction
• The complexity of theorem-proving procedures

Cited in

(8)

• Ordered binary decision diagrams as knowledge-bases
• Implementing semantic merging operators using binary decision diagrams
• What makes propositional abduction tractable
• Reasoning with models
• scientific article; zbMATH DE number 2080240 (Why is no real title available?)
• scientific article; zbMATH DE number 1522923 (Why is no real title available?)
• Ordered binary decision diagrams and minimal trellises
• The complexity of reasoning with FODD and GFODD

Describes a project that uses

Uses Software

• CUDD

This page was built for publication: Reasoning with ordered binary decision diagrams

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