C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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