ACD Term Rewriting

Gregory J. Duck Peter J. Stuckey Sebastian Brand

Published in: CoRR (2006)

Keyphrases

term rewriting
theorem proving
theorem prover
operational semantics
knuth bendix
rewrite systems
first order logic
databases
training data
reinforcement learning
information extraction
autonomous agents