Sound and Complete Partial Deduction with Unfolding Based on Well-Founded Measures.

Bern Martens Danny De Schreye Maurice Bruynooghe

Published in: FGCS (1992)

Keyphrases

partial deduction
logic programs
databases
hidden markov models
petri net
learning algorithm
search engine
three dimensional
high level
multiresolution
ground truth