Double rewriting for equivalential reasoning in ACL2.

Matt Kaufmann J Strother Moore

Published in: ACL2 (2006)

Keyphrases

knowledge base
knowledge representation
reasoning tasks
reasoning systems
natural language learning
production rules
analogical reasoning
genetic algorithm
logic programming
spatial reasoning
qualitative reasoning
uncertain information
datalog programs
queries using views