Matches in SemOpenAlex for { <https://semopenalex.org/work/W2950691337> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2950691337 abstract "In [Hitzler and Wendt 2002, 2005], a new methodology has been proposed which allows to derive uniform characterizations of different declarative semantics for logic programs with negation. One result from this work is that the well-founded semantics can formally be understood as a stratified version of the Fitting (or Kripke-Kleene) semantics. The constructions leading to this result, however, show a certain asymmetry which is not readily understood. We will study this situation here with the result that we will obtain a coherent picture of relations between different semantics for normal logic programs." @default.
- W2950691337 created "2019-06-27" @default.
- W2950691337 creator A5006872667 @default.
- W2950691337 date "2005-02-22" @default.
- W2950691337 modified "2023-09-27" @default.
- W2950691337 title "Towards a Systematic Account of Different Semantics for Logic Programs" @default.
- W2950691337 cites W1494051470 @default.
- W2950691337 cites W1503644867 @default.
- W2950691337 cites W1541434994 @default.
- W2950691337 cites W1557355701 @default.
- W2950691337 cites W1560228656 @default.
- W2950691337 cites W1672891595 @default.
- W2950691337 cites W194413726 @default.
- W2950691337 cites W1949715808 @default.
- W2950691337 cites W1968513265 @default.
- W2950691337 cites W2001805670 @default.
- W2950691337 cites W2099792091 @default.
- W2950691337 cites W2111353076 @default.
- W2950691337 cites W2141863299 @default.
- W2950691337 cites W2151403295 @default.
- W2950691337 cites W2155322595 @default.
- W2950691337 cites W2399343913 @default.
- W2950691337 cites W40670568 @default.
- W2950691337 hasPublicationYear "2005" @default.
- W2950691337 type Work @default.
- W2950691337 sameAs 2950691337 @default.
- W2950691337 citedByCount "0" @default.
- W2950691337 crossrefType "posted-content" @default.
- W2950691337 hasAuthorship W2950691337A5006872667 @default.
- W2950691337 hasConcept C102993220 @default.
- W2950691337 hasConcept C127001435 @default.
- W2950691337 hasConcept C128838566 @default.
- W2950691337 hasConcept C156325763 @default.
- W2950691337 hasConcept C160131679 @default.
- W2950691337 hasConcept C184337299 @default.
- W2950691337 hasConcept C199360897 @default.
- W2950691337 hasConcept C203659156 @default.
- W2950691337 hasConcept C207648694 @default.
- W2950691337 hasConcept C2185349 @default.
- W2950691337 hasConcept C2987117450 @default.
- W2950691337 hasConcept C41008148 @default.
- W2950691337 hasConcept C58041814 @default.
- W2950691337 hasConcept C80444323 @default.
- W2950691337 hasConcept C89497691 @default.
- W2950691337 hasConcept C9672783 @default.
- W2950691337 hasConceptScore W2950691337C102993220 @default.
- W2950691337 hasConceptScore W2950691337C127001435 @default.
- W2950691337 hasConceptScore W2950691337C128838566 @default.
- W2950691337 hasConceptScore W2950691337C156325763 @default.
- W2950691337 hasConceptScore W2950691337C160131679 @default.
- W2950691337 hasConceptScore W2950691337C184337299 @default.
- W2950691337 hasConceptScore W2950691337C199360897 @default.
- W2950691337 hasConceptScore W2950691337C203659156 @default.
- W2950691337 hasConceptScore W2950691337C207648694 @default.
- W2950691337 hasConceptScore W2950691337C2185349 @default.
- W2950691337 hasConceptScore W2950691337C2987117450 @default.
- W2950691337 hasConceptScore W2950691337C41008148 @default.
- W2950691337 hasConceptScore W2950691337C58041814 @default.
- W2950691337 hasConceptScore W2950691337C80444323 @default.
- W2950691337 hasConceptScore W2950691337C89497691 @default.
- W2950691337 hasConceptScore W2950691337C9672783 @default.
- W2950691337 hasLocation W29506913371 @default.
- W2950691337 hasOpenAccess W2950691337 @default.
- W2950691337 hasPrimaryLocation W29506913371 @default.
- W2950691337 hasRelatedWork W1496513209 @default.
- W2950691337 hasRelatedWork W1562991031 @default.
- W2950691337 hasRelatedWork W168871674 @default.
- W2950691337 hasRelatedWork W1841214625 @default.
- W2950691337 hasRelatedWork W1982016251 @default.
- W2950691337 hasRelatedWork W1996674320 @default.
- W2950691337 hasRelatedWork W2047220130 @default.
- W2950691337 hasRelatedWork W2100577610 @default.
- W2950691337 hasRelatedWork W2162300758 @default.
- W2950691337 hasRelatedWork W2169925928 @default.
- W2950691337 hasRelatedWork W2171275058 @default.
- W2950691337 hasRelatedWork W2180095669 @default.
- W2950691337 hasRelatedWork W2268902502 @default.
- W2950691337 hasRelatedWork W2403928778 @default.
- W2950691337 hasRelatedWork W2473447172 @default.
- W2950691337 hasRelatedWork W2963849301 @default.
- W2950691337 hasRelatedWork W3013003957 @default.
- W2950691337 hasRelatedWork W3087920050 @default.
- W2950691337 hasRelatedWork W3133194967 @default.
- W2950691337 hasRelatedWork W3191746977 @default.
- W2950691337 isParatext "false" @default.
- W2950691337 isRetracted "false" @default.
- W2950691337 magId "2950691337" @default.
- W2950691337 workType "article" @default.