FRINK Linked Data Fragments server

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

• W2018172994 endingPage "204" @default.
• W2018172994 startingPage "169" @default.
• W2018172994 abstract "In this paper, we study the relation among Answer Set Programming (ASP) systems from a computational point of view. We consider smodels, dlv, and cmodels ASP systems based on stable model semantics, the first two being native ASP systems and the last being a SAT-based system. We first show that smodels, dlv, and cmodels explore search trees with the same branching nodes (assuming, of course, a same branching heuristic) on the class of tight logic programs. Leveraging on the fact that SAT-based systems rely on the deeply studied Davis–Logemann–Loveland (dll) algorithm, we derive new complexity results for the ASP procedures. We also show that on nontight programs the SAT-based systems are computationally different from native procedures, and the latter have computational advantages. Moreover, we show that native procedures can guarantee the “correctness” of a reported solution when reaching the leaves of the search trees (i.e., no stability check is needed), while this is not the case for SAT-based procedures on nontight programs. A similar advantage holds for dlv in comparison with smodels if the “well-founded” operator is disabled and only Fitting’s operator is used for negative inferences. We finally study the “cost” of achieving such advantages and comment on to what extent the results presented extend to other systems." @default.
• W2018172994 created "2016-06-24" @default.
• W2018172994 creator A5002604860 @default.
• W2018172994 creator A5004609930 @default.
• W2018172994 creator A5077756388 @default.
• W2018172994 date "2008-08-01" @default.
• W2018172994 modified "2023-09-25" @default.
• W2018172994 title "On the relation among answer set solvers" @default.
• W2018172994 cites W1490538910 @default.
• W2018172994 cites W1523419405 @default.
• W2018172994 cites W1533970988 @default.
• W2018172994 cites W1544722557 @default.
• W2018172994 cites W1546511472 @default.
• W2018172994 cites W1564382958 @default.
• W2018172994 cites W1587330991 @default.
• W2018172994 cites W1720682562 @default.
• W2018172994 cites W1766332311 @default.
• W2018172994 cites W1939280782 @default.
• W2018172994 cites W1976055110 @default.
• W2018172994 cites W2004414305 @default.
• W2018172994 cites W2011124182 @default.
• W2018172994 cites W2011992362 @default.
• W2018172994 cites W2022846948 @default.
• W2018172994 cites W2036241121 @default.
• W2018172994 cites W2050842068 @default.
• W2018172994 cites W2057832617 @default.
• W2018172994 cites W2069767473 @default.
• W2018172994 cites W2076698873 @default.
• W2018172994 cites W2079430756 @default.
• W2018172994 cites W2100699693 @default.
• W2018172994 cites W2105869173 @default.
• W2018172994 cites W2117005051 @default.
• W2018172994 cites W2118406528 @default.
• W2018172994 cites W2126420408 @default.
• W2018172994 cites W2134954143 @default.
• W2018172994 cites W2142785340 @default.
• W2018172994 cites W2143404729 @default.
• W2018172994 cites W2152131859 @default.
• W2018172994 cites W2158059231 @default.
• W2018172994 cites W2166342416 @default.
• W2018172994 cites W2167808293 @default.
• W2018172994 cites W4245630182 @default.
• W2018172994 doi "https://doi.org/10.1007/s10472-009-9113-1" @default.
• W2018172994 hasPublicationYear "2008" @default.
• W2018172994 type Work @default.
• W2018172994 sameAs 2018172994 @default.
• W2018172994 citedByCount "28" @default.
• W2018172994 countsByYear W20181729942012 @default.
• W2018172994 countsByYear W20181729942013 @default.
• W2018172994 countsByYear W20181729942014 @default.
• W2018172994 countsByYear W20181729942015 @default.
• W2018172994 countsByYear W20181729942016 @default.
• W2018172994 countsByYear W20181729942017 @default.
• W2018172994 countsByYear W20181729942018 @default.
• W2018172994 countsByYear W20181729942019 @default.
• W2018172994 countsByYear W20181729942021 @default.
• W2018172994 countsByYear W20181729942022 @default.
• W2018172994 crossrefType "journal-article" @default.
• W2018172994 hasAuthorship W2018172994A5002604860 @default.
• W2018172994 hasAuthorship W2018172994A5004609930 @default.
• W2018172994 hasAuthorship W2018172994A5077756388 @default.
• W2018172994 hasBestOaLocation W20181729942 @default.
• W2018172994 hasConcept C104317684 @default.
• W2018172994 hasConcept C11413529 @default.
• W2018172994 hasConcept C127001435 @default.
• W2018172994 hasConcept C128838566 @default.
• W2018172994 hasConcept C154945302 @default.
• W2018172994 hasConcept C156325763 @default.
• W2018172994 hasConcept C158448853 @default.
• W2018172994 hasConcept C159985019 @default.
• W2018172994 hasConcept C17020691 @default.
• W2018172994 hasConcept C173801870 @default.
• W2018172994 hasConcept C177264268 @default.
• W2018172994 hasConcept C182620335 @default.
• W2018172994 hasConcept C184337299 @default.
• W2018172994 hasConcept C185592680 @default.
• W2018172994 hasConcept C192562407 @default.
• W2018172994 hasConcept C199360897 @default.
• W2018172994 hasConcept C206175624 @default.
• W2018172994 hasConcept C2777212361 @default.
• W2018172994 hasConcept C41008148 @default.
• W2018172994 hasConcept C55439883 @default.
• W2018172994 hasConcept C55493867 @default.
• W2018172994 hasConcept C80444323 @default.
• W2018172994 hasConcept C86339819 @default.
• W2018172994 hasConceptScore W2018172994C104317684 @default.
• W2018172994 hasConceptScore W2018172994C11413529 @default.
• W2018172994 hasConceptScore W2018172994C127001435 @default.
• W2018172994 hasConceptScore W2018172994C128838566 @default.
• W2018172994 hasConceptScore W2018172994C154945302 @default.
• W2018172994 hasConceptScore W2018172994C156325763 @default.
• W2018172994 hasConceptScore W2018172994C158448853 @default.
• W2018172994 hasConceptScore W2018172994C159985019 @default.
• W2018172994 hasConceptScore W2018172994C17020691 @default.
• W2018172994 hasConceptScore W2018172994C173801870 @default.
• W2018172994 hasConceptScore W2018172994C177264268 @default.
• W2018172994 hasConceptScore W2018172994C182620335 @default.
• W2018172994 hasConceptScore W2018172994C184337299 @default.

• next