Rensets and Renaming-Based Recursion for Syntax with Bindings.

Published in: CoRR (2022)

Keyphrases

datalog programs
complex objects
deductive databases
high level
query answering
data mining
decision making
fixpoint
syntactic semantic
neural network
integrity constraints
special case
artificial neural networks
relational databases
natural language
objective function
similarity measure
website
image processing