FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W3093047347> ?p ?o ?g. }

• W3093047347 endingPage "103402" @default.
• W3093047347 startingPage "103402" @default.
• W3093047347 abstract "Answer set programming (ASP) has become an increasingly popular approach for declarative problem solving. In order to address the needs of applications, ASP has been extended in different approaches with means for interfacing the outside world, of which hex programs are one of the most powerful such extension that provides API-style interfaces to access arbitrary external sources of information and computation, respectively. Adhering to the principle of founded derivation, computing answer sets of hex programs requires an external (e-) minimality check for answer set candidates in order to prevent cyclic justifications via external sources. Due to the generic nature of external sources, the check can be a bottleneck in practice. To mitigate this, various optimizations have been developed previously, including the use of syntactic information about atom dependencies in order to detect cases when an e-minimality check can be avoided. However, the approach largely over-approximates the real dependencies due to the black-box nature of external sources. We thus consider in this work the use of semantic information for achieving better approximations. To this end, we introduce input-output (io-) dependencies for external sources, which intuitively link the occurrence of values in the result of a call to an external source to the occurrence of values in the input provided to this call. It appears that disposing of information about io-dependencies significantly increases the potential for pruning e-minimality checks, and an empirical evaluation exhibits a clear benefit of this approach. Moreover, we study semantic and computational properties of io-dependencies and provide algorithms for constructing and optimizing sets of io-dependencies. Our work aims at laying some foundations for the use of semantic dependency information in external source access from ASP. The results are not limited to hex programs, but may analogously be deployed to other approaches that integrate external sources into ASP, such as clingo or wasp with external propagators. Furthermore, the results may be applied in other parts of the hex program evaluation pipeline as well." @default.
• W3093047347 created "2020-10-22" @default.
• W3093047347 creator A5067482871 @default.
• W3093047347 creator A5082178480 @default.
• W3093047347 date "2021-01-01" @default.
• W3093047347 modified "2023-10-14" @default.
• W3093047347 title "Pruning external minimality checking for answer set programs using semantic dependencies" @default.
• W3093047347 cites W1481397690 @default.
• W3093047347 cites W1482532598 @default.
• W3093047347 cites W1484110122 @default.
• W3093047347 cites W1489151559 @default.
• W3093047347 cites W1494192115 @default.
• W3093047347 cites W1511986666 @default.
• W3093047347 cites W1545524531 @default.
• W3093047347 cites W1558832481 @default.
• W3093047347 cites W1590284853 @default.
• W3093047347 cites W1672891595 @default.
• W3093047347 cites W1680797894 @default.
• W3093047347 cites W1854652430 @default.
• W3093047347 cites W1948516912 @default.
• W3093047347 cites W1967527902 @default.
• W3093047347 cites W1976055110 @default.
• W3093047347 cites W2033978538 @default.
• W3093047347 cites W2039585983 @default.
• W3093047347 cites W2043507528 @default.
• W3093047347 cites W2064864283 @default.
• W3093047347 cites W2065939997 @default.
• W3093047347 cites W2066812801 @default.
• W3093047347 cites W2076698873 @default.
• W3093047347 cites W2089928029 @default.
• W3093047347 cites W2091138122 @default.
• W3093047347 cites W2102022086 @default.
• W3093047347 cites W2114660707 @default.
• W3093047347 cites W2115822498 @default.
• W3093047347 cites W2127637733 @default.
• W3093047347 cites W2134483537 @default.
• W3093047347 cites W2136105968 @default.
• W3093047347 cites W2136793698 @default.
• W3093047347 cites W2139861604 @default.
• W3093047347 cites W2139922246 @default.
• W3093047347 cites W2141740710 @default.
• W3093047347 cites W2147921232 @default.
• W3093047347 cites W2153361264 @default.
• W3093047347 cites W2154996176 @default.
• W3093047347 cites W2156347478 @default.
• W3093047347 cites W2156622158 @default.
• W3093047347 cites W2157334516 @default.
• W3093047347 cites W2216731131 @default.
• W3093047347 cites W2272418519 @default.
• W3093047347 cites W2295882966 @default.
• W3093047347 cites W2296107922 @default.
• W3093047347 cites W2345221957 @default.
• W3093047347 cites W2417688306 @default.
• W3093047347 cites W2486252313 @default.
• W3093047347 cites W2512687029 @default.
• W3093047347 cites W2540236031 @default.
• W3093047347 cites W2542981480 @default.
• W3093047347 cites W2571958538 @default.
• W3093047347 cites W2578444662 @default.
• W3093047347 cites W2578895614 @default.
• W3093047347 cites W2613167372 @default.
• W3093047347 cites W2804975344 @default.
• W3093047347 cites W2806496645 @default.
• W3093047347 cites W2807620773 @default.
• W3093047347 cites W2808078614 @default.
• W3093047347 cites W2893962822 @default.
• W3093047347 cites W2898857312 @default.
• W3093047347 cites W2913665964 @default.
• W3093047347 cites W2942692655 @default.
• W3093047347 cites W2944557193 @default.
• W3093047347 cites W3103989664 @default.
• W3093047347 cites W3106329485 @default.
• W3093047347 cites W62589538 @default.
• W3093047347 cites W80602063 @default.
• W3093047347 cites W83347188 @default.
• W3093047347 cites W87038551 @default.
• W3093047347 cites W894566424 @default.
• W3093047347 cites W2071784417 @default.
• W3093047347 cites W2460803124 @default.
• W3093047347 cites W2624509565 @default.
• W3093047347 doi "https://doi.org/10.1016/j.artint.2020.103402" @default.
• W3093047347 hasPublicationYear "2021" @default.
• W3093047347 type Work @default.
• W3093047347 sameAs 3093047347 @default.
• W3093047347 citedByCount "0" @default.
• W3093047347 crossrefType "journal-article" @default.
• W3093047347 hasAuthorship W3093047347A5067482871 @default.
• W3093047347 hasAuthorship W3093047347A5082178480 @default.
• W3093047347 hasBestOaLocation W30930473471 @default.
• W3093047347 hasConcept C10138342 @default.
• W3093047347 hasConcept C108010975 @default.
• W3093047347 hasConcept C146834321 @default.
• W3093047347 hasConcept C149635348 @default.
• W3093047347 hasConcept C154690210 @default.
• W3093047347 hasConcept C162324750 @default.
• W3093047347 hasConcept C177264268 @default.
• W3093047347 hasConcept C182306322 @default.
• W3093047347 hasConcept C182620335 @default.

• next