Commutative Rational Term Rewriting.

Mamoru Ishizuka Takahito Aoto Munehiro Iwami

Published in: LATA (2021)

Keyphrases

term rewriting
theorem proving
theorem prover
rewrite systems
operational semantics
knuth bendix
decision making
special case
databases
neural network
machine learning
relational databases
intelligent systems
bounded rationality