Belief Update for Proper Epistemic Knowledge Bases.

Tim Miller Christian J. Muise

Published in: IJCAI (2016)

Keyphrases

belief update
belief change
belief revision
knowledge base
belief base
description logics
minimal change
propositional logic
formal theory
possibilistic logic
computational properties
nonmonotonic reasoning
knowledge representation
logic programming
belief state
logical framework
expert systems