J. Puget, Constraint Programming Next Challenge: Simplicity of Use, International Conference on Constraint Programming, pp.5-8, 2004.
DOI : 10.1007/978-3-540-30201-8_2

B. M. Smith, T. W. Rossi, and P. Van-beek, Modelling, Handbook of Constraint Programming, pp.377-406, 2006.
DOI : 10.1016/S1574-6526(06)80015-5
URL : https://hal.archives-ouvertes.fr/hal-00631613

C. Bessì-ere, R. Coletta, F. Koriche, and B. O. Sullivan, Acquiring constraint networks using a sat-based version space algorithm, AAAI, 2006.

R. Coletta, C. Bessì-ere, B. O-'sullivan, E. C. Freuder, S. O. Connell et al., Semi-automatic modeling by constraint acquisition, CP, ser. Lecture Notes in Computer Science, F. Rossi, pp.812-816, 2003.
DOI : 10.1007/978-3-540-45193-8_58
URL : https://hal.archives-ouvertes.fr/lirmm-00269537

C. Bessì-ere, R. Coletta, B. O. Sullivan, and M. Paulin, Query-driven constraint acquisition, pp.50-55, 2007.

P. V. Hentenryck, The OPL optimization programming language, 1999.

A. M. Frisch, M. Grum, C. Jefferson, B. M. Hernández, and I. Miguel, The design of essence: A constraint language for specifying combinatorial problems, IJCAI, M. M. Veloso, pp.80-87, 2007.

N. Nethercote, P. J. Stuckey, R. Becket, S. Brand, G. J. Duck et al., Minizinc: Towards a standard cp modelling language On the connection between the phase transition of the covering test and the learning success rate in ilp, CP Machine Learning, pp.529-543, 2007.

K. Marriott, N. Nethercote, R. Rafeh, P. J. Stuckey, M. G. De et al., The Design of the Zinc Modelling Language, Constraints, vol.84, issue.1, pp.229-267, 2008.
DOI : 10.1007/s10601-008-9041-4

W. V. Laer, From propositional to first order logic in machine learning and data mining, 2002.

J. Furnkranz, Separate-and-conquer rule learning, Artificial Intelligence Review, vol.13, issue.1, pp.3-54, 1999.
DOI : 10.1023/A:1006524209794

J. R. Quinlan, R. M. Cameron, and -. , FOIL: A midterm report, ECML, ser. Lecture Notes in Computer Science, pp.3-20, 1993.
DOI : 10.1007/3-540-56602-3_124

S. Muggleton, Inverse entailment and progol, Special issue on Inductive Logic Programming, pp.245-286, 1995.
DOI : 10.1007/BF03037227
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.31.1630

L. D. Raedt and W. V. Laer, Inductive constraint logic, ALT, pp.80-94, 1995.
DOI : 10.1007/3-540-60454-5_30
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.53.3351

L. P. Tang, Integrating top-down and bottom-up approaches in inductive logic programming: applications in natural language processing and relational data mining Extension of the top-down data-driven strategy to ilp, ILP, ser. Lecture Notes in Computer Science, S. Muggleton, R. P. Otero, and A. Tamaddoni-Nezhad, pp.49-63, 2003.

A. Serra, A. Giordana, and L. Saitta, Learning on the phase transition edge, IJCAI, pp.921-926, 2001.

M. Lopez, L. Martin, and C. Vrain, Learning Discriminant Rules as a Minimal Saturation Search, ILP, 2010.
DOI : 10.1007/978-3-642-21295-6_18
URL : https://hal.archives-ouvertes.fr/hal-00483753

A. Srinivasan, A learning engine for proposing hypotheses (Aleph)

C. Bessiere, J. Quinqueton, and G. Raymond, Mining historical data to build constraint viewpoints, Proceedings CP'06 Workshop on Modelling and Reformulation, pp.1-16, 2006.
URL : https://hal.archives-ouvertes.fr/lirmm-00134936

J. Charnley, S. Colton, and I. Miguel, Automatic generation of implied constraints, ECAI, pp.73-77, 2006.

C. Bessì-ere, R. Coletta, and T. Petit, Learning implied global constraints, IJCAI, pp.44-49, 2007.