Parallel interpolation, splitting, and relevance in belief change.

George Kourousias David Makinson

Published in: J. Symb. Log. (2007)

Keyphrases

belief change
belief revision
belief update
propositional logic
minimal change
prime implicates
probability theory
horn logic
artificial intelligence
knowledge base
domain knowledge
belief functions
default reasoning
epistemic states
belief set