Login / Signup
Lost in Translation: Language Independence in Propositional Logic - Application to Belief Revision and Belief Merging.
Pierre Marquis
Nicolas Schwind
Published in:
IJCAI (2011)
Keyphrases
</>
belief revision
belief merging
propositional logic
default reasoning
belief change
nonmonotonic reasoning
knowledge base
possibilistic logic
logical properties
belief update
logical framework
belief base
temporal logic
minimal change
belief state
programming language
merging operators
natural language