Login / Signup
Implementing Iterated Belief Change Via Prime Implicates.
Zhi Qiang Zhuang
Maurice Pagnucco
Thomas Meyer
Published in:
Australian Conference on Artificial Intelligence (2007)
Keyphrases
</>
prime implicates
prime implicants
normal form
belief change
knowledge compilation
desirable properties
modal logic
abductive reasoning
boolean functions
propositional logic
database
belief revision
knowledge base
search algorithm
complexity theoretic