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