LEADER 04712nam  22007455  450 
001 996465424703316
005 20200701083355.0
010   $a3-540-44654-0
024 7 $a10.1007/3-540-44654-0
035   $a(CKB)1000000000211280
035   $a(SSID)ssj0000325162
035   $a(PQKBManifestationID)11231618
035   $a(PQKBTitleCode)TC0000325162
035   $a(PQKBWorkID)10320604
035   $a(PQKB)10737093
035   $a(DE-He213)978-3-540-44654-5
035   $a(MiAaPQ)EBC3071689
035   $a(PPN)155166298
035   $a(EXLCZ)991000000000211280
100   $a20121227d2000      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aNew Trends in Constraints$b[electronic resource] $eJoint ERCIM/Compulog Net Workshop Paphos, Cyprus, October 25-27, 1999 Selected Papers /$fedited by Krzysztof R. Apt, Antonis Kakas, Eric Monfroy, Francesca Rossi
205   $a1st ed. 2000.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2000.
215   $a1 online resource (VIII, 340 p.) 
225 1 $aLecture Notes in Artificial Intelligence ;$v1865
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-540-67885-9 
320   $aIncludes bibliographical references at the end of each chapters and index.
327   $aInvited Contributions and Surveys -- Interval Constraints: Results and Perspectives -- A Constraint-Based Language for Virtual Agents -- Constraint (Logic) Programming: A Survey on Research and Applications -- OPL Script: Composing and Controlling Models -- Constraint Propagation and Manipulation -- Some Remarks on Boolean Constraint Propagation -- Abstracting Soft Constraints -- Decomposable Constraints -- Generating Propagation Rules for Finite Domains: A Mixed Approach -- Ways of Maintaining Arc Consistency in Search Using the Cartesian Representation -- Constraint Programming -- Combining Constraint Logic Programming Techniques for Solving Linear Problems -- Quantitative Observables and Averages in Probabilistic Constraint Programming -- Dynamic Constraint Models for Planning and Scheduling Problems -- A Finite Domain CLP Solver on Top of Mercury -- Rule-Based Constraint Programming -- Rule Based Programming with Constraints and Strategies -- Proving Termination of Constraint Solver Programs -- Projection in Adaptive Constraint Handling.
330   $aThis book constitutes the thoroughly refereed post-proceedings of the Joint ERCIM/Compulog-Net Workshop on New Trends in Constraints held in Paphos, Cyprus, Greece in October 1999. The 12 revised full research papers presented together with four surveys by leading researchers were carefully reviewed. The book is divided in topical sections on constraint propagation and manipulation, constraint programming, and rule-based constraint programming.
410  0$aLecture Notes in Artificial Intelligence ;$v1865
606   $aArtificial intelligence
606   $aProgramming languages (Electronic computers)
606   $aComputer programming
606   $aComputer logic
606   $aMathematical logic
606   $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000
606   $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037
606   $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
615  0$aArtificial intelligence.
615  0$aProgramming languages (Electronic computers).
615  0$aComputer programming.
615  0$aComputer logic.
615  0$aMathematical logic.
615 14$aArtificial Intelligence.
615 24$aProgramming Languages, Compilers, Interpreters.
615 24$aProgramming Techniques.
615 24$aLogics and Meanings of Programs.
615 24$aMathematical Logic and Formal Languages.
676   $a006.3
702   $aApt$b Krzysztof R$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aKakas$b Antonis$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aMonfroy$b Eric$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aRossi$b Francesca$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a996465424703316
996   $aNew trends in constraints$9878086
997   $aUNISA