Narrow your search

Library

AP (1)

EhB (1)

KDG (1)

KU Leuven (1)

Odisee (1)

Thomas More Kempen (1)

Thomas More Mechelen (1)

UCLL (1)

ULB (1)

ULiège (1)

More...

Resource type

book (2)

digital (1)


Language

English (3)


Year
From To Submit

2006 (3)

Listing 1 - 3 of 3
Sort by

Digital
Recent Advances in Constraints (vol. # 3978) : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005, Revised Selected and Invite
Authors: --- --- ---
ISBN: 9783540342168 Year: 2006 Publisher: Berlin Heidelberg Springer-Verlag GmbH

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Recent Advances in Constraints : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005, Revised Selected and Invited Papers
Authors: --- --- --- ---
ISBN: 9783540342168 Year: 2006 Publisher: Berlin Heidelberg Springer Berlin Heidelberg

Loading...
Export citation

Choose an application

Bookmark

Abstract

Constraints are a natural means of knowledge representation. This generality underpins the success with which constraint programming has been applied to a widevarietyofdisciplinesinacademiaandindustrysuchasproductionplanning, communication networks, robotics, and bioinformatics. This volume contains the extended and reviewed version of a selection of papers presented at the Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming (CSCLP 2005), which was held during June 20-22, 2005 in Uppsala, Sweden. It also contains papers that were submitted in response to the open call that followedtheworkshop.Thepapersinthisvolumepresentresearchresultsrega- ing many aspects of constraint solving and constraint logic programming. This includes global constraints, search and heuristics, implementations of constraint systems, and a number of applications. The editors wouldlike to take the opportunity andthank allthe authorswho submitted a paper to this volume,as well as the reviewersfor their helpful work. This volume has been made possible thanks to the support of the European ResearchConsortiumfor Informatics and Mathematics (ERCIM), the European Network on Computational Logic (CoLogNET), the Swedish Institute of C- puter Science (SICS), Science Foundation Ireland (Grant No. 00/PI.1/C075), and the Department of Information Science (DIS) at Uppsala University in Sweden. We hope that the present volume is useful for anyone interested in the recent advancesandnewtrendsinconstraintprogramming,constraintsolving,problem modelling, and applications. March 2006 B. Hnich, M. Carlsson, F. Fages, and F. Rossi Organizers CSCLP 2005 Organization CSCLP 2005 was organized by the ERCIM Working Group on Constraints and the CoLogNET area on Logic and Constraint Logic Programming.

Recent advances in constraints : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005 : revised selected and invited papers

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

Constraint programming (Computer science) --- Logic programming --- Programmation par contraintes --- Programmation logique --- Congresses. --- Congrès --- Computer Science --- Mechanical Engineering - General --- Mechanical Engineering --- Engineering & Applied Sciences --- Information Technology --- Artificial Intelligence --- Computer science. --- Software engineering. --- Programming languages (Electronic computers). --- Algorithms. --- Computer logic. --- Artificial intelligence. --- Computer industry. --- Computer Science. --- The Computer Industry. --- Artificial Intelligence (incl. Robotics). --- Software Engineering/Programming and Operating Systems. --- Programming Languages, Compilers, Interpreters. --- Logics and Meanings of Programs. --- Algorithm Analysis and Problem Complexity. --- Electronic industries --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Computer science logic --- Logic, Symbolic and mathematical --- Algorism --- Algebra --- Arithmetic --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Languages, Artificial --- Computer software engineering --- Engineering --- Informatics --- Science --- Foundations --- Logic design. --- Computer software. --- Artificial Intelligence. --- Software, Computer --- Computer systems --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory

Listing 1 - 3 of 3
Sort by


Copyright ©2025 SemperTool