A sound and complete R-calculi with respect to contraction and minimal change.

Wei Li Yuefei Sui

Published in: Frontiers Comput. Sci. (2014)

Keyphrases

minimal change
belief change
belief revision
belief update
logic program updates
propositional logic
ctl model update
reasoning about actions
belief set
default reasoning
model theoretic
response time
knowledge base
propositional knowledge base
databases
modal logic
nonmonotonic reasoning
temporal logic