Matches in SemOpenAlex for { <https://semopenalex.org/work/W1508891385> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W1508891385 endingPage "184" @default.
- W1508891385 startingPage "170" @default.
- W1508891385 abstract "Tabled resolution, which alleviates some of Prolog’s termination problems, makes it possible to create practical applications from high-level declarative specifications. Constraint Handling Rules (CHR) is an elegant framework for implementing constraint solvers from high-level specifications, and is available in many Prolog systems. However, applications combining the power of these two declarative paradigms have been impractical since traditional CHR implementations interact poorly with tabling. In this paper we present a new (set-based) semantics for CHR which enables efficient integration with tabling. The new semantics coincides with the traditional (multi-set-based) semantics for a large class of CHR programs. We describe CHRd, an implementation based on the new semantics. CHRd uses a distributed constraint store that can be directly represented in tables. Although motivated by tabling, CHRd works well also on non-tabled platforms. We present experimental results which show that, relative to traditional implementations, CHRd performs significantly better on tabled programs, and yet shows comparable results on non-tabled benchmarks." @default.
- W1508891385 created "2016-06-24" @default.
- W1508891385 creator A5056708608 @default.
- W1508891385 creator A5089689513 @default.
- W1508891385 date "2006-01-01" @default.
- W1508891385 modified "2023-09-26" @default.
- W1508891385 title "Compiling Constraint Handling Rules for Efficient Tabled Evaluation" @default.
- W1508891385 cites W1498867194 @default.
- W1508891385 cites W1499633535 @default.
- W1508891385 cites W1504803856 @default.
- W1508891385 cites W1512789879 @default.
- W1508891385 cites W1521013649 @default.
- W1508891385 cites W1522225310 @default.
- W1508891385 cites W1541434994 @default.
- W1508891385 cites W1542629157 @default.
- W1508891385 cites W1578535952 @default.
- W1508891385 cites W1579858812 @default.
- W1508891385 cites W1586826229 @default.
- W1508891385 cites W1602828133 @default.
- W1508891385 cites W1854012871 @default.
- W1508891385 cites W1858288637 @default.
- W1508891385 cites W1959136150 @default.
- W1508891385 cites W2070598037 @default.
- W1508891385 cites W2079333278 @default.
- W1508891385 cites W2170803956 @default.
- W1508891385 cites W6279871 @default.
- W1508891385 doi "https://doi.org/10.1007/978-3-540-69611-7_11" @default.
- W1508891385 hasPublicationYear "2006" @default.
- W1508891385 type Work @default.
- W1508891385 sameAs 1508891385 @default.
- W1508891385 citedByCount "13" @default.
- W1508891385 countsByYear W15088913852012 @default.
- W1508891385 countsByYear W15088913852014 @default.
- W1508891385 countsByYear W15088913852015 @default.
- W1508891385 countsByYear W15088913852018 @default.
- W1508891385 crossrefType "book-chapter" @default.
- W1508891385 hasAuthorship W1508891385A5056708608 @default.
- W1508891385 hasAuthorship W1508891385A5089689513 @default.
- W1508891385 hasConcept C154945302 @default.
- W1508891385 hasConcept C177264268 @default.
- W1508891385 hasConcept C184337299 @default.
- W1508891385 hasConcept C199360897 @default.
- W1508891385 hasConcept C2524010 @default.
- W1508891385 hasConcept C26713055 @default.
- W1508891385 hasConcept C2776036281 @default.
- W1508891385 hasConcept C2777212361 @default.
- W1508891385 hasConcept C33923547 @default.
- W1508891385 hasConcept C41008148 @default.
- W1508891385 hasConcept C80444323 @default.
- W1508891385 hasConcept C81721847 @default.
- W1508891385 hasConceptScore W1508891385C154945302 @default.
- W1508891385 hasConceptScore W1508891385C177264268 @default.
- W1508891385 hasConceptScore W1508891385C184337299 @default.
- W1508891385 hasConceptScore W1508891385C199360897 @default.
- W1508891385 hasConceptScore W1508891385C2524010 @default.
- W1508891385 hasConceptScore W1508891385C26713055 @default.
- W1508891385 hasConceptScore W1508891385C2776036281 @default.
- W1508891385 hasConceptScore W1508891385C2777212361 @default.
- W1508891385 hasConceptScore W1508891385C33923547 @default.
- W1508891385 hasConceptScore W1508891385C41008148 @default.
- W1508891385 hasConceptScore W1508891385C80444323 @default.
- W1508891385 hasConceptScore W1508891385C81721847 @default.
- W1508891385 hasLocation W15088913851 @default.
- W1508891385 hasOpenAccess W1508891385 @default.
- W1508891385 hasPrimaryLocation W15088913851 @default.
- W1508891385 hasRelatedWork W141331503 @default.
- W1508891385 hasRelatedWork W1504651774 @default.
- W1508891385 hasRelatedWork W1608659702 @default.
- W1508891385 hasRelatedWork W171542336 @default.
- W1508891385 hasRelatedWork W1984757784 @default.
- W1508891385 hasRelatedWork W2083338789 @default.
- W1508891385 hasRelatedWork W2088007073 @default.
- W1508891385 hasRelatedWork W2090686886 @default.
- W1508891385 hasRelatedWork W2112962394 @default.
- W1508891385 hasRelatedWork W2473250120 @default.
- W1508891385 isParatext "false" @default.
- W1508891385 isRetracted "false" @default.
- W1508891385 magId "1508891385" @default.
- W1508891385 workType "book-chapter" @default.