Non-characterizability of belief revision: an application of finite model theory.

György Turán Jon Yaggie

Published in: CoRR (2014)

Keyphrases

belief revision
finite model theory
database theory
belief change
propositional logic
default reasoning
logical properties
minimal change
open problems
nonmonotonic reasoning
knowledge base
belief update
possibilistic logic
belief state
normal form
database
programming language
cost based abduction