On the Correspondence Between Monotonic Max-Sum GNNs and Datalog.

David Tena Cucala Bernardo Cuenca Grau Boris Motik Egor V. Kostylev

Published in: CoRR (2023)

Keyphrases

expressive power
query answering
datalog programs
deductive databases
logic programming
query language
integrity constraints
computer vision
point correspondences
image matching
similarity measure
feature matching
transitive closure
stereo correspondence
data mining
relational calculus
database languages