FRINK Linked Data Fragments server

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

• W8763005 abstract "Schlipf (Schlipf 1995) proved that the Stable Logic Programming solves all NP decision problems. We extend Schlipf’s result to all search problems in the class NP. Moreover, we do this in a uniform way as defined in (Marek & Truszczyfiski 1999). Specifically, we show that there is a single DATALOG ~ program Pr~ so that for every Turing machine T, every polynomial with nonnegative coedicients p, every positive integer n and an input cr of size at most n over a fixed alphabet E there is a polynomial-time encoding of the machine M and the input as an extensional database edbM,p,, so that there is a one-to-one correspondence between the stable models of edbM,p,, U P~ and accepting computations of the machine M that reach the final state in at most p(n) steps. The decoding of computations form stable models is done in polynomial (in fact linear), time as well." @default.
• W8763005 created "2016-06-24" @default.
• W8763005 creator A5048411051 @default.
• W8763005 creator A5090907219 @default.
• W8763005 date "2001-01-01" @default.
• W8763005 modified "2023-09-27" @default.
• W8763005 title "On the Foundations of Answer Set Programming" @default.
• W8763005 cites W1494051470 @default.
• W8763005 cites W1511336005 @default.
• W8763005 cites W1558832481 @default.
• W8763005 cites W1560971821 @default.
• W8763005 cites W1580831253 @default.
• W8763005 cites W1589232796 @default.
• W8763005 cites W163949134 @default.
• W8763005 cites W1639901403 @default.
• W8763005 cites W1774324140 @default.
• W8763005 cites W197957271 @default.
• W8763005 cites W1984715534 @default.
• W8763005 cites W2007993940 @default.
• W8763005 cites W2011039300 @default.
• W8763005 cites W2036265926 @default.
• W8763005 cites W2038181165 @default.
• W8763005 cites W2043182143 @default.
• W8763005 cites W2047885920 @default.
• W8763005 cites W2063727779 @default.
• W8763005 cites W2090079575 @default.
• W8763005 cites W2111353076 @default.
• W8763005 cites W2114568665 @default.
• W8763005 cites W2120869002 @default.
• W8763005 cites W2162621793 @default.
• W8763005 cites W2482804480 @default.
• W8763005 cites W2611415697 @default.
• W8763005 cites W2612793397 @default.
• W8763005 cites W3150785826 @default.
• W8763005 cites W73864267 @default.
• W8763005 cites W83671853 @default.
• W8763005 hasPublicationYear "2001" @default.
• W8763005 type Work @default.
• W8763005 sameAs 8763005 @default.
• W8763005 citedByCount "11" @default.
• W8763005 crossrefType "journal-article" @default.
• W8763005 hasAuthorship W8763005A5048411051 @default.
• W8763005 hasAuthorship W8763005A5090907219 @default.
• W8763005 hasConcept C11413529 @default.
• W8763005 hasConcept C114614502 @default.
• W8763005 hasConcept C118615104 @default.
• W8763005 hasConcept C134306372 @default.
• W8763005 hasConcept C148230440 @default.
• W8763005 hasConcept C154945302 @default.
• W8763005 hasConcept C177264268 @default.
• W8763005 hasConcept C199360897 @default.
• W8763005 hasConcept C2777212361 @default.
• W8763005 hasConcept C29248071 @default.
• W8763005 hasConcept C311688 @default.
• W8763005 hasConcept C33923547 @default.
• W8763005 hasConcept C41008148 @default.
• W8763005 hasConcept C45374587 @default.
• W8763005 hasConcept C48103436 @default.
• W8763005 hasConcept C80444323 @default.
• W8763005 hasConcept C90119067 @default.
• W8763005 hasConceptScore W8763005C11413529 @default.
• W8763005 hasConceptScore W8763005C114614502 @default.
• W8763005 hasConceptScore W8763005C118615104 @default.
• W8763005 hasConceptScore W8763005C134306372 @default.
• W8763005 hasConceptScore W8763005C148230440 @default.
• W8763005 hasConceptScore W8763005C154945302 @default.
• W8763005 hasConceptScore W8763005C177264268 @default.
• W8763005 hasConceptScore W8763005C199360897 @default.
• W8763005 hasConceptScore W8763005C2777212361 @default.
• W8763005 hasConceptScore W8763005C29248071 @default.
• W8763005 hasConceptScore W8763005C311688 @default.
• W8763005 hasConceptScore W8763005C33923547 @default.
• W8763005 hasConceptScore W8763005C41008148 @default.
• W8763005 hasConceptScore W8763005C45374587 @default.
• W8763005 hasConceptScore W8763005C48103436 @default.
• W8763005 hasConceptScore W8763005C80444323 @default.
• W8763005 hasConceptScore W8763005C90119067 @default.
• W8763005 hasLocation W87630051 @default.
• W8763005 hasOpenAccess W8763005 @default.
• W8763005 hasPrimaryLocation W87630051 @default.
• W8763005 hasRelatedWork W1490869027 @default.
• W8763005 hasRelatedWork W1505451709 @default.
• W8763005 hasRelatedWork W1550520062 @default.
• W8763005 hasRelatedWork W1639901403 @default.
• W8763005 hasRelatedWork W1672891595 @default.
• W8763005 hasRelatedWork W2011039300 @default.
• W8763005 hasRelatedWork W2031206336 @default.
• W8763005 hasRelatedWork W2053392671 @default.
• W8763005 hasRelatedWork W2076698873 @default.
• W8763005 hasRelatedWork W2088158977 @default.
• W8763005 hasRelatedWork W2152131859 @default.
• W8763005 hasRelatedWork W2188580701 @default.
• W8763005 hasRelatedWork W2277660667 @default.
• W8763005 hasRelatedWork W2283590027 @default.
• W8763005 hasRelatedWork W2397943364 @default.
• W8763005 hasRelatedWork W2577192446 @default.
• W8763005 hasRelatedWork W2612793397 @default.
• W8763005 hasRelatedWork W2966219567 @default.
• W8763005 hasRelatedWork W73864267 @default.
• W8763005 hasRelatedWork W83671853 @default.

• next