Semiring-based constraint acquisition

Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI

Volumn 1, Issue , 2007, Pages 251-258

  Vu, Xuan Ha ^a   O'Sullivan, Barry ^a  

^a UNIVERSITY COLLEGE CORK   (Ireland)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER OPERATING PROCEDURES; COMPUTER PROGRAMMING; CONSTRAINT THEORY; CYBERNETICS; OPTIMIZATION; PROBABILITY;

CONSTRAINT PROGRAMMING; CONSTRAINT SATISFACTION PROBLEMS; INTERNATIONAL CONFERENCES; OPTIMIZATION TOOLS; PROBABILISTIC CONSTRAINTS; PSEUDO-BOOLEAN OPTIMIZATION; SEMI-RING;

EDUCATION;

EID: 48649086789     PISSN: 10823409     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICTAI.2007.160     Document Type: Conference Paper

References (9)

1. C. Bessiere, R. Coletta, E. C. Freuder, and B. O'Sullivan. Leveraging the learning power of examples in automated constraint acquisition. In Proceedings of CP'2004, LNCS 3258, pages 123-137, 2004.
2. C. Bessiere, R. Coletta, F. Koriche, and B. O'Sullivan. A SAT-based version space algorithm for acquiring constraint satisfaction problems. In Proceedings of ECML'2005, pages 23-34, Porto, Portugal, 2005.
3. S. Bistarelli, U. Montanari, and F. Rossi. Constraint solving over semirings. In Proceedings of IJCAI-95, 1995.
4. S. Bistarelli, U. Montanari, and F. Rossi. Semiring-based constraint satisfaction and optimization. Journal of the ACM, 44(2):201-236, March 1997.
5. 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 the 23rd SGAI International Conference, pages 111-124. Springer, 2003.
6. ILOG. ILOG Solver 6.0 Reference Manual, November 2003.
7. ILOG. ILOG CPLEX 10. Reference Manual, 2006.
8. T. M. Mitchell. Generalization as search. Artificial Intelligence, 18(2):203-226, 1982.
9. U. Straccia. Reasoning within fuzzy description logics. Journal of Artificial Intelligence Research, 14:137-166, 2001.