Compiling Actions by Partial Evaluation.

Anders Bondorf Jens Palsberg

Published in: FPCA (1993)

Keyphrases

partial evaluation
explanation based generalization
situation calculus
logic programming
domain theory
xpath queries
databases
artificial intelligence
higher order