Rensets and Renaming-Based Recursion for Syntax with Bindings Extended Version.

Published in: J. Autom. Reason. (2023)

Keyphrases

datalog programs
database
databases
learning algorithm
high level
similarity measure
natural language
complex objects
data sets
neural network
image processing
reinforcement learning
evolutionary algorithm