Logicality of conditional rewrite systems.

Toshiyuki Yamada Jürgen Avenhaus Carlos Loría-Sáenz Aart Middeldorp

Published in: Theor. Comput. Sci. (2000)

Keyphrases

rewrite systems
term rewriting
active rules
knuth bendix
quantifier free
conditional probabilities
database
artificial intelligence
knowledge base
data management
theorem prover
theorem proving