Queries revisited, Theoretical Computer Science, vol.313, pp.175-194, 2004. ,
Principles of Constraint Programming, 2003. ,
Global constraint catalogue: Past, present and future, Constraints, vol.12, issue.1, pp.21-62, 2007. ,
A model seeker: Extracting global constraint models from positive examples, Proceedings of the Seventeenth International Conference on Principles and Practice of Constraint Programming (CP'12), vol.7514, pp.141-157, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00754341
Leveraging the learning power of examples in automated constraint acquisition, Proceedings CP'04, pp.123-137, 2004. ,
URL : https://hal.archives-ouvertes.fr/lirmm-00108774
Constraint acquisition via partial queries, Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence (IJCAI'13), pp.475-481, 2013. ,
URL : https://hal.archives-ouvertes.fr/lirmm-00830325
A SAT-based version space algorithm for acquiring constraint satisfaction problems, Proceedings of the European Conference on Machine Learning (ECML'05), vol.3720, pp.23-34, 2005. ,
URL : https://hal.archives-ouvertes.fr/lirmm-00106044
Acquiring constraint networks using a SAT-based version space algorithm, Proceedings AAAI'06, pp.1565-1568, 2006. ,
URL : https://hal.archives-ouvertes.fr/lirmm-00135484
Query-driven constraint acquisition, Proceedings IJCAI'07, pp.44-49, 2007. ,
URL : https://hal.archives-ouvertes.fr/lirmm-00195905
Learning implied global constraints, Proceedings IJCAI'07, pp.50-55, 2007. ,
URL : https://hal.archives-ouvertes.fr/lirmm-00195896
Fast learning of k-term dnf formulas with queries, Journal of Computer and System Sciences, vol.51, issue.3, pp.367-373, 1995. ,
Asking questions to minimize errors, J. Comput. Syst. Sci, vol.52, issue.2, pp.268-286, 1996. ,
Propositional Logic: Decution and Algorithms. Cambridge Tracts in Theoretical Computer Science, 48. Cambridge, 1999. ,
Tractable constraint languages, Constraint Processing, 2003. ,
, Constraint Processing, 2003.
Local and global relational consistency. Theoretical Computer Science, vol.173, pp.283-308, 1997. ,
Linear-time algorithms for testing the satisfiability of propositional horn formulae, Journal of Logic Programming, vol.1, issue.3, pp.267-284, 1984. ,
Machine Learning: The Art and Science of Algorithms that Make Sense of Data, 2012. ,
Modeling: The final frontier, 1st International Conference on the Practical Applications of Constraint Technologies and Logic Programming, pp.15-21, 1999. ,
The rules of constraint modelling, 19th International Joint Conference on Artificial Intelligence (IJCAI'05), pp.109-116, 2005. ,
, Csplib: a benchmark library for constraints, 1999.
The common order-theoretic structure of version spaces and atms's, 9th National Conference on Artificial Intelligence (AAAI), pp.500-505, 1991. ,
Quantifying inductive bias: AI learning algorithms and Valiant's learning framework, Artificial Intelligence, vol.36, pp.177-221, 1988. ,
Version spaces and the consistency problem, Artificial Intelligence, vol.156, issue.2, pp.115-138, 2004. ,
On learning constraint problems, Proceedings of the 22nd IEEE International Conference on Tools for Artificial Intelligence (IEEE-ICTAI'10), pp.45-52, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-01016891
Globalizing constraint models, Proceedings of the Eighteenth International Conference on Principles and Practice of Constraint Programming (CP'13), vol.8124, pp.432-447, 2013. ,
Generalization as search, AI Journal, vol.18, issue.2, pp.203-226, 1982. ,
Determining computational complexity from characteristic 'phase transition', Nature, vol.400, pp.133-137, 1999. ,
Automatic design of robot behaviors through constraint network acquisition, Proceedings of the 20th IEEE International Conference on Tools for Artificial Intelligence (IEEE-ICTAI'08), pp.275-282, 2008. ,
Logical and Relational Learning. Cognitive Technologies, 2008. ,
, Clasual discovery. Machine Learning, vol.26, pp.99-146, 1997.
Handbook of Constraint Programming. Foundations of Artificial Intelligence, 2006. ,
Argumentation based constraint acquisition, Proceedings of the Ninth IEEE International Conference on Data Mining (ICDM'09), pp.476-482, 2009. ,
Modelling, Handbook of Constraint Programming, chapter 21, 2006. ,
URL : https://hal.archives-ouvertes.fr/hal-00631613
Incremental non-backtracking focusing: A polynomially bounded generalization algorithm for version spaces, Proceedings of the 8th National Conference on Artificial Intelligence (AAAI'90), pp.848-853, 1990. ,
A theory of the learnable, Communications of the ACM, vol.27, issue.11, pp.1134-1142, 1984. ,