Loop checking in partial deduction.

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

Keyphrases

partial deduction
logic programs
viewpoint
feedback loop
information retrieval
knowledge base
metadata
multimedia
multi agent
data streams
pairwise
high dimensional
artificial neural networks