Efficient Unification of Quantified Terms.

John Staples Peter J. Robinson

Published in: J. Log. Program. (1988)

Keyphrases

real time
multimedia
cost effective
higher order
function symbols
database
high efficiency
computationally expensive
background knowledge
lightweight
logic programs
co occurrence
multiresolution
pairwise
case study
data mining
databases