Matches in SemOpenAlex for { <https://semopenalex.org/work/W2893948904> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W2893948904 endingPage "52" @default.
- W2893948904 startingPage "37" @default.
- W2893948904 abstract "In previous work we added justifications to Constraint Handling Rules (CHR) to enable logical retraction of constraints for dynamic algorithms. We presented a straightforward source-to-source transformation to implement this conservative extension. In this companion paper, we improve the performance of the transformation. We discuss its worst-case time complexity in general. Then we perform experiments. We benchmark the dynamic problem of maintaining shortest paths under addition and retraction of paths. The results validate our complexity considerations." @default.
- W2893948904 created "2018-10-05" @default.
- W2893948904 creator A5032517478 @default.
- W2893948904 date "2018-01-01" @default.
- W2893948904 modified "2023-09-25" @default.
- W2893948904 title "Implementation of Logical Retraction in Constraint Handling Rules with Justifications" @default.
- W2893948904 cites W1110993702 @default.
- W2893948904 cites W1497604652 @default.
- W2893948904 cites W1498867194 @default.
- W2893948904 cites W1556786566 @default.
- W2893948904 cites W2019417713 @default.
- W2893948904 cites W2070692358 @default.
- W2893948904 cites W2138259059 @default.
- W2893948904 cites W2963396218 @default.
- W2893948904 cites W4234159174 @default.
- W2893948904 doi "https://doi.org/10.1007/978-3-030-00801-7_3" @default.
- W2893948904 hasPublicationYear "2018" @default.
- W2893948904 type Work @default.
- W2893948904 sameAs 2893948904 @default.
- W2893948904 citedByCount "1" @default.
- W2893948904 countsByYear W28939489042018 @default.
- W2893948904 crossrefType "book-chapter" @default.
- W2893948904 hasAuthorship W2893948904A5032517478 @default.
- W2893948904 hasConcept C104317684 @default.
- W2893948904 hasConcept C11413529 @default.
- W2893948904 hasConcept C126255220 @default.
- W2893948904 hasConcept C13280743 @default.
- W2893948904 hasConcept C154945302 @default.
- W2893948904 hasConcept C176783269 @default.
- W2893948904 hasConcept C185592680 @default.
- W2893948904 hasConcept C185798385 @default.
- W2893948904 hasConcept C199360897 @default.
- W2893948904 hasConcept C204241405 @default.
- W2893948904 hasConcept C205649164 @default.
- W2893948904 hasConcept C2524010 @default.
- W2893948904 hasConcept C2776036281 @default.
- W2893948904 hasConcept C2778029271 @default.
- W2893948904 hasConcept C2778361913 @default.
- W2893948904 hasConcept C33923547 @default.
- W2893948904 hasConcept C41008148 @default.
- W2893948904 hasConcept C44616089 @default.
- W2893948904 hasConcept C49937458 @default.
- W2893948904 hasConcept C55493867 @default.
- W2893948904 hasConcept C80444323 @default.
- W2893948904 hasConceptScore W2893948904C104317684 @default.
- W2893948904 hasConceptScore W2893948904C11413529 @default.
- W2893948904 hasConceptScore W2893948904C126255220 @default.
- W2893948904 hasConceptScore W2893948904C13280743 @default.
- W2893948904 hasConceptScore W2893948904C154945302 @default.
- W2893948904 hasConceptScore W2893948904C176783269 @default.
- W2893948904 hasConceptScore W2893948904C185592680 @default.
- W2893948904 hasConceptScore W2893948904C185798385 @default.
- W2893948904 hasConceptScore W2893948904C199360897 @default.
- W2893948904 hasConceptScore W2893948904C204241405 @default.
- W2893948904 hasConceptScore W2893948904C205649164 @default.
- W2893948904 hasConceptScore W2893948904C2524010 @default.
- W2893948904 hasConceptScore W2893948904C2776036281 @default.
- W2893948904 hasConceptScore W2893948904C2778029271 @default.
- W2893948904 hasConceptScore W2893948904C2778361913 @default.
- W2893948904 hasConceptScore W2893948904C33923547 @default.
- W2893948904 hasConceptScore W2893948904C41008148 @default.
- W2893948904 hasConceptScore W2893948904C44616089 @default.
- W2893948904 hasConceptScore W2893948904C49937458 @default.
- W2893948904 hasConceptScore W2893948904C55493867 @default.
- W2893948904 hasConceptScore W2893948904C80444323 @default.
- W2893948904 hasLocation W28939489041 @default.
- W2893948904 hasOpenAccess W2893948904 @default.
- W2893948904 hasPrimaryLocation W28939489041 @default.
- W2893948904 hasRelatedWork W13654271 @default.
- W2893948904 hasRelatedWork W1488799655 @default.
- W2893948904 hasRelatedWork W1535632716 @default.
- W2893948904 hasRelatedWork W1592324616 @default.
- W2893948904 hasRelatedWork W1605854251 @default.
- W2893948904 hasRelatedWork W1606290396 @default.
- W2893948904 hasRelatedWork W1640224191 @default.
- W2893948904 hasRelatedWork W2019417713 @default.
- W2893948904 hasRelatedWork W205264562 @default.
- W2893948904 hasRelatedWork W2058139572 @default.
- W2893948904 hasRelatedWork W2063515892 @default.
- W2893948904 hasRelatedWork W2081103684 @default.
- W2893948904 hasRelatedWork W209443128 @default.
- W2893948904 hasRelatedWork W2097523953 @default.
- W2893948904 hasRelatedWork W2100410698 @default.
- W2893948904 hasRelatedWork W2169653928 @default.
- W2893948904 hasRelatedWork W2181620480 @default.
- W2893948904 hasRelatedWork W2547141876 @default.
- W2893948904 hasRelatedWork W2558997757 @default.
- W2893948904 hasRelatedWork W2611662545 @default.
- W2893948904 isParatext "false" @default.
- W2893948904 isRetracted "false" @default.
- W2893948904 magId "2893948904" @default.
- W2893948904 workType "book-chapter" @default.