Output details
11 - Computer Science and Informatics
University of St Andrews
Output title
Extensible Automated Constraint Modelling
Type
E - Conference contribution
DOI
-
Name of conference/published proceedings
Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence
Volume number
-
Issue number
-
First page of article
4
ISSN of proceedings
-
Year of publication
2011
Number of additional authors
4
Additional information
<11>Choosing an effective constraint model requires considerable expertise. Automated constraint modelling is a grand challenge of the Constraint Programming field. This paper builds on our body of work on automated constraint modelling that has attracted considerable interest in the community. The Conjure system described represents a significant advance in the state of the art of automated constraint modelling, employing a set of refinement rules to produce constraint models automatically from their specifications in our Essence constraint specification language. AAAI, the venue for this paper is, along with ECAI and IJCAI, one of the best three conferences in Artificial Intelligence.
Interdisciplinary
-
Cross-referral requested
-
Research group
C - Artificial intelligence
Citation count
0
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
