Ordered binary decision diagrams as knowledge-bases

DOI10.1016/S0004-3702(02)00119-4MaRDI QIDQ1605409zbMATH OpenOpenAlexFDO

Authors Takashi Horiyama, Toshihide Ibaraki

Publication date 15 July 2002

Published in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0004-3702(02)00119-4

zbMATH Keywords

knowledge representationHorn functionsrecognition problemsordered binary decision diagrams (OBDDs)sutomated reasoningunate functions

Mathematics Subject Classification ID

Knowledge representation (68T30)

Recommendations

• scientific article; zbMATH DE number 1522923
• scientific article; zbMATH DE number 2080240
• Reasoning with ordered binary decision diagrams
• Binary decision diagrams
• scientific article; zbMATH DE number 1775052

Cites work

• scientific article; zbMATH DE number 42816 (Why is no real title available?)
• 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 2080240 (Why is no real title available?)
• scientific article; zbMATH DE number 2080994 (Why is no real title available?)
• scientific article; zbMATH DE number 910866 (Why is no real title available?)
• scientific article; zbMATH DE number 3359806 (Why is no real title available?)
• A theory of the learnable
• Binary Decision Diagrams
• Graph-Based Algorithms for Boolean Function Manipulation
• Horn approximations of empirical data
• Linear-time algorithms for testing the satisfiability of propositional horn formulae
• OBDDs of a monotone function and its prime implicants
• On the complexity of VLSI implementations and graph representations of Boolean functions with application to integer multiplication
• Reasoning with models
• Structure identification in relational data
• The complexity of logic-based abduction

Cited in

(10)

• Minimization of binary decision diagrams for systems of incompletely defined Boolean functions
• Reasoning with ordered binary decision diagrams
• Using OBDDs to handle dynamic constraints
• Ordered binary decision diagrams and the Davis-Putnam procedure
• Translation among CNFs, characteristic models and ordered binary decision diagrams
• scientific article; zbMATH DE number 1522923 (Why is no real title available?)
• scientific article; zbMATH DE number 2080240 (Why is no real title available?)
• scientific article; zbMATH DE number 2080994 (Why is no real title available?)
• Decomposition of a system of incompletely specified Boolean functions defined with a binary decision diagram
• Experimental comparison of decomposition methods for systems of Boolean function

Describes a project that uses

Uses Software

• ROBDD

This page was built for publication: Ordered binary decision diagrams as knowledge-bases

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