Matches in SemOpenAlex for { <https://semopenalex.org/work/W2526064091> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W2526064091 abstract "Constraint Handling Rules (CHR) is an elegant, high-level programming language based on multi-headed, forward chaining rules. To ensure CHR propagation rules are applied at most once with the same combination of constraints, CHR implementations maintain a so-called propagation history. The performance impact of this history can be significant. We introduce several optimizations that, for the majority of CHR rules, eliminate this overhead. We formally prove their correctness, and evaluate their implementation in two state-of-the-art CHR systems. This extended report contains complete formal proofs of all theoretical results." @default.
- W2526064091 created "2016-10-07" @default.
- W2526064091 creator A5024380308 @default.
- W2526064091 date "2008-08-01" @default.
- W2526064091 modified "2023-09-26" @default.
- W2526064091 title "Optimization of CHR propagation rules: extended report" @default.
- W2526064091 cites W1169622296 @default.
- W2526064091 cites W1278066199 @default.
- W2526064091 cites W1508891385 @default.
- W2526064091 cites W1512789879 @default.
- W2526064091 cites W1542629157 @default.
- W2526064091 cites W1547146004 @default.
- W2526064091 cites W193996434 @default.
- W2526064091 cites W1970056414 @default.
- W2526064091 cites W1988103858 @default.
- W2526064091 cites W2056750970 @default.
- W2526064091 cites W2079333278 @default.
- W2526064091 cites W2107415004 @default.
- W2526064091 cites W2177891136 @default.
- W2526064091 cites W2522227612 @default.
- W2526064091 cites W2525447137 @default.
- W2526064091 cites W3157198933 @default.
- W2526064091 cites W3572831 @default.
- W2526064091 cites W43244340 @default.
- W2526064091 cites W783620329 @default.
- W2526064091 hasPublicationYear "2008" @default.
- W2526064091 type Work @default.
- W2526064091 sameAs 2526064091 @default.
- W2526064091 citedByCount "0" @default.
- W2526064091 crossrefType "journal-article" @default.
- W2526064091 hasAuthorship W2526064091A5024380308 @default.
- W2526064091 hasConcept C108710211 @default.
- W2526064091 hasConcept C126255220 @default.
- W2526064091 hasConcept C129916263 @default.
- W2526064091 hasConcept C137631369 @default.
- W2526064091 hasConcept C142614401 @default.
- W2526064091 hasConcept C154945302 @default.
- W2526064091 hasConcept C15744967 @default.
- W2526064091 hasConcept C173404611 @default.
- W2526064091 hasConcept C199360897 @default.
- W2526064091 hasConcept C2524010 @default.
- W2526064091 hasConcept C26713055 @default.
- W2526064091 hasConcept C2776036281 @default.
- W2526064091 hasConcept C2779960059 @default.
- W2526064091 hasConcept C33923547 @default.
- W2526064091 hasConcept C41008148 @default.
- W2526064091 hasConcept C46743427 @default.
- W2526064091 hasConcept C49020025 @default.
- W2526064091 hasConcept C542102704 @default.
- W2526064091 hasConcept C55439883 @default.
- W2526064091 hasConcept C58328972 @default.
- W2526064091 hasConcept C80444323 @default.
- W2526064091 hasConceptScore W2526064091C108710211 @default.
- W2526064091 hasConceptScore W2526064091C126255220 @default.
- W2526064091 hasConceptScore W2526064091C129916263 @default.
- W2526064091 hasConceptScore W2526064091C137631369 @default.
- W2526064091 hasConceptScore W2526064091C142614401 @default.
- W2526064091 hasConceptScore W2526064091C154945302 @default.
- W2526064091 hasConceptScore W2526064091C15744967 @default.
- W2526064091 hasConceptScore W2526064091C173404611 @default.
- W2526064091 hasConceptScore W2526064091C199360897 @default.
- W2526064091 hasConceptScore W2526064091C2524010 @default.
- W2526064091 hasConceptScore W2526064091C26713055 @default.
- W2526064091 hasConceptScore W2526064091C2776036281 @default.
- W2526064091 hasConceptScore W2526064091C2779960059 @default.
- W2526064091 hasConceptScore W2526064091C33923547 @default.
- W2526064091 hasConceptScore W2526064091C41008148 @default.
- W2526064091 hasConceptScore W2526064091C46743427 @default.
- W2526064091 hasConceptScore W2526064091C49020025 @default.
- W2526064091 hasConceptScore W2526064091C542102704 @default.
- W2526064091 hasConceptScore W2526064091C55439883 @default.
- W2526064091 hasConceptScore W2526064091C58328972 @default.
- W2526064091 hasConceptScore W2526064091C80444323 @default.
- W2526064091 hasLocation W25260640911 @default.
- W2526064091 hasOpenAccess W2526064091 @default.
- W2526064091 hasPrimaryLocation W25260640911 @default.
- W2526064091 hasRelatedWork W114719569 @default.
- W2526064091 hasRelatedWork W146100567 @default.
- W2526064091 hasRelatedWork W1507030869 @default.
- W2526064091 hasRelatedWork W1517061948 @default.
- W2526064091 hasRelatedWork W1528666136 @default.
- W2526064091 hasRelatedWork W1587639201 @default.
- W2526064091 hasRelatedWork W2003205306 @default.
- W2526064091 hasRelatedWork W2007486748 @default.
- W2526064091 hasRelatedWork W2085776418 @default.
- W2526064091 hasRelatedWork W2122698067 @default.
- W2526064091 hasRelatedWork W2133521570 @default.
- W2526064091 hasRelatedWork W2413076592 @default.
- W2526064091 hasRelatedWork W2735416437 @default.
- W2526064091 hasRelatedWork W2791216436 @default.
- W2526064091 hasRelatedWork W2964307043 @default.
- W2526064091 hasRelatedWork W3020819715 @default.
- W2526064091 hasRelatedWork W3202293396 @default.
- W2526064091 hasRelatedWork W3210596541 @default.
- W2526064091 hasRelatedWork W79200132 @default.
- W2526064091 hasRelatedWork W1448684019 @default.
- W2526064091 isParatext "false" @default.
- W2526064091 isRetracted "false" @default.
- W2526064091 magId "2526064091" @default.
- W2526064091 workType "article" @default.