Partial Evaluation with Inference Rules.

Laurent Hascoët

Published in: New Gener. Comput. (1988)

Keyphrases

inference rules
partial evaluation
explanation based generalization
modal logic
first order logic
theorem prover
xpath queries
temporal logic
logical framework
sequent calculus
artificial intelligence
domain theory
data mining
machine learning
bayesian networks
object oriented