Pages that link to "Item:Q917336"

The following pages link to An incremental method for generating prime implicants/implicates (Q917336):

Displaying 19 items.

• Prime forms and minimal change in propositional belief bases (Q622590) (← links)
• Efficient query processing with reduced implicate tries (Q877893) (← links)
• A generic approach to planning in the presence of incomplete information: theory and implementation (Q899156) (← links)
• An incremental method for generating prime implicants/implicates (Q917336) (← links)
• Computational aspects of monotone dualization: a brief survey (Q943839) (← links)
• Polynomial-time algorithms for generation of prime implicants (Q1190532) (← links)
• Characterizing diagnoses and systems (Q1199913) (← links)
• Linear resolution for consequence finding (Q1199916) (← links)
• The approximation of implicates and explanations (Q1308780) (← links)
• An SE-tree-based prime implicant generation algorithm (Q1924815) (← links)
• A superposition calculus for abductive reasoning (Q2013317) (← links)
• First order LUB approximations: characterization and algorithms (Q2457687) (← links)
• Support set selection for abductive and default reasoning (Q2674205) (← links)
• Quantifier-Free Equational Logic and Prime Implicate Generation (Q3454103) (← links)
• Revision in ACMS (Q4018177) (← links)
• Computing prime implicants via transversal clauses (Q4243266) (← links)
• Temporal Logic Modeling of Biological Systems (Q5213786) (← links)
• Abductive Reasoning on Molecular Interaction Maps (Q5214097) (← links)
• (Q5389723) (← links)