Relationship among different constructive models of belief revision.

Hua Meng Hailiang Zhao Jielei Chu

Published in: ICCA (2017)

Keyphrases

belief revision
default reasoning
belief change
propositional logic
belief update
plausible inference
knowledge base
logical framework
probabilistic model
logical properties
revision operators
logic programming
nonmonotonic reasoning