Login / Signup
An Early Use of Continuations and Partial Evaluation for Compiling Rules Written in First-Order Predicate Calculus.
Erik Sandewall
Published in:
High. Order Symb. Comput. (1999)
Keyphrases
</>
partial evaluation
explanation based generalization
association rules
rule sets
pairwise
low level
decision rules
databases
learning algorithm
face recognition
classification rules
modal logic
domain theory
xpath queries