A new framework for declarative programming.

Stacy E. Finkelstein Peter J. Freyd James Lipton

Published in: Theor. Comput. Sci. (2003)

Keyphrases

main contribution
database
machine learning
high level
np hard
probabilistic model