Argument Filterings and Usable Rules in Higher-order Rewrite Systems.

Sho Suzuki Keiichirou Kusakari Frédéric Blanqui

Published in: Inf. Media Technol. (2011)

Keyphrases

higher order
rewrite systems
active rules
term rewriting
quantifier free
knuth bendix
active databases
pairwise
theorem proving
artificial intelligence
classification rules
knowledge representation
distributed systems
production rules