Ground Confluence and Strong Commutation Modulo Alpha-Equivalence in Nominal Rewriting.

Kentaro Kikuchi

Published in: ICTAC (2022)

Keyphrases

datalog programs
fuzzy control
neural network
query rewriting
rewrite rules
learning algorithm
artificial intelligence
knowledge base
high level
relational databases
data management
definite clause
rewrite systems