Compilation as Rewriting in Higher Order Logic.

Guodong Li Konrad Slind

Published in: CADE (2007)

Keyphrases

higher order logic
higher order
theorem prover
conditional logic
logical framework
rewrite rules
rewriting rules
query rewriting
conjunctive queries
data representation
knowledge compilation
default reasoning
reasoning tasks
artificial intelligence
theorem proving
first order logic
general purpose