Matches in SemOpenAlex for { <https://semopenalex.org/work/W95053101> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W95053101 abstract "Many native ASP solvers exploit unfounded sets to compute consequences of a logic program via some form of well-founded negation, but disregard its contrapositive, well-founded justification (WFJ), due to computational cost. However, we demonstrate that this can hinder propagation of many relevant conditions such as reachability. In order to perform WFJ with low computational cost, we devise a method that approximates its consequences by computing dominators in a flowgraph, a problem for which linear-time algorithms exist. Furthermore, our method allows for additional unfounded set inference, called well-founded domination (WFD). We show that the effect of WFJ and WFD can be simulated for a important classes of logic programs that include reachability. This paper is a corrected and extended version of a paper published at the 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013). It has been adapted to exclude Theorem 10 and its consequences, but provides all missing proofs." @default.
- W95053101 created "2016-06-24" @default.
- W95053101 creator A5018242600 @default.
- W95053101 creator A5072902302 @default.
- W95053101 date "2013-08-19" @default.
- W95053101 modified "2023-09-27" @default.
- W95053101 title "Efficient Approximation of Well-Founded Justification and Well-Founded Domination (Corrected and Extended Version)." @default.
- W95053101 cites W1652823179 @default.
- W95053101 cites W1720682562 @default.
- W95053101 cites W1766332311 @default.
- W95053101 cites W1858694994 @default.
- W95053101 cites W1924767599 @default.
- W95053101 cites W1968513265 @default.
- W95053101 cites W1976055110 @default.
- W95053101 cites W2005465900 @default.
- W95053101 cites W2006653030 @default.
- W95053101 cites W2011124182 @default.
- W95053101 cites W204808196 @default.
- W95053101 cites W2049016755 @default.
- W95053101 cites W2079430756 @default.
- W95053101 cites W2100699693 @default.
- W95053101 cites W2104734478 @default.
- W95053101 cites W2152131859 @default.
- W95053101 cites W2972266701 @default.
- W95053101 cites W6745952 @default.
- W95053101 cites W89328955 @default.
- W95053101 cites W96215098 @default.
- W95053101 cites W1030396927 @default.
- W95053101 hasPublicationYear "2013" @default.
- W95053101 type Work @default.
- W95053101 sameAs 95053101 @default.
- W95053101 citedByCount "0" @default.
- W95053101 crossrefType "posted-content" @default.
- W95053101 hasAuthorship W95053101A5018242600 @default.
- W95053101 hasAuthorship W95053101A5072902302 @default.
- W95053101 hasConcept C108710211 @default.
- W95053101 hasConcept C128838566 @default.
- W95053101 hasConcept C136643341 @default.
- W95053101 hasConcept C154945302 @default.
- W95053101 hasConcept C159032336 @default.
- W95053101 hasConcept C165696696 @default.
- W95053101 hasConcept C177264268 @default.
- W95053101 hasConcept C182620335 @default.
- W95053101 hasConcept C199360897 @default.
- W95053101 hasConcept C2185349 @default.
- W95053101 hasConcept C2524010 @default.
- W95053101 hasConcept C2776214188 @default.
- W95053101 hasConcept C33923547 @default.
- W95053101 hasConcept C38652104 @default.
- W95053101 hasConcept C41008148 @default.
- W95053101 hasConcept C80444323 @default.
- W95053101 hasConceptScore W95053101C108710211 @default.
- W95053101 hasConceptScore W95053101C128838566 @default.
- W95053101 hasConceptScore W95053101C136643341 @default.
- W95053101 hasConceptScore W95053101C154945302 @default.
- W95053101 hasConceptScore W95053101C159032336 @default.
- W95053101 hasConceptScore W95053101C165696696 @default.
- W95053101 hasConceptScore W95053101C177264268 @default.
- W95053101 hasConceptScore W95053101C182620335 @default.
- W95053101 hasConceptScore W95053101C199360897 @default.
- W95053101 hasConceptScore W95053101C2185349 @default.
- W95053101 hasConceptScore W95053101C2524010 @default.
- W95053101 hasConceptScore W95053101C2776214188 @default.
- W95053101 hasConceptScore W95053101C33923547 @default.
- W95053101 hasConceptScore W95053101C38652104 @default.
- W95053101 hasConceptScore W95053101C41008148 @default.
- W95053101 hasConceptScore W95053101C80444323 @default.
- W95053101 hasLocation W950531011 @default.
- W95053101 hasOpenAccess W95053101 @default.
- W95053101 hasPrimaryLocation W950531011 @default.
- W95053101 hasRelatedWork W116492523 @default.
- W95053101 hasRelatedWork W14254835 @default.
- W95053101 hasRelatedWork W1494559 @default.
- W95053101 hasRelatedWork W1494674814 @default.
- W95053101 hasRelatedWork W150120515 @default.
- W95053101 hasRelatedWork W1509251869 @default.
- W95053101 hasRelatedWork W155184613 @default.
- W95053101 hasRelatedWork W1773349722 @default.
- W95053101 hasRelatedWork W2049711627 @default.
- W95053101 hasRelatedWork W2162131937 @default.
- W95053101 hasRelatedWork W2184941558 @default.
- W95053101 hasRelatedWork W2233529400 @default.
- W95053101 hasRelatedWork W2537664366 @default.
- W95053101 hasRelatedWork W2551482414 @default.
- W95053101 hasRelatedWork W2949217420 @default.
- W95053101 hasRelatedWork W2964093760 @default.
- W95053101 hasRelatedWork W2969357465 @default.
- W95053101 hasRelatedWork W3022854818 @default.
- W95053101 hasRelatedWork W3027108890 @default.
- W95053101 hasRelatedWork W3108137713 @default.
- W95053101 isParatext "false" @default.
- W95053101 isRetracted "false" @default.
- W95053101 magId "95053101" @default.
- W95053101 workType "article" @default.