Login / Signup
On contraction and the modal fragment.
Kai Brünnler
Dieter Probst
Thomas Studer
Published in:
Math. Log. Q. (2008)
Keyphrases
</>
modal logic
belief change
belief revision
databases
artificial intelligence
image sequences
genetic algorithm
learning algorithm
computer vision
multiscale
reinforcement learning
search algorithm
recommender systems
np complete
nonmonotonic logics