FRINK Linked Data Fragments server

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

• W2951775186 abstract "This note is about the relationship between two theories of negation as failure -- one based on program completion, the other based on stable models, or answer sets. Francois Fages showed that if a logic program satisfies a certain syntactic condition, which is now called ``tightness,'' then its stable models can be characterized as the models of its completion. We extend the definition of tightness and Fages' theorem to programs with nested expressions in the bodies of rules, and study tight logic programs containing the definition of the transitive closure of a predicate." @default.
• W2951775186 created "2019-06-27" @default.
• W2951775186 creator A5016455314 @default.
• W2951775186 creator A5076917986 @default.
• W2951775186 date "2003-02-28" @default.
• W2951775186 modified "2023-09-27" @default.
• W2951775186 title "Tight Logic Programs" @default.
• W2951775186 cites W1481294694 @default.
• W2951775186 cites W1511336005 @default.
• W2951775186 cites W1566723378 @default.
• W2951775186 cites W1630259549 @default.
• W2951775186 cites W1672891595 @default.
• W2951775186 cites W1694306392 @default.
• W2951775186 cites W1757148883 @default.
• W2951775186 cites W1766332311 @default.
• W2951775186 cites W1985819576 @default.
• W2951775186 cites W2011124182 @default.
• W2951775186 cites W2022482529 @default.
• W2951775186 cites W2076698873 @default.
• W2951775186 cites W2090798572 @default.
• W2951775186 cites W2092211394 @default.
• W2951775186 cites W2143117796 @default.
• W2951775186 cites W2399343913 @default.
• W2951775186 cites W2950379551 @default.
• W2951775186 hasPublicationYear "2003" @default.
• W2951775186 type Work @default.
• W2951775186 sameAs 2951775186 @default.
• W2951775186 citedByCount "3" @default.
• W2951775186 countsByYear W29517751862016 @default.
• W2951775186 countsByYear W29517751862018 @default.
• W2951775186 crossrefType "posted-content" @default.
• W2951775186 hasAuthorship W2951775186A5016455314 @default.
• W2951775186 hasAuthorship W2951775186A5076917986 @default.
• W2951775186 hasConcept C102993220 @default.
• W2951775186 hasConcept C114614502 @default.
• W2951775186 hasConcept C118615104 @default.
• W2951775186 hasConcept C127001435 @default.
• W2951775186 hasConcept C128838566 @default.
• W2951775186 hasConcept C128896722 @default.
• W2951775186 hasConcept C140146324 @default.
• W2951775186 hasConcept C146834321 @default.
• W2951775186 hasConcept C162324750 @default.
• W2951775186 hasConcept C191399111 @default.
• W2951775186 hasConcept C194146651 @default.
• W2951775186 hasConcept C19689857 @default.
• W2951775186 hasConcept C199343813 @default.
• W2951775186 hasConcept C199360897 @default.
• W2951775186 hasConcept C203659156 @default.
• W2951775186 hasConcept C2185349 @default.
• W2951775186 hasConcept C2777686260 @default.
• W2951775186 hasConcept C2987117450 @default.
• W2951775186 hasConcept C33923547 @default.
• W2951775186 hasConcept C34447519 @default.
• W2951775186 hasConcept C41008148 @default.
• W2951775186 hasConcept C71924100 @default.
• W2951775186 hasConceptScore W2951775186C102993220 @default.
• W2951775186 hasConceptScore W2951775186C114614502 @default.
• W2951775186 hasConceptScore W2951775186C118615104 @default.
• W2951775186 hasConceptScore W2951775186C127001435 @default.
• W2951775186 hasConceptScore W2951775186C128838566 @default.
• W2951775186 hasConceptScore W2951775186C128896722 @default.
• W2951775186 hasConceptScore W2951775186C140146324 @default.
• W2951775186 hasConceptScore W2951775186C146834321 @default.
• W2951775186 hasConceptScore W2951775186C162324750 @default.
• W2951775186 hasConceptScore W2951775186C191399111 @default.
• W2951775186 hasConceptScore W2951775186C194146651 @default.
• W2951775186 hasConceptScore W2951775186C19689857 @default.
• W2951775186 hasConceptScore W2951775186C199343813 @default.
• W2951775186 hasConceptScore W2951775186C199360897 @default.
• W2951775186 hasConceptScore W2951775186C203659156 @default.
• W2951775186 hasConceptScore W2951775186C2185349 @default.
• W2951775186 hasConceptScore W2951775186C2777686260 @default.
• W2951775186 hasConceptScore W2951775186C2987117450 @default.
• W2951775186 hasConceptScore W2951775186C33923547 @default.
• W2951775186 hasConceptScore W2951775186C34447519 @default.
• W2951775186 hasConceptScore W2951775186C41008148 @default.
• W2951775186 hasConceptScore W2951775186C71924100 @default.
• W2951775186 hasLocation W29517751861 @default.
• W2951775186 hasOpenAccess W2951775186 @default.
• W2951775186 hasPrimaryLocation W29517751861 @default.
• W2951775186 hasRelatedWork W140514157 @default.
• W2951775186 hasRelatedWork W1537924813 @default.
• W2951775186 hasRelatedWork W1567452831 @default.
• W2951775186 hasRelatedWork W1694306392 @default.
• W2951775186 hasRelatedWork W1706499668 @default.
• W2951775186 hasRelatedWork W1843148560 @default.
• W2951775186 hasRelatedWork W1971626643 @default.
• W2951775186 hasRelatedWork W2011185234 @default.
• W2951775186 hasRelatedWork W2024932524 @default.
• W2951775186 hasRelatedWork W2038181165 @default.
• W2951775186 hasRelatedWork W2082729761 @default.
• W2951775186 hasRelatedWork W2157221482 @default.
• W2951775186 hasRelatedWork W2158059231 @default.
• W2951775186 hasRelatedWork W2171987376 @default.
• W2951775186 hasRelatedWork W2183965288 @default.
• W2951775186 hasRelatedWork W2544147186 @default.
• W2951775186 hasRelatedWork W2951255681 @default.
• W2951775186 hasRelatedWork W3021487187 @default.
• W2951775186 hasRelatedWork W349962764 @default.
• W2951775186 hasRelatedWork W96313477 @default.

• next