Recycling Computed Answers in Rewrite Systems for Abduction

Fangzhen Lin Jia-Huai You

Published in: CoRR (2004)

Keyphrases

rewrite systems
term rewriting
active rules
knuth bendix
quantifier free
databases
logic programming
background knowledge
operational semantics