Quantified class constraints.

Gert-Jan Bottu Georgios Karachalias Tom Schrijvers Bruno C. d. S. Oliveira Philip Wadler

Published in: Haskell (2017)

Keyphrases

constrained optimization
knowledge base
bayesian networks
co occurrence
multi class classification
database
artificial intelligence
similarity measure
search algorithm
linear program
geometric constraints
resource constraints