Some locally tabular logics with contraction and mingle.

Published in: Reports Math. Log. (2010)

Keyphrases

horn logic
modal logic
expressive power
belief change
classical logic
image processing
three dimensional
artificial intelligence
inference rules
globally consistent
image sequences
similarity measure
multiscale
fuzzy logic
neural network
propositional logic
nonmonotonic logics
machine learning