An Intensional Logic of (Multi-Arity) Set Abstractions.

Weidong Chen David Scott Warren

Published in: ICLP (1991)

Keyphrases

logic programming
data sets
feature selection
high level
higher order
user defined