LEADER 03132nam 2200565 450 001 996466005403316 005 20210328215403.0 010 $a3-540-92243-1 024 7 $a10.1007/978-3-540-92243-8 035 $a(CKB)1000000000718113 035 $a(SSID)ssj0000316985 035 $a(PQKBManifestationID)11244313 035 $a(PQKBTitleCode)TC0000316985 035 $a(PQKBWorkID)10288929 035 $a(PQKB)10265563 035 $a(DE-He213)978-3-540-92243-8 035 $a(MiAaPQ)EBC3064062 035 $a(MiAaPQ)EBC6408037 035 $a(PPN)134124235 035 $a(EXLCZ)991000000000718113 100 $a20210328d2008 uy 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 00$aConstraint handling rules $ecurrent research topics /$fTom Schrijvers, Thom Fru?hwirth (editors) 205 $a1st ed. 2008. 210 1$aBerlin ;$aHeidelberg :$cSpringer,$d[2008] 210 4$dİ2008 215 $a1 online resource (VII, 245 p.) 225 1 $aLecture notes in computer science. Lecture notes in artificial intelligence ;$v5388 300 $aIncludes index. 311 $a3-540-92242-3 320 $aIncludes bibliographical references and index. 327 $aWelcome to Constraint Handling Rules -- A Flexible Search Framework for CHR -- Adaptive CHR Meets CHR??? -- Constructing Rule-Based Solvers for Intentionally-Defined Constraints -- Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules -- A Compositional Semantics for CHR with Propagation Rules -- CHR for Imperative Host Languages -- Guard Reasoning in the Refined Operational Semantics of CHR. 330 $aThe Constraint Handling Rules (CHR) language is a declarative concurrent committed-choice constraint logic programming language consisting of guarded rules that transform multisets of relations called constraints until no more change occurs. The CHR language saw the light more than 15 years ago. Since then, it has become a major declarative specification and implementation language for constraint-based algorithms and applications. In recent years, five workshops on constraint handling rules have spurred the exchange of ideas within the CHR community, which has led to increased international collaboration, new theoretical results and optimized implementations. The aim of this volume was to attract high-quality research papers on these recent advances in Constraint Handling Rules. The 7 papers presented together with an introductory paper on CHR cover topics on search, applications, theory, and implementation of CHR. 410 0$aLecture notes in computer science.$pLecture notes in artificial intelligence ;$v5388. 606 $aConstraint programming (Computer science) 615 0$aConstraint programming (Computer science) 676 $a005.11 702 $aSchrijvers$b Tom 702 $aFru?hwirth$b Thom$f1962- 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996466005403316 996 $aConstraint Handling Rules$9774109 997 $aUNISA