FRINK Linked Data Fragments server

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

• W1581142181 endingPage "196" @default.
• W1581142181 startingPage "189" @default.
• W1581142181 abstract "The relation between answer set programming (ASP) and propositional satisfiability (SAT) is at the center of many research papers, partly because of the tremendous performance boost of SAT solvers during last years. Various translations from ASP to SAT are known but the resulting SAT formula either includes many new variables or may have an unpractical size. There are also well known results showing a one-to-one correspondence between the answer sets of a logic program and the models of its completion. Unfortunately, these results only work for specific classes of problems. In this paper we present a SAT-Based decision procedure for answer set programming that (i) deals with any (non disjunctive) logic program, (ii) works on a SAT formula without additional variables, and (iii) is guaranteed to work in polynomial space. Further, our procedure can be extended to compute all the answer sets still working in polynomial space. The experimental results of a prototypical implementation show that the approach can pay off sometimes by orders of magnitude when computing one solution, and it is competitive when computing all solutions." @default.
• W1581142181 created "2016-06-24" @default.
• W1581142181 creator A5004609930 @default.
• W1581142181 creator A5008816972 @default.
• W1581142181 creator A5077756388 @default.
• W1581142181 date "2004-01-01" @default.
• W1581142181 modified "2023-09-25" @default.
• W1581142181 title "A SAT-Based Polynomial Space Algorithm for Answer Set Programming" @default.
• W1581142181 cites W1481594011 @default.
• W1581142181 cites W1481719343 @default.
• W1581142181 cites W1485332185 @default.
• W1581142181 cites W1516600063 @default.
• W1581142181 cites W1567452831 @default.
• W1581142181 cites W1573411777 @default.
• W1581142181 cites W1605107773 @default.
• W1581142181 cites W1605586974 @default.
• W1581142181 cites W1630259549 @default.
• W1581142181 cites W1694306392 @default.
• W1581142181 cites W1766332311 @default.
• W1581142181 cites W1870613593 @default.
• W1581142181 cites W1985819576 @default.
• W1581142181 cites W2005465900 @default.
• W1581142181 cites W2023141722 @default.
• W1581142181 cites W2057361103 @default.
• W1581142181 cites W2087563242 @default.
• W1581142181 cites W2119055724 @default.
• W1581142181 cites W2142785340 @default.
• W1581142181 cites W2152131859 @default.
• W1581142181 cites W2158059231 @default.
• W1581142181 cites W2399343913 @default.
• W1581142181 cites W28273612 @default.
• W1581142181 cites W2951494809 @default.
• W1581142181 cites W73864267 @default.
• W1581142181 hasPublicationYear "2004" @default.
• W1581142181 type Work @default.
• W1581142181 sameAs 1581142181 @default.
• W1581142181 citedByCount "2" @default.
• W1581142181 crossrefType "proceedings-article" @default.
• W1581142181 hasAuthorship W1581142181A5004609930 @default.
• W1581142181 hasAuthorship W1581142181A5008816972 @default.
• W1581142181 hasAuthorship W1581142181A5077756388 @default.
• W1581142181 hasConcept C102993220 @default.
• W1581142181 hasConcept C111797529 @default.
• W1581142181 hasConcept C111919701 @default.
• W1581142181 hasConcept C11413529 @default.
• W1581142181 hasConcept C127001435 @default.
• W1581142181 hasConcept C128838566 @default.
• W1581142181 hasConcept C134306372 @default.
• W1581142181 hasConcept C168773769 @default.
• W1581142181 hasConcept C177264268 @default.
• W1581142181 hasConcept C179799912 @default.
• W1581142181 hasConcept C182620335 @default.
• W1581142181 hasConcept C187455244 @default.
• W1581142181 hasConcept C197685441 @default.
• W1581142181 hasConcept C199360897 @default.
• W1581142181 hasConcept C203659156 @default.
• W1581142181 hasConcept C25343380 @default.
• W1581142181 hasConcept C2778572836 @default.
• W1581142181 hasConcept C33923547 @default.
• W1581142181 hasConcept C41008148 @default.
• W1581142181 hasConcept C6943359 @default.
• W1581142181 hasConcept C69562738 @default.
• W1581142181 hasConcept C77088390 @default.
• W1581142181 hasConcept C80444323 @default.
• W1581142181 hasConcept C90119067 @default.
• W1581142181 hasConceptScore W1581142181C102993220 @default.
• W1581142181 hasConceptScore W1581142181C111797529 @default.
• W1581142181 hasConceptScore W1581142181C111919701 @default.
• W1581142181 hasConceptScore W1581142181C11413529 @default.
• W1581142181 hasConceptScore W1581142181C127001435 @default.
• W1581142181 hasConceptScore W1581142181C128838566 @default.
• W1581142181 hasConceptScore W1581142181C134306372 @default.
• W1581142181 hasConceptScore W1581142181C168773769 @default.
• W1581142181 hasConceptScore W1581142181C177264268 @default.
• W1581142181 hasConceptScore W1581142181C179799912 @default.
• W1581142181 hasConceptScore W1581142181C182620335 @default.
• W1581142181 hasConceptScore W1581142181C187455244 @default.
• W1581142181 hasConceptScore W1581142181C197685441 @default.
• W1581142181 hasConceptScore W1581142181C199360897 @default.
• W1581142181 hasConceptScore W1581142181C203659156 @default.
• W1581142181 hasConceptScore W1581142181C25343380 @default.
• W1581142181 hasConceptScore W1581142181C2778572836 @default.
• W1581142181 hasConceptScore W1581142181C33923547 @default.
• W1581142181 hasConceptScore W1581142181C41008148 @default.
• W1581142181 hasConceptScore W1581142181C6943359 @default.
• W1581142181 hasConceptScore W1581142181C69562738 @default.
• W1581142181 hasConceptScore W1581142181C77088390 @default.
• W1581142181 hasConceptScore W1581142181C80444323 @default.
• W1581142181 hasConceptScore W1581142181C90119067 @default.
• W1581142181 hasLocation W15811421811 @default.
• W1581142181 hasOpenAccess W1581142181 @default.
• W1581142181 hasPrimaryLocation W15811421811 @default.
• W1581142181 hasRelatedWork W1492439953 @default.
• W1581142181 hasRelatedWork W1499043148 @default.
• W1581142181 hasRelatedWork W1607919398 @default.
• W1581142181 hasRelatedWork W1712761282 @default.
• W1581142181 hasRelatedWork W2004414305 @default.
• W1581142181 hasRelatedWork W2100699693 @default.

• next