HyLoRes 1.0: Direct Resolution for Hybrid Logics.

Carlos Areces Juan Heguiabehere

Published in: CADE (2002)

Keyphrases

high resolution
expressive power
consequence finding
low resolution
super resolution
valued logic
inference rules
fuzzy logic
image sequences
higher order
data sets
search space
website
hybrid learning
sampling rate
nonmonotonic logics
hybrid approaches
artificial intelligence
databases