TY - BOOK ID - 7690591 TI - Recent advances in constraints : 14th annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009 : revised selected papers AU - Larrosa, Javier. AU - O'Sullivan, B. AU - ERCIM International Workshop on Constraint Solving and Constraint Logic Programming AU - CSCLP 2009 PY - 2011 SN - 3642194850 3642194869 PB - Berlin : Springer, DB - UniCat KW - Constraint programming (Computer science) KW - Constraints (Artificial intelligence) KW - Engineering & Applied Sciences KW - Mechanical Engineering KW - Computer Science KW - Mechanical Engineering - General KW - Information Technology KW - Artificial Intelligence KW - Logic programming. KW - Computer science. KW - Programming languages (Electronic computers). KW - Algorithms. KW - Computer logic. KW - Mathematical logic. KW - Computer science KW - Artificial intelligence. KW - Computer Science. KW - Artificial Intelligence (incl. Robotics). KW - Logics and Meanings of Programs. KW - Mathematical Logic and Formal Languages. KW - Programming Languages, Compilers, Interpreters. KW - Symbolic and Algebraic Manipulation. KW - Algorithm Analysis and Problem Complexity. 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 - Computer mathematics KW - Discrete mathematics KW - Algebra of logic KW - Logic, Universal KW - Mathematical logic KW - Symbolic and mathematical logic KW - Symbolic logic KW - Mathematics KW - Algebra, Abstract KW - Metamathematics KW - Set theory KW - Syllogism KW - Computer science logic KW - Logic, Symbolic and mathematical KW - Algorism KW - Algebra KW - Arithmetic KW - Computer languages KW - Computer program languages KW - Computer programming languages KW - Machine language KW - Languages, Artificial KW - Informatics KW - Science KW - Foundations KW - Computer programming KW - Logic design. KW - Computer software. KW - Artificial Intelligence. KW - Data processing. KW - Software, Computer KW - Computer systems KW - Design, Logic KW - Design of logic systems KW - Digital electronics KW - Electronic circuit design KW - Logic circuits KW - Switching theory KW - Computer science—Mathematics. UR - https://www.unicat.be/uniCat?func=search&query=sysid:7690591 AB - This book constitutes the thoroughly refereed post-proceedings of the 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, held in Barcelona, Spain, in June 2009. The 9 revised full papers presented were carefully reviewed and selected for inclusion in this post-proceedings. The papers in this volume present original research results and applications of constraint solving and constraint logic programming in several domains. Among the issues addressed are solving argumentation frameworks, software consistency, modeling languages, static design routing, dynamic constraint satisfaction, and constraint-based modeling. ER -