Recycling computed answers in rewrite systems for abduction.

Fangzhen Lin Jia-Huai You

Published in: ACM Trans. Comput. Log. (2007)

Keyphrases

rewrite systems
term rewriting
knuth bendix
quantifier free
active rules
logic programming
background knowledge
spatial data
natural language
programming language