Algorithmic Correspondence for Hybrid Logic with Binder.

Published in: CoRR (2021)

Keyphrases

hybrid learning
multi valued
hybrid approaches
logic programming
modal logic
pixel wise
automated reasoning
data mining
computer vision
clustering algorithm
bayesian networks
object recognition
description logics
image matching
predicate logic