Project publications | EU FET-Open: Inductive Constraint Programming

In Press

Constraint Acquisition

C. Bessiere; F. Koriche; N. Lazaar; B. O'Sullivan
In: Artificial Intelligence In Press (bibtex) (pdf)

2015

Multiple Constraint Acquisition

R. Arcangioli; N. Lazaar
In: Workshop on Intelligent Personalization (at IJCAI) 2015 (bibtex)
Constraint-Based Querying for Bayesian Network Exploration

B. Babaki; T. Guns; S. Nijssen; L. De Raedt
In: Intelligent Data Analysis 2015 (bibtex)
Multi-Armed Bandits for Adaptive Constraint Propagation

A. Balafrej; C. Bessiere; A. Paparrizou
In: Proceedings IJCAI'15 2015 (bibtex)
Strong Bounds Consistencies and Their Application to Linear Constraints

C. Bessiere; A. Paparrizou; K. Stergiou
In: Proceedings AAAI'15 2015 (bibtex)
Constrained Clustering by Constraint Programming.

T.B.H. Dao; K.C. Duong; C. Vrain
In: Artificial Intelligence Journal 2015 (bibtex)
Languages for learning and mining

L. De Raedt
In: Proceedings 29th AAAI Conference on Artificial Intelligence, AAAI, Austin, Texas, US, 25-30 January 2015 2015 (bibtex) (link)
Clustering Formulation using Constraint Optimization

V. Grossi; A. Monreale; M. Nanni; D. Pedreschi; F. Turini
In: SEFM Workshops 2015 (bibtex)
Decomposition Based SAT Encodings for Itemset Mining

S. Jabbour; L. Sais; Y. Salhi
In: The 19th Pacific-Asia Conference on Knowledge Discovery and Data Mining (PAKDD'2015) 2015 (bibtex)
Find Your Way Back: Mobility Profile Mining with Constraints

L. Kotthoff; M. Nanni; R. Guidotti; B. O'Sullivan
In: 21st International Conference on Principles and Practice of Constraint Programming (CP 2015) 2015 (bibtex)
Rank matrix factorisation

T. Le Van; M. van Leeuwen; S. Nijssen; L. De Raedt
In: Proceedings of the 19th Pacific-Asia Conference on Knowledge Discovery and Data Mining, The 19th Pacific-Asia conference on knowledge discovery and data mining (PAKDD 2015), HoChiMinh City, VietNam, 19-22 May 2015 2015 (bibtex) (link) (10.1007/978-3-319-18038-0_57)
Constraint-based sequence mining using constraint programming

B. Negrevergne; T. Guns
In: Integration of AI and OR Techniques in Constraint Programming, Barcelona, Spain, 18-22 May 2015 2015 (bibtex) (link) (10.1007/978-3-319-18008-3_20)
Mini{S}earch: a solver-independent meta-search language for {M}ini{Z}inc

A. Rendl; T. Guns; P.J. Stuckey; G. Tack
In: Principles and Practice of Constraint Programming 2015 (bibtex) (link)

2014

Constrained Clustering using Column Generation

B. Babaki; T. Guns; S. Nijssen
In: CPAIOR 2014 (bibtex) (pdf) (10.1007/978-3-319-07046-9_31)
Adaptive Singleton-based Consistencies

A. Balafrej; C. Bessiere; E.H. Bouyakhf; G. Trombettoni
In: Proceedings AAAI'14 2014 (bibtex)
Boosting Constraint Acquisition via Generalization Queries

C. Bessiere; R. Coletta; A. Daoudi; N. Lazaar; Y. Mechqrane; E.H. Bouyakhf
In: Proceedings ECAI'14 2014 (bibtex) (10.3233/978-1-61499-419-0-99)
Global Constraints in Distributed Constraint Satisfaction and Optimization

C. Bessiere; I. Brito; P. Gutierrez; P. Meseguer
In: The Computer Journal 2014 (bibtex) (10.1093/comjnl/bxt088)
Solve a Constraint Problem Without Modeling It

C. Bessiere; R. Coletta; N. Lazaar
In: Proceedings IEEE-ICTAI'14 2014 (bibtex) (10.1109/ictai.2014.12)
Uncovering Hierarchical and Overlapping Communities with a Local-First Approach

M. Coscia; G. Rossetti; F. Giannotti; D. Pedreschi
In: TKDD 2014 (bibtex) (10.1145/2629511)
Learning constraint satisfaction problems: An ILP perspective

L. De Raedt; A. Dries; T. Guns; C. Bessiere
In: International Conference on Inductive Logic Programming (ILP'14) 2014 (bibtex)
Algorithm Configuration in the Cloud: A Feasibility Study

D. Geschwender; F. Hutter; L. Kotthoff; Y. Malitsky; H. Hoos; K. Leyton-Brown
In: LION 2014 (bibtex)
Retrieving Points of Interest from Human Systematic Movements

R. Guidotti; A. Monreale; S. Rinzivillo; D. Pedreschi; F. Giannotti
In: SEFM Workshops 2014 (bibtex) (10.1007/978-3-319-15201-1_19)
Transformation-based Feature Computation for Algorithm Portfolios

B. Hurley; S. Kadioglu; Y. Malitsky; B. O'Sullivan
In: CoRR 2014 (bibtex) (link)
Proteus: A Hierarchical Portfolio of Solvers and Transformations

B. Hurley; L. Kotthoff; Y. Malitsky; B. O'Sullivan
In: CPAIOR 2014 (bibtex) (10.1007/978-3-319-07046-9_22)
Ranking Algorithms by Performance

L. Kotthoff
In: LION 2014 (bibtex)
Algorithm Selection for Combinatorial Search Problems: A Survey

L. Kotthoff
In: AI Magazine 2014 (bibtex)
Ranked tiling

T. Le Van; M. van Leeuwen; S. Nijssen; A.Carolina E. Gutiérrez; K. Marchal; L. De Raedt
In: Proceedings of the European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECML PKDD) 2014 (bibtex) (link) (10.1007/978-3-662-44851-9_7)
A Portfolio Approach to Enumerating Minimal Correction Subsets for Satisfiability Problems

Y. Malitsky; B. O'Sullivan; A. Previti; J. Marques-Silva
In: CPAIOR 2014 (bibtex) (10.1007/978-3-319-07046-9_26)
Improving Relational Consistency Algorithms Using Dynamic Relation Partitioning

A. Schneider; R.J. Woodward; B.Y. Choueiry; C. Bessiere
In: Proceedings CP'14 2014 (bibtex) (10.1007/978-3-319-10428-7_50)
Adaptive Parameterized Consistency for Non-Binary CSPs by Counting Supports

R.J. Woodward; A. Schneider; B.Y. Choueiry; C. Bessiere
In: Proceedings CP'14 2014 (bibtex) (10.1007/978-3-319-10428-7_54)

2013

Features for Exploiting Black-Box Optimization Problem Structure

T. Abell; Y. Malitsky; K. Tierney
In: Learning and Intelligent Optimization Conference 2013 (bibtex) (pdf) (10.1007/978-3-642-44973-4_4)
Adaptive Parameterized Consistency

A. Balafrej; C. Bessiere; R. Coletta; E.H. Bouyakhf
In: International Conference on Principles and Practice of Constraint Programming 2013 (bibtex) (10.1007/978-3-642-40627-0_14)
Cohérences Locales Paramétrées

A. Balafrej; C. Bessiere; R. Coletta; E.H. Bouyakhf
In: Journées Francophones de Programmation par Contraintes 2013 (bibtex) (pdf)
Constraint Acquisition via Partial Queries

C. Bessiere; R. Coletta; E. Hebrard; G. Katsirelos; N. Lazaar; N. Narodytska; C.G. Quimper; T. Walsh
In: International Joint Conference on Artificial Intelligence 2013 (bibtex)
SNNAP: Solver-based Nearest Neighbor for Algorithm Portfolios

M. Collautti; Y. Malitsky; D. Mehta; B. O'Sullivan
In: ECMLPKDD 2013 (bibtex) (10.1007/978-3-642-40994-3_28)
Relational Decomposition using Answer Set Programming

L. De Raedt; S. Paramonov; M. van Leeuwen
In: First International Workshop on Learning and Nonmonotonic Reasoning (LNMR) 2013 (bibtex)
Relational Decomposition using Answer Set Programming

L. De Raedt; S. Paramonov; M. van Leeuwen
In: International Conference on Inductive Logic Programming 2013 (bibtex)
DASH: Dynamic Approach for Switching Heuristics

G. Di Liberto; S. Kadioglu; K. Leo; Y. Malitsky
In: CoRR 2013 (bibtex) (link)
Active Preference Learning for Ranking Patterns

V. Dzyuba; M. van Leeuwen; S. Nijssen; L. De Raedt
In: International Conference on Tools with Artificial Intelligence (ICTAI 2013) 2013 (bibtex) (pdf) (10.1109/ictai.2013.85)
Formalizing Hierarchical Clustering as Integer Linear Programming

S. Gilpin; S. Nijssen; I. Davidson
In: AAAI Conference on Artificial Intelligence 2013 (bibtex) (pdf)
The MiningZinc Framework for Constraint-based Itemset Mining (demo)

T. Guns; A. Dries; G. Tack; S. Nijssen; L. De Raedt
In: International Conference on Data Mining (demo track) 2013 (bibtex) (pdf) (10.1109/icdmw.2013.38)
MiningZinc: A Language for Constraint-based Mining

T. Guns; A. Dries; G. Tack; S. Nijssen; L. De Raedt
In: International Joint Conference on Artificial Intelligence 2013 (bibtex) (pdf)
LLAMA: Leveraging Learning to Automatically Manage Algorithms

L. Kotthoff
In: CoRR 2013 (bibtex) (link)
Tuning Parameters of Large Neighborhood Search for the Machine Reassignment Problem

Y. Malitsky; D. Mehta; B. O'Sullivan; H. Simonis
In: International Conference on Integration of Artificial Intelligence and Operations Research 2013 (bibtex) (pdf) (10.1007/978-3-642-38171-3_12)
Lazy Branching for Constraint Satisfaction

D. Mehta; B. O'Sullivan; L. Kotthoff; Y. Malitsky
In: ICTAI 2013 (bibtex) (10.1109/ICTAI.2013.152)
Quantification Trees

L. Milli; A. Monreale; G. Rossetti; F. Giannotti; D. Pedreschi; F. Sebastiani
In: International Conference on Data Mining (ICDM) 2013 (bibtex) (10.1109/icdm.2013.122)
Dominance Programming for Itemset Mining

B. Negrevergne; A. Dries; T. Guns; S. Nijssen
In: International Conference on Data Mining (ICDM) 2013 (bibtex) (pdf) (10.1109/icdm.2013.92)
{GAC} for a linear inequality and an atleast constraint with an application to learning simple polynomials.

N. Razakarison; M. Carlsson; N. Beldiceanu; H. Simonis
In: Sixth International Symposium on Combinatorial Search (SOCS) 2013 (bibtex)
Learning from Polyhedral Sets

S. Ruggieri
In: International Joint Conference on Artificial Intelligence 2013 (bibtex)

2012

A Model Seeker: Extracting Global Constraint Models From Positive Examples

N. Beldiceanu; H. Simonis
In: 18th International Conference on Principles and Practice of Constraint Programming (CP'12) 2012 (bibtex) (pdf) (10.1007/978-3-642-33558-7_13)
Branch and Learn pour l'acquisition de CSP

C. Bessiere; R. Coletta; F. Koriche; A. Lallouet; M. Lopez
In: JFPC'2012 : 8ièmes Journées Francophones de Programmation par Contraintes 2012 (bibtex) (pdf)
DEMON: a local-first discovery method for overlapping communities

M. Coscia; G. Rossetti; F. Giannotti; D. Pedreschi
In: 18th ACM SIGKDD international conference on Knowledge discovery and data mining (KDD'12) 2012 (bibtex) (pdf) (10.1145/2339530.2339630)
XQuake as a Constraint-Based Mining Language

V. Grossi; A. Romei
In: Workshop on Combining Constraint solving with Mining and Learning 2012 (bibtex) (pdf)
Declarative Pattern Mining using Constraint Programming

T. Guns
In: 2012 (bibtex) (link) (pdf)
Adaptation in a CBR-based solver portfolio for the satisfiability problem

B. Hurley; B. O'Sullivan
In: 20th International Conference on Case-Based Reasoning Research and Development 2012 (bibtex) (pdf) (10.1007/978-3-642-32986-9_13)
Mining Local Staircase Patterns in Noisy Data

T. Le Van; A.Carolina Fierro; T. Guns; M. van Leeuwen; S. Nijssen; L. De Raedt; K. Marchal
In: International Conference on Data Mining Workshops 2012 (bibtex) (pdf) (10.1109/icdmw.2012.83)
Parallel SAT Solver Selection and Scheduling

Y. Malitsky; A. Sabharwal; H. Samulowitz; M. Sellmann
In: Principles and Practice of Constraint Programming 2012 (bibtex) (pdf) (10.1007/978-3-642-33558-7_38)
Discovering the Geographical Borders of Human Mobility

S. Rinzivillo; S. Mainardi; F. Pezzoni; M. Coscia; D. Pedreschi; F. Giannotti
In: Künstliche Intelligenz 2012 (bibtex) (pdf) (10.1007/s13218-012-0181-8)
Deciding membership in a class of polyhedra.

S. Ruggieri
In: European Conference on Artificial Intelligence 2012 (bibtex) (10.3233/978-1-61499-098-7-702)