C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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