000			05392nam a22006735i 4500
001			978-3-540-24662-6
003			DE-He213
005			20240423125807.0
007			cr nn 008mamaa
008			121227s2004 gw | s |||| 0|eng d
020			_a9783540246626 _9978-3-540-24662-6
024	7		_a10.1007/b96986 _2doi
050		4	_aQA76.758
072		7	_aUMZ _2bicssc
072		7	_aCOM051230 _2bisacsh
072		7	_aUMZ _2thema
082	0	4	_a005.1 _223
245	1	0	_aRecent Advances in Constraints _h[electronic resource] : _bJoint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2, 2003, Selected Papers / _cedited by Krzysztof R. Apt, Francois Fages, Francesca Rossi, Peter Szeredi, Josef Váncza.
250			_a1st ed. 2004.
264		1	_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg : _bImprint: Springer, _c2004.
300			_aVIII, 288 p. _bonline resource.
336			_atext _btxt _2rdacontent
337			_acomputer _bc _2rdamedia
338			_aonline resource _bcr _2rdacarrier
347			_atext file _bPDF _2rda
490	1		_aLecture Notes in Artificial Intelligence, _x2945-9141 ; _v3010
505	0		_aConstraint Solving -- A Comparative Study of Arithmetic Constraints on Integer Intervals -- Clustering for Disconnected Solution Sets of Numerical CSPs -- Implementing Propagators for Tabular Constraints -- Constraint Methods for Modal Satisfiability -- Learning Approximate Consistencies -- Soft Constraints -- Abstracting Soft Constraints: Some Experimental Results on Fuzzy CSPs -- Tradeoff Generation Using Soft Constraints -- Experimental Evaluation of Interchangeability in Soft CSPs -- Language Issues -- A Rule Language for Interaction -- A Generic Trace Schema for the Portability of CP(FD) Debugging Tools -- Applications -- Teaching Constraints through Logic Puzzles -- Reduce-To-The-Opt – A Specialized Search Algorithm for Contiguous Task Scheduling -- A New Approach to Modeling and Solving Minimal Perturbation Problems -- Protein Folding in CLP( ) with Empirical Contact Energies -- Gestures for Embodied Agents with Logic Programming.
520			_aConstraint programming is the fruit of several decades of research carried out in mathematical logic, automated deduction, operations research and arti?cial intelligence. The tools and programming languages arising from this research ?eldhaveenjoyedrealsuccessintheindustrialworldastheycontributetosolving hard combinatorial problems in diverse domains such as production planning, communication networks, robotics and bioinformatics. This volume contains the extended and reviewed versions of a selection of papers presented at the Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming (CSCLP2003), which was held from June 30 to July 2, 2003. The venue chosen for the seventh edition of this annual workshop was the Computer and Automation Research Institute of the Hungarian Academy of Sciences (MTA SZTAKI) in Budapest, Hungary. This institute is one of the 20 members of the Working Group on Constraints of the European Research Consortium for Informatics and Mathematics (ERCIM). For many participants this workshop provided the ?rst opportunity to visit their ERCIM partner in Budapest. CoLogNET is the European-funded network of excellence dedicated to s- porting and enhancing cooperation and research on all areas of computational logic, and continues the work done previously by the Compulog Net. In part- ular, the aim of the logic and constraint logic programming area of CoLogNET is to foster and support all research activities related to logic programming and constraint logic programming. The editors would like to take the opportunity and thank all the authors who submitted papers to this volume, as well as the reviewers for their helpful work.
650		0	_aSoftware engineering.
650		0	_aArtificial intelligence.
650		0	_aComputer industry.
650		0	_aComputer programming.
650		0	_aCompilers (Computer programs).
650		0	_aComputer science.
650	1	4	_aSoftware Engineering.
650	2	4	_aArtificial Intelligence.
650	2	4	_aThe Computer Industry.
650	2	4	_aProgramming Techniques.
650	2	4	_aCompilers and Interpreters.
650	2	4	_aComputer Science Logic and Foundations of Programming.
700	1		_aApt, Krzysztof R. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt
700	1		_aFages, Francois. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt
700	1		_aRossi, Francesca. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt
700	1		_aSzeredi, Peter. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt
700	1		_aVáncza, Josef. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt
710	2		_aSpringerLink (Online service)
773	0		_tSpringer Nature eBook
776	0	8	_iPrinted edition: _z9783540218340
776	0	8	_iPrinted edition: _z9783662192658
830		0	_aLecture Notes in Artificial Intelligence, _x2945-9141 ; _v3010
856	4	0	_uhttps://doi.org/10.1007/b96986
912			_aZDB-2-SCS
912			_aZDB-2-SXCS
912			_aZDB-2-LNC
912			_aZDB-2-BAE
942			_cSPRINGER
999			_c181766 _d181766