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

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

Published in: KR (2023)

Keyphrases

expressive power
deductive databases
query answering
transitive closure
query language
integrity constraints
real time
computer vision
point correspondences
shape similarity
artificial intelligence
relational databases
data warehouse
logic programming
datalog programs