Monotonicity in Intuitionistic Minimal Change Semantics Given Gärdenfors' Triviality Result.

Published in: TLLM (2020)

Keyphrases

minimal change
belief revision
model theoretic
logical framework
logic program updates
databases
relational databases
fixed point
deductive databases
default reasoning
formal semantics
operational semantics
belief update