Unrestricted pure call-by-value recursion.

Johan Nordlander Magnus Carlsson Andy Gill

Published in: ML (2008)

Keyphrases

deductive databases
artificial intelligence
lower bound
data mining
feature selection
high level
bayesian networks
data model
special case
knowledge representation
complex objects
datalog programs