Matches in SemOpenAlex for { <https://semopenalex.org/work/W2740051258> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2740051258 abstract "HEX-programs enrich the well-known Answer Set Programming (ASP) paradigm. In HEX, problems are solved using nonmonotonic logic programs with bidirectional access to external sources. ASP evaluation is traditionally based on grounding the input program first, but recent advances in lazy-grounding make the latter also interesting for HEX, as the grounding bottleneck of ASP may be avoided. We explore this issue and present a new evaluation algorithm for HEX-programs based on lazy-grounding solving for ASP. Nonmonotonic dependencies and value invention (i.e., import of new constants) from external sources make an efficient solution nontrivial. However, illustrative benchmarks show a clear advantage of the new algorithm for grounding-intense programs, which is a new perspective to make HEX more suitable for real-world application needs." @default.
- W2740051258 created "2017-08-08" @default.
- W2740051258 creator A5039264326 @default.
- W2740051258 creator A5067482871 @default.
- W2740051258 creator A5082178480 @default.
- W2740051258 date "2017-08-01" @default.
- W2740051258 modified "2023-09-25" @default.
- W2740051258 title "Lazy-Grounding for Answer Set Programs with External Source Access" @default.
- W2740051258 cites W1482532598 @default.
- W2740051258 cites W1498546115 @default.
- W2740051258 cites W1545915159 @default.
- W2740051258 cites W1674193987 @default.
- W2740051258 cites W1987005090 @default.
- W2740051258 cites W2076698873 @default.
- W2740051258 cites W2542981480 @default.
- W2740051258 cites W2554080479 @default.
- W2740051258 cites W2571958538 @default.
- W2740051258 cites W2578444662 @default.
- W2740051258 cites W2964204744 @default.
- W2740051258 doi "https://doi.org/10.24963/ijcai.2017/141" @default.
- W2740051258 hasPublicationYear "2017" @default.
- W2740051258 type Work @default.
- W2740051258 sameAs 2740051258 @default.
- W2740051258 citedByCount "4" @default.
- W2740051258 countsByYear W27400512582016 @default.
- W2740051258 countsByYear W27400512582017 @default.
- W2740051258 countsByYear W27400512582019 @default.
- W2740051258 crossrefType "proceedings-article" @default.
- W2740051258 hasAuthorship W2740051258A5039264326 @default.
- W2740051258 hasAuthorship W2740051258A5067482871 @default.
- W2740051258 hasAuthorship W2740051258A5082178480 @default.
- W2740051258 hasBestOaLocation W27400512581 @default.
- W2740051258 hasConcept C119599485 @default.
- W2740051258 hasConcept C12713177 @default.
- W2740051258 hasConcept C127413603 @default.
- W2740051258 hasConcept C128838566 @default.
- W2740051258 hasConcept C149635348 @default.
- W2740051258 hasConcept C154945302 @default.
- W2740051258 hasConcept C168993435 @default.
- W2740051258 hasConcept C177264268 @default.
- W2740051258 hasConcept C182620335 @default.
- W2740051258 hasConcept C199360897 @default.
- W2740051258 hasConcept C2780513914 @default.
- W2740051258 hasConcept C2987117450 @default.
- W2740051258 hasConcept C41008148 @default.
- W2740051258 hasConcept C80444323 @default.
- W2740051258 hasConceptScore W2740051258C119599485 @default.
- W2740051258 hasConceptScore W2740051258C12713177 @default.
- W2740051258 hasConceptScore W2740051258C127413603 @default.
- W2740051258 hasConceptScore W2740051258C128838566 @default.
- W2740051258 hasConceptScore W2740051258C149635348 @default.
- W2740051258 hasConceptScore W2740051258C154945302 @default.
- W2740051258 hasConceptScore W2740051258C168993435 @default.
- W2740051258 hasConceptScore W2740051258C177264268 @default.
- W2740051258 hasConceptScore W2740051258C182620335 @default.
- W2740051258 hasConceptScore W2740051258C199360897 @default.
- W2740051258 hasConceptScore W2740051258C2780513914 @default.
- W2740051258 hasConceptScore W2740051258C2987117450 @default.
- W2740051258 hasConceptScore W2740051258C41008148 @default.
- W2740051258 hasConceptScore W2740051258C80444323 @default.
- W2740051258 hasLocation W27400512581 @default.
- W2740051258 hasOpenAccess W2740051258 @default.
- W2740051258 hasPrimaryLocation W27400512581 @default.
- W2740051258 hasRelatedWork W2016993683 @default.
- W2740051258 hasRelatedWork W2171836055 @default.
- W2740051258 hasRelatedWork W2176973685 @default.
- W2740051258 hasRelatedWork W2898772359 @default.
- W2740051258 hasRelatedWork W2949422477 @default.
- W2740051258 hasRelatedWork W3034184944 @default.
- W2740051258 hasRelatedWork W3034914877 @default.
- W2740051258 hasRelatedWork W3101458312 @default.
- W2740051258 hasRelatedWork W3104588709 @default.
- W2740051258 hasRelatedWork W3200306105 @default.
- W2740051258 isParatext "false" @default.
- W2740051258 isRetracted "false" @default.
- W2740051258 magId "2740051258" @default.
- W2740051258 workType "article" @default.