A General Framework for Pattern-Driven Modal Tableaux.

Luis Fariñas del Cerro Olivier Gasquet

Published in: Log. J. IGPL (2002)

Keyphrases

modal logic
pattern matching
data driven
decision procedures
learning algorithm
image processing
functional dependencies
inference rules
pattern generation
decision making
image segmentation
special case
hidden markov models
temporal logic
nonmonotonic logics