Call-by-Value, Call-by-Name and the Logic of Values.

Robert F. Stärk

Published in: CSL (1996)

Keyphrases

logic programming
database
user defined
classical logic
attribute values
automated reasoning
multi valued
data sets
machine learning
standard deviation
computational properties