TY - BOOK ID - 17318793 TI - Integration of AI and OR techniques in constraint programming for combinatorial optimization problems : first International conference, CPAIOR 2004, Nice, France, April 20-22, 2004 : proceedings AU - Régin, Jean-Charles AU - International conference on integration of AI and OR techniques in constraint programming for combinatorial optimisation problems (01st : 2004 : Nice) PY - 2004 VL - 3011 SN - 03029743 SN - 354021836X 9783540218364 9786610308040 1280308044 3540246649 PB - Berlin: Springer, DB - UniCat KW - Constraints (Artificial intelligence) KW - Constraint programming (Computer science) KW - Combinatorial optimization KW - Artificial intelligence KW - Operations research KW - Technique KW - Combinatorics. KW - Numeric Computing. KW - Operations Research/Decision Theory. KW - Constraint satisfaction (Artificial intelligence) KW - Computer science. KW - Operations research. KW - Decision making. KW - Software engineering. KW - Algorithms. KW - Numerical analysis. KW - Computer science KW - Artificial intelligence. KW - Computer Science. KW - Software Engineering/Programming and Operating Systems. KW - Discrete Mathematics in Computer Science. KW - Algorithm Analysis and Problem Complexity. KW - Artificial Intelligence (incl. Robotics). KW - Operation Research/Decision Theory. KW - Mathematics. KW - AI (Artificial intelligence) KW - Artificial thinking KW - Electronic brains KW - Intellectronics KW - Intelligence, Artificial KW - Intelligent machines KW - Machine intelligence KW - Thinking, Artificial KW - Bionics KW - Cognitive science KW - Digital computer simulation KW - Electronic data processing KW - Logic machines KW - Machine theory KW - Self-organizing systems KW - Simulation methods KW - Fifth generation computers KW - Neural computers KW - Electronic data processing. KW - Computational complexity. KW - Computer software. KW - Artificial Intelligence. KW - Operational analysis KW - Operational research KW - Industrial engineering KW - Management science KW - Research KW - System theory KW - Software, Computer KW - Computer systems KW - Complexity, Computational KW - ADP (Data processing) KW - Automatic data processing KW - Data processing KW - EDP (Data processing) KW - IDP (Data processing) KW - Integrated data processing KW - Computers KW - Office practice KW - Computer software engineering KW - Engineering KW - Automation KW - Computer science—Mathematics. KW - Deciding KW - Decision (Psychology) KW - Decision analysis KW - Decision processes KW - Making decisions KW - Management KW - Management decisions KW - Choice (Psychology) KW - Problem solving KW - Algorism KW - Algebra KW - Arithmetic KW - Mathematical analysis KW - Decision making KW - Foundations KW - Constraints (Artificial intelligence) - Congresses KW - Constraint programming (Computer science) - Congresses KW - Combinatorial optimization - Congresses KW - Artificial intelligence - Technique - Congresses KW - Operations research - Congresses KW - Discrete mathematics. KW - Software Engineering. KW - Numerical Analysis. KW - Operations Research and Decision Theory. KW - Discrete mathematical structures KW - Mathematical structures, Discrete KW - Structures, Discrete mathematical KW - Numerical analysis KW - Computer mathematics KW - Mathematics UR - https://www.unicat.be/uniCat?func=search&query=sysid:17318793 AB - This volume contains the proceedings of the First International Conference on IntegrationofAIandORTechniquesinConstraintProgrammingforCombina- rialOptimisation Problems.This new conferencefollows the seriesof CP-AI-OR International Workshops on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimisation Problems held in Ferrara (1999), Paderborn (2000), Ashford (2001), Le Croisic (2002), and Montreal (2003). The success of the previous workshops has demonstrated that CP-AI-OR is bec- ing a major forum for exchanging ideas and methodologiesfrom both ?elds. The aim of this new conference is to bring together researchersfrom AI and OR, and to give them the opportunity to show how the integration of techniques from AI and OR can lead to interesting results on large scale and complex problems. The integration of techniques from Arti?cial Intelligence and Operations - search has provided e?ective algorithms for tackling complex and large scale combinatorial problems with signi?cant improvements in terms of e?ciency, scalability and optimality. The bene?t of this integration has been shown in applications such as hoist scheduling, rostering, dynamic scheduling and vehicle routing. At the programming and modelling levels, most constraint languages embed OR techniques to reason about collections of constraints, so-calledglobal constraints. Some languages also provide support for hybridization allowing the programmer to build new integrated algorithms. The resulting multi-paradigm programmingframeworkcombines the ?exibility and modelling facilities of C- straint Programming with the special purpose and e?cient methods from - erations Research. ER -