On the Logic of Iterated Non-prioritised Revision.

Published in: WCII (2002)

Keyphrases

soft constraints
knowledge base
belief revision
logic programming
sound and complete axiomatization
modal logic
defeasible logic
horn logic
set theory
multi valued
logical framework
belief change
proof theory
epistemic logic
data sets
search algorithm
artificial intelligence
learning algorithm
neural network