Matches in SemOpenAlex for { <https://semopenalex.org/work/W4297467711> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W4297467711 abstract "Aggregates are among the most frequently used linguistic extensions of answer set programming. The result of an aggregation may introduce new constants during the instantiation of the input program, a feature known as value invention. When the aggregation involves literals whose truth value is undefined at instantiation time, modern grounders introduce several instances of the aggregate, one for each possible interpretation of the undefined literals. This paper introduces new data structures and techniques to handle such cases, and more in general aggregations on the same aggregate set identified in the ground program in input. The proposed solution reduces the memory footprint of the solver without sacrificing efficiency. On the contrary, the performance of the solver may improve thanks to the addition of some simple entailed clauses which are not easily discovered otherwise, and since redundant computation is avoided during propagation. Empirical evidence of the potential impact of the proposed solution is given. (Under consideration for acceptance in TPLP)." @default.
- W4297467711 created "2022-09-29" @default.
- W4297467711 creator A5031224507 @default.
- W4297467711 creator A5039882261 @default.
- W4297467711 creator A5077756388 @default.
- W4297467711 date "2018-04-23" @default.
- W4297467711 modified "2023-09-29" @default.
- W4297467711 title "Shared aggregate sets in answer set programming" @default.
- W4297467711 doi "https://doi.org/10.48550/arxiv.1804.08488" @default.
- W4297467711 hasPublicationYear "2018" @default.
- W4297467711 type Work @default.
- W4297467711 citedByCount "0" @default.
- W4297467711 crossrefType "posted-content" @default.
- W4297467711 hasAuthorship W4297467711A5031224507 @default.
- W4297467711 hasAuthorship W4297467711A5039882261 @default.
- W4297467711 hasAuthorship W4297467711A5077756388 @default.
- W4297467711 hasBestOaLocation W42974677111 @default.
- W4297467711 hasConcept C111472728 @default.
- W4297467711 hasConcept C11413529 @default.
- W4297467711 hasConcept C119857082 @default.
- W4297467711 hasConcept C138885662 @default.
- W4297467711 hasConcept C159985019 @default.
- W4297467711 hasConcept C177264268 @default.
- W4297467711 hasConcept C182620335 @default.
- W4297467711 hasConcept C192562407 @default.
- W4297467711 hasConcept C199360897 @default.
- W4297467711 hasConcept C2776291640 @default.
- W4297467711 hasConcept C2776401178 @default.
- W4297467711 hasConcept C2778770139 @default.
- W4297467711 hasConcept C2780586882 @default.
- W4297467711 hasConcept C41008148 @default.
- W4297467711 hasConcept C41895202 @default.
- W4297467711 hasConcept C45374587 @default.
- W4297467711 hasConcept C46274116 @default.
- W4297467711 hasConcept C4679612 @default.
- W4297467711 hasConcept C527412718 @default.
- W4297467711 hasConcept C74912251 @default.
- W4297467711 hasConcept C80444323 @default.
- W4297467711 hasConceptScore W4297467711C111472728 @default.
- W4297467711 hasConceptScore W4297467711C11413529 @default.
- W4297467711 hasConceptScore W4297467711C119857082 @default.
- W4297467711 hasConceptScore W4297467711C138885662 @default.
- W4297467711 hasConceptScore W4297467711C159985019 @default.
- W4297467711 hasConceptScore W4297467711C177264268 @default.
- W4297467711 hasConceptScore W4297467711C182620335 @default.
- W4297467711 hasConceptScore W4297467711C192562407 @default.
- W4297467711 hasConceptScore W4297467711C199360897 @default.
- W4297467711 hasConceptScore W4297467711C2776291640 @default.
- W4297467711 hasConceptScore W4297467711C2776401178 @default.
- W4297467711 hasConceptScore W4297467711C2778770139 @default.
- W4297467711 hasConceptScore W4297467711C2780586882 @default.
- W4297467711 hasConceptScore W4297467711C41008148 @default.
- W4297467711 hasConceptScore W4297467711C41895202 @default.
- W4297467711 hasConceptScore W4297467711C45374587 @default.
- W4297467711 hasConceptScore W4297467711C46274116 @default.
- W4297467711 hasConceptScore W4297467711C4679612 @default.
- W4297467711 hasConceptScore W4297467711C527412718 @default.
- W4297467711 hasConceptScore W4297467711C74912251 @default.
- W4297467711 hasConceptScore W4297467711C80444323 @default.
- W4297467711 hasLocation W42974677111 @default.
- W4297467711 hasOpenAccess W4297467711 @default.
- W4297467711 hasPrimaryLocation W42974677111 @default.
- W4297467711 hasRelatedWork W1554238444 @default.
- W4297467711 hasRelatedWork W2160562204 @default.
- W4297467711 hasRelatedWork W2171836055 @default.
- W4297467711 hasRelatedWork W2401323191 @default.
- W4297467711 hasRelatedWork W2798278338 @default.
- W4297467711 hasRelatedWork W2963222651 @default.
- W4297467711 hasRelatedWork W3101458312 @default.
- W4297467711 hasRelatedWork W3104588709 @default.
- W4297467711 hasRelatedWork W4297467711 @default.
- W4297467711 hasRelatedWork W569967362 @default.
- W4297467711 isParatext "false" @default.
- W4297467711 isRetracted "false" @default.
- W4297467711 workType "article" @default.