FRINK Linked Data Fragments server

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

• W2100699693 endingPage "377" @default.
• W2100699693 startingPage "345" @default.
• W2100699693 abstract "Answer set programming (ASP) emerged in the late 1990s as a new logic programming paradigm that has been successfully applied in various application domains. Also motivated by the availability of efficient solvers for propositional satisfiability (SAT), various reductions from logic programs to SAT were introduced. All these reductions, however, are limited to a subclass of logic programs or introduce new variables or may produce exponentially bigger propositional formulas. In this paper, we present a SAT-based procedure, called ASPSAT, that (1) deals with any (nondisjunctive) logic program, (2) works on a propositional formula without additional variables (except for those possibly introduced by the clause form transformation), and (3) is guaranteed to work in polynomial space. From a theoretical perspective, we prove soundness and completeness of ASPSAT. From a practical perspective, we have (1) implemented ASPSAT in Cmodels, (2) extended the basic procedures in order to incorporate the most popular SAT reasoning strategies, and (3) conducted an extensive comparative analysis involving other state-of-the-art answer set solvers. The experimental analysis shows that our solver is competitive with the other solvers we considered and that the reasoning strategies that work best on ‘small but hard’ problems are ineffective on ‘big but easy’ problems and vice versa." @default.
• W2100699693 created "2016-06-24" @default.
• W2100699693 creator A5004609930 @default.
• W2100699693 creator A5008816972 @default.
• W2100699693 creator A5077756388 @default.
• W2100699693 date "2006-09-29" @default.
• W2100699693 modified "2023-10-17" @default.
• W2100699693 title "Answer Set Programming Based on Propositional Satisfiability" @default.
• W2100699693 cites W1481294694 @default.
• W2100699693 cites W1481594011 @default.
• W2100699693 cites W1484108514 @default.
• W2100699693 cites W1488953105 @default.
• W2100699693 cites W1490538910 @default.
• W2100699693 cites W1498722751 @default.
• W2100699693 cites W1512767 @default.
• W2100699693 cites W1516600063 @default.
• W2100699693 cites W1594518690 @default.
• W2100699693 cites W1596013090 @default.
• W2100699693 cites W1605107773 @default.
• W2100699693 cites W1639901403 @default.
• W2100699693 cites W1694306392 @default.
• W2100699693 cites W1766332311 @default.
• W2100699693 cites W1834186039 @default.
• W2100699693 cites W1948299783 @default.
• W2100699693 cites W1976055110 @default.
• W2100699693 cites W1985819576 @default.
• W2100699693 cites W1999997889 @default.
• W2100699693 cites W2004414305 @default.
• W2100699693 cites W2011124182 @default.
• W2100699693 cites W2011992362 @default.
• W2100699693 cites W2023141722 @default.
• W2100699693 cites W2056850725 @default.
• W2100699693 cites W2057361103 @default.
• W2100699693 cites W2076698873 @default.
• W2100699693 cites W2079430756 @default.
• W2100699693 cites W2087563242 @default.
• W2100699693 cites W2119055724 @default.
• W2100699693 cites W2142785340 @default.
• W2100699693 cites W2149987967 @default.
• W2100699693 cites W2152131859 @default.
• W2100699693 cites W2166342416 @default.
• W2100699693 cites W2170813482 @default.
• W2100699693 cites W2506980730 @default.
• W2100699693 cites W4245630182 @default.
• W2100699693 doi "https://doi.org/10.1007/s10817-006-9033-2" @default.
• W2100699693 hasPublicationYear "2006" @default.
• W2100699693 type Work @default.
• W2100699693 sameAs 2100699693 @default.
• W2100699693 citedByCount "150" @default.
• W2100699693 countsByYear W21006996932012 @default.
• W2100699693 countsByYear W21006996932013 @default.
• W2100699693 countsByYear W21006996932014 @default.
• W2100699693 countsByYear W21006996932015 @default.
• W2100699693 countsByYear W21006996932016 @default.
• W2100699693 countsByYear W21006996932017 @default.
• W2100699693 countsByYear W21006996932018 @default.
• W2100699693 countsByYear W21006996932019 @default.
• W2100699693 countsByYear W21006996932020 @default.
• W2100699693 countsByYear W21006996932021 @default.
• W2100699693 countsByYear W21006996932023 @default.
• W2100699693 crossrefType "journal-article" @default.
• W2100699693 hasAuthorship W2100699693A5004609930 @default.
• W2100699693 hasAuthorship W2100699693A5008816972 @default.
• W2100699693 hasAuthorship W2100699693A5077756388 @default.
• W2100699693 hasBestOaLocation W21006996932 @default.
• W2100699693 hasConcept C102993220 @default.
• W2100699693 hasConcept C110039528 @default.
• W2100699693 hasConcept C14523651 @default.
• W2100699693 hasConcept C168773769 @default.
• W2100699693 hasConcept C177264268 @default.
• W2100699693 hasConcept C182620335 @default.
• W2100699693 hasConcept C191222856 @default.
• W2100699693 hasConcept C199360897 @default.
• W2100699693 hasConcept C203659156 @default.
• W2100699693 hasConcept C33203268 @default.
• W2100699693 hasConcept C33923547 @default.
• W2100699693 hasConcept C3845977 @default.
• W2100699693 hasConcept C39920170 @default.
• W2100699693 hasConcept C41008148 @default.
• W2100699693 hasConcept C6943359 @default.
• W2100699693 hasConcept C69562738 @default.
• W2100699693 hasConcept C74640108 @default.
• W2100699693 hasConcept C80444323 @default.
• W2100699693 hasConceptScore W2100699693C102993220 @default.
• W2100699693 hasConceptScore W2100699693C110039528 @default.
• W2100699693 hasConceptScore W2100699693C14523651 @default.
• W2100699693 hasConceptScore W2100699693C168773769 @default.
• W2100699693 hasConceptScore W2100699693C177264268 @default.
• W2100699693 hasConceptScore W2100699693C182620335 @default.
• W2100699693 hasConceptScore W2100699693C191222856 @default.
• W2100699693 hasConceptScore W2100699693C199360897 @default.
• W2100699693 hasConceptScore W2100699693C203659156 @default.
• W2100699693 hasConceptScore W2100699693C33203268 @default.
• W2100699693 hasConceptScore W2100699693C33923547 @default.
• W2100699693 hasConceptScore W2100699693C3845977 @default.
• W2100699693 hasConceptScore W2100699693C39920170 @default.
• W2100699693 hasConceptScore W2100699693C41008148 @default.
• W2100699693 hasConceptScore W2100699693C6943359 @default.

• next