000 03598nam a22006135i 4500
001 978-3-540-92243-8
003 DE-He213
005 20240730184646.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.
_93407
650 0 _aComputer programming.
_94169
650 0 _aMachine theory.
_9136219
650 0 _aAlgorithms.
_93390
650 0 _aDatabase management.
_93157
650 1 4 _aArtificial Intelligence.
_93407
650 2 4 _aProgramming Techniques.
_9136220
650 2 4 _aFormal Languages and Automata Theory.
_9136221
650 2 4 _aAlgorithms.
_93390
650 2 4 _aDatabase Management.
_93157
700 1 _aSchrijvers, Tom.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9136222
700 1 _aFrühwirth, Thom.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9136223
710 2 _aSpringerLink (Online service)
_9136224
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
_9136225
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 _cELN
999 _c92418
_d92418