Algorithmic correspondence for hybrid logic with binder.

Published in: Log. J. IGPL (2023)

Keyphrases

logic programming
point correspondences
asynchronous circuits
hybrid approaches
logic programs
data mining
genetic algorithm
learning algorithm
website
bayesian networks
modal logic
hybrid learning
automated reasoning
probabilistic logic
set theory
correspondence matching