A Language for Programming in Logic with Finite Sets.

Agostino Dovier Eugenio G. Omodeo Enrico Pontelli Gianfranco Rossi

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

Keyphrases

finite sets
programming language
piecewise linear
logic programming
programs written
linearly separable
domain knowledge
data sets
semi supervised learning
learning tasks