Optimizing Term Rewriting Using Discrimination Nets With Specialization.

Kazuhiro Ogata Shigenori Ioroi Kokichi Futatsugi

Published in: SAC (1999)

Keyphrases

term rewriting
theorem proving
theorem prover
knuth bendix
operational semantics
rewrite systems
databases
first order logic
artificial intelligence
object oriented
data sets
reinforcement learning
expert systems
model checking