Matches in SemOpenAlex for { <https://semopenalex.org/work/W2153533433> ?p ?o ?g. }
- W2153533433 abstract "Thirty years after Forgy's seminal dissertation, Rete remains the de facto standard matching algorithm. Despite promising research results, alternative algorithms such as TREAT and LEAPS have had little impact on modern production rule engines. Constraint Handling Rules (CHR) is a high-level, declarative programming language, similar to production rules. In recent years, CHR has increasingly been used in a wide range of general-purpose applications. State-of-the-art CHR systems use LEAPS-like lazy matching, and implement a large body of novel program analyses and optimization techniques to further improve performance. While obviously related, CHR and production rules research have mostly evolved independently from each other. With this article, we aim to foster cross-fertilization of implementation techniques. We provide a lucid, comprehensive overview of CHR's rule evaluation methodology, and survey recent contributions to the field of lazy matching. Our empirical evaluation confirms Rete-based engines would surely benefit from incorporating similar techniques and optimizations. Index Terms—optimizing compilation, lazy evaluation, matching algorithms, production rules, Constraint Handling Rules ✦" @default.
- W2153533433 created "2016-06-24" @default.
- W2153533433 creator A5076688270 @default.
- W2153533433 date "2010-01-01" @default.
- W2153533433 modified "2023-09-27" @default.
- W2153533433 title "Efficient Lazy Evaluation of Rule-Based" @default.
- W2153533433 cites W1485595209 @default.
- W2153533433 cites W1497604652 @default.
- W2153533433 cites W1498867194 @default.
- W2153533433 cites W1542629157 @default.
- W2153533433 cites W1547146004 @default.
- W2153533433 cites W1560832565 @default.
- W2153533433 cites W1605514313 @default.
- W2153533433 cites W1607315048 @default.
- W2153533433 cites W190946722 @default.
- W2153533433 cites W1910972060 @default.
- W2153533433 cites W1920028919 @default.
- W2153533433 cites W1988103858 @default.
- W2153533433 cites W199254071 @default.
- W2153533433 cites W2056750970 @default.
- W2153533433 cites W2063568987 @default.
- W2153533433 cites W2079333278 @default.
- W2153533433 cites W2100604479 @default.
- W2153533433 cites W2107415004 @default.
- W2153533433 cites W2107765694 @default.
- W2153533433 cites W2139317629 @default.
- W2153533433 cites W2144960539 @default.
- W2153533433 cites W2152272112 @default.
- W2153533433 cites W2152631562 @default.
- W2153533433 cites W2161337438 @default.
- W2153533433 cites W2170803956 @default.
- W2153533433 cites W2177891136 @default.
- W2153533433 cites W23343499 @default.
- W2153533433 cites W2521107158 @default.
- W2153533433 cites W2522227612 @default.
- W2153533433 cites W2524443994 @default.
- W2153533433 cites W2527059370 @default.
- W2153533433 cites W2527291302 @default.
- W2153533433 cites W2527367224 @default.
- W2153533433 cites W2894866307 @default.
- W2153533433 cites W2913354460 @default.
- W2153533433 cites W43244340 @default.
- W2153533433 cites W77233696 @default.
- W2153533433 cites W838721473 @default.
- W2153533433 hasPublicationYear "2010" @default.
- W2153533433 type Work @default.
- W2153533433 sameAs 2153533433 @default.
- W2153533433 citedByCount "0" @default.
- W2153533433 crossrefType "journal-article" @default.
- W2153533433 hasAuthorship W2153533433A5076688270 @default.
- W2153533433 hasConcept C105795698 @default.
- W2153533433 hasConcept C106159729 @default.
- W2153533433 hasConcept C139719470 @default.
- W2153533433 hasConcept C149271511 @default.
- W2153533433 hasConcept C162324750 @default.
- W2153533433 hasConcept C165064840 @default.
- W2153533433 hasConcept C199360897 @default.
- W2153533433 hasConcept C202444582 @default.
- W2153533433 hasConcept C2524010 @default.
- W2153533433 hasConcept C2776036281 @default.
- W2153533433 hasConcept C2777705401 @default.
- W2153533433 hasConcept C2778348673 @default.
- W2153533433 hasConcept C33923547 @default.
- W2153533433 hasConcept C41008148 @default.
- W2153533433 hasConcept C9652623 @default.
- W2153533433 hasConceptScore W2153533433C105795698 @default.
- W2153533433 hasConceptScore W2153533433C106159729 @default.
- W2153533433 hasConceptScore W2153533433C139719470 @default.
- W2153533433 hasConceptScore W2153533433C149271511 @default.
- W2153533433 hasConceptScore W2153533433C162324750 @default.
- W2153533433 hasConceptScore W2153533433C165064840 @default.
- W2153533433 hasConceptScore W2153533433C199360897 @default.
- W2153533433 hasConceptScore W2153533433C202444582 @default.
- W2153533433 hasConceptScore W2153533433C2524010 @default.
- W2153533433 hasConceptScore W2153533433C2776036281 @default.
- W2153533433 hasConceptScore W2153533433C2777705401 @default.
- W2153533433 hasConceptScore W2153533433C2778348673 @default.
- W2153533433 hasConceptScore W2153533433C33923547 @default.
- W2153533433 hasConceptScore W2153533433C41008148 @default.
- W2153533433 hasConceptScore W2153533433C9652623 @default.
- W2153533433 hasLocation W21535334331 @default.
- W2153533433 hasOpenAccess W2153533433 @default.
- W2153533433 hasPrimaryLocation W21535334331 @default.
- W2153533433 hasRelatedWork W1516518073 @default.
- W2153533433 hasRelatedWork W1975851647 @default.
- W2153533433 hasRelatedWork W2090759054 @default.
- W2153533433 hasRelatedWork W2295927534 @default.
- W2153533433 hasRelatedWork W234643 @default.
- W2153533433 hasRelatedWork W2505952163 @default.
- W2153533433 hasRelatedWork W2521372713 @default.
- W2153533433 hasRelatedWork W2539027192 @default.
- W2153533433 hasRelatedWork W2735687434 @default.
- W2153533433 hasRelatedWork W2917767479 @default.
- W2153533433 hasRelatedWork W2949623342 @default.
- W2153533433 hasRelatedWork W2964023786 @default.
- W2153533433 hasRelatedWork W2973702636 @default.
- W2153533433 hasRelatedWork W2989107313 @default.
- W2153533433 hasRelatedWork W2997220097 @default.
- W2153533433 hasRelatedWork W3022862953 @default.
- W2153533433 hasRelatedWork W3112835401 @default.