000 03507nam a22006135i 4500
001 978-3-540-92243-8
003 DE-He213
005 20240423125719.0
007 cr nn 008mamaa
008 100301s2008 gw | s |||| 0|eng d
020 _a9783540922438
_9978-3-540-92243-8
024 7 _a10.1007/978-3-540-92243-8
_2doi
050 4 _aQ334-342
050 4 _aTA347.A78
072 7 _aUYQ
_2bicssc
072 7 _aCOM004000
_2bisacsh
072 7 _aUYQ
_2thema
082 0 4 _a006.3
_223
245 1 0 _aConstraint Handling Rules
_h[electronic resource] :
_bCurrent Research Topics /
_cedited by Tom Schrijvers, Thom Frühwirth.
250 _a1st ed. 2008.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2008.
300 _aVII, 245 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 ;
_v5388
505 0 _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.
520 _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.
650 0 _aArtificial intelligence.
650 0 _aComputer programming.
650 0 _aMachine theory.
650 0 _aAlgorithms.
650 0 _aDatabase management.
650 1 4 _aArtificial Intelligence.
650 2 4 _aProgramming Techniques.
650 2 4 _aFormal Languages and Automata Theory.
650 2 4 _aAlgorithms.
650 2 4 _aDatabase Management.
700 1 _aSchrijvers, Tom.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aFrühwirth, Thom.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
710 2 _aSpringerLink (Online service)
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783540922421
776 0 8 _iPrinted edition:
_z9783540922445
830 0 _aLecture Notes in Artificial Intelligence,
_x2945-9141 ;
_v5388
856 4 0 _uhttps://doi.org/10.1007/978-3-540-92243-8
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cSPRINGER
999 _c180936
_d180936