Search Sciweavers | Sciweavers

1749 search results - page 10 / 350

» Logic, Optimization, and Constraint Programming

click to vote

KDD
2008
ACM

146views Data Mining» more KDD 2008»

Constraint programming for itemset mining

14 years 8 months ago

Download www.cs.kuleuven.be

The relationship between constraint-based mining and constraint programming is explored by showing how the typical constraints used in pattern mining can be formulated for use in ...

Luc De Raedt, Tias Guns, Siegfried Nijssen

claim paper

Read More »

click to vote

ICLP
1999
Springer

153views Automated Reasoning» more ICLP 1999»

Logic Programming in Oz with Mozart

13 years 12 months ago

Download www.info.ucl.ac.be

Oz is a multiparadigm language that supports logic programming as one of its major paradigms. A multiparadigm language is designed to support diﬀerent programming paradigms (log...

Peter Van Roy

claim paper

Read More »

click to vote

ICFP
2008
ACM

160views Programming Languages» more ICFP 2008»

From ML to MLF: graphic type constraints with efficient type inference

14 years 7 months ago

Download gallium.inria.fr

MLF is a type system that seamlessly merges ML-style type inference with System-F polymorphism. We propose a system of graphic (type) constraints that can be used to perform type ...

Boris Yakobowski, Didier Rémy

claim paper

Read More »

click to vote

IJCAI
2007

153views Artificial Intelligence» more IJCAI 2007»

New Constraint Programming Approaches for the Computation of Leximin-Optimal Solutions in Constraint Networks

13 years 9 months ago

Download www.cert.fr

Sylvain Bouveret, Michel Lemaître

claim paper

Read More »