Constructive interpolation in hybrid logic.

Patrick Blackburn Maarten Marx

Published in: J. Symb. Log. (2003)

Keyphrases

multi valued
image interpolation
classical logic
data sets
hybrid learning
predicate logic
information retrieval
expert systems
learning algorithm
image processing
image quality
model checking
modal logic
logical framework
asynchronous circuits
hybrid approaches