Ordered binary decision diagrams as knowledge-bases

DOI10.1016/S0004-3702(02)00119-4zbMATH Open0995.68105OpenAlexW1969046334MaRDI QIDQ1605409FDOQ1605409

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

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

zbMATH Keywords

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

Mathematics Subject Classification ID

Knowledge representation (68T30)

Cites Work

• Graph-Based Algorithms for Boolean Function Manipulation
• Title not available (Why is that?)
• A theory of the learnable
• On the complexity of VLSI implementations and graph representations of Boolean functions with application to integer multiplication
• Binary Decision Diagrams
• Title not available (Why is that?)
• Structure identification in relational data
• Linear-time algorithms for testing the satisfiability of propositional horn formulae
• Reasoning with models
• The complexity of logic-based abduction
• Horn approximations of empirical data
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• OBDDs of a monotone function and its prime implicants
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (8)

• Minimization of binary decision diagrams for systems of incompletely defined Boolean functions
• Reasoning with ordered binary decision diagrams
• Translation among CNFs, characteristic models and ordered binary decision diagrams
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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

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)