Login / Signup
Compiling Stratified Belief Bases.
Sylvie Coste-Marquis
Pierre Marquis
Published in:
ECAI (2000)
Keyphrases
</>
belief base
belief merging
belief revision
logical properties
belief change
possibilistic logic
merging operators
preference relations
update operators
knowledge base
revision operators
horn logic
horn contraction