Login / Signup
An Improved Incremental Algorithm for Generating Prime Implicates.
Johan de Kleer
Published in:
AAAI (1992)
Keyphrases
</>
prime implicates
prime implicants
normal form
belief change
modal logic
desirable properties
knowledge compilation
complexity theoretic
natural language
belief revision
propositional logic
abductive reasoning
relational databases
natural language processing
description logics
boolean functions