Leveraging the learning power of examples in automated constraint acquisition

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3258, Issue , 2004, Pages 123-137

  Bessiere, Christian ^a   Coletta, Remi ^a   Freuder, Eugene C ^b   O'Sullivan, Barry ^b  

^a LIRMM   (France)

^b UNIVERSITY COLLEGE CORK   (Ireland)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER PROGRAMMING; CONSTRAINT THEORY; LEARNING SYSTEMS; PROBLEM SOLVING; SEMANTICS;

ACQUISITION PROCESS; COMPLEX COMBINATORIAL PROBLEM; CONSTRAINT PROGRAMMING; CONSTRAINT PROGRAMMING TECHNOLOGY; CONSTRAINT TECHNOLOGY; REAL-WORLD;

CONSTRAINT SATISFACTION PROBLEMS;

EID: 35048898849     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30201-8_12     Document Type: Article

References (10)

1. C.W. Choi, J.H.M. Lee, and P.J. Stuckey. Propagation redundancy in redundant modelling. In Proceedings of CP-2003, volume LNCS 2833, pages 229-243. Springer, September 2003.
2. R. Coletta, C. Bessiere, B. O'Sullivan, E.C. Freuder, S. O'Connell, and J. Quinqueton. Constraint acquisition as semi-automatic modeling. In Proceedings of AI'03, pages 111-124.
3. A. Dechter and R. Dechter. Removing redundancies in constraint networks. In Proceedings of AAAI-87, pages 105-109, 1987.
4. R. Dechter and P. van Beek. Local and global relational consistency. Theoretical Computer Science, 173(1):283-308, 1997.
5. A. Mackworth. Consistency in networks of relations. Artificial Intelligence, 8:99-118, 1977.
6. T. Mitchell. Generalization as search. Artificial Intelligence, 18(2):203-226, 1982.
7. R. Monasson, R. Zecchina, S. Kirkpatrick, B. Selman, and L. Ttroyansky. Determining computational complexity from characteristic 'phase transition'. Nature, 400:133-137, 1999.
8. C.D. Page and A.M. Frisch. Generalization and learnability: A study of constrained atoms. In S.H.. Muggleton, editor, Inductive Logic Programming, pages 29-61. 1992.
9. M. Sebag. Delaying the choice of bias: A disjunctive version space approach. In Proceedings of ICML-1996, pages 444-452, 1996.
10. B.M. Smith. Succeed-first or fail-first: A case study in variable and value ordering. In Proceedings of PACT-1997, pages 321-330, 1997.