Login / Signup
Monotonicity in Intuitionistic Minimal Change Semantics Given Gärdenfors' Triviality Result.
Xinghan Liu
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