Lost in translation: Language independence in propositional logic - application to belief change.

Pierre Marquis Nicolas Schwind

Published in: Artif. Intell. (2014)

Keyphrases

propositional logic
belief change
belief revision
horn logic
first order logic
possibilistic logic
prime implicates
quantified boolean formulae
default reasoning
programming language
minimal change
belief update
knowledge base
knowledge representation
expert systems
target language
belief set