Beek, Peter. <br/><br/>
Principles and Practice of Constraint Programming - CP 2005  11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005. Proceedings /  [electronic resource] : 
edited by Peter Beek. 
 - XX, 887 p. Also available online.  online resource. 
 - Lecture Notes in Computer Science,  3709  0302-9743 ; .
 - Lecture Notes in Computer Science,  3709 .
<br/><br/>Invited Papers -- Best Papers -- Full Papers -- Short Papers -- Doctoral Papers -- System Demonstrations. 
<br/><br/> The 11th International Conference on the Principles and Practice of Constraint Programming (CP 2005) was held in Sitges (Barcelona), Spain, October 1–5, 2005. Information about the conference can be found on the web at http://www.iiia.csic.es/cp2005/.Informationaboutpastconferencesinthe series can be found athttp://www.cs.ualberta.ca/~ai/cp/. The CP conference series is the premier international conference on c- straint programming and is held annually. The conference is concerned with all aspects of computing with constraints, including: algorithms, applications, environments, languages, models and systems. This year, we received 164 submissions. All of the submitted papers received atleastthreereviews,andthepapersandtheirreviewswerethenextensivelyd- cussed during an online Program Committee meeting. As a result, the Program Committee chose 48 (29.3%) papers to be published in full in the proceedings and a further 22 (13.4%)papers to be published as short papers.The full papers werepresentedattheconferencein twoparalleltracksandtheshortpaperswere presented as posters during a lively evening session. Two papers were selected by a subcommittee of the ProgramCommittee—consisting of Chris Beck, Gilles Pesant, and myself—to receive best paper awards. The conference program also includedexcellentinvitedtalksbyH´ ectorGe?ner,IanHorrocks,FrancescaRossi, and Peter J. Stuckey. As a permanent record, the proceedings contain four-page extended abstracts of the invited talks. 
<br/><br/><label>ISBN: </label>9783540320500 
<br/><br/><label>Standard No.: </label>10.1007/11564751  doi 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.<br/>Logic design.<br/>Artificial intelligence.<br/>Information systems.<br/>Computer Science.<br/>Programming Techniques.<br/>Programming Languages, Compilers, Interpreters.<br/>Artificial Intelligence (incl. Robotics).<br/>Logics and Meanings of Programs.<br/>Mathematical Logic and Formal Languages.<br/>Computer Appl. in Administrative Data Processing.
<br/><br/><label>LC Class. No.: </label>QA76.6-76.66 
<br/><br/><label>Dewey Class. No.: </label>005.11