Matches in SemOpenAlex for { <https://semopenalex.org/work/W1573175119> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W1573175119 endingPage "601" @default.
- W1573175119 startingPage "592" @default.
- W1573175119 abstract "A formalism called partial equilibrium logic (PEL) has recently been proposed as a logical foundation for the well-founded semantics (WFS) of logic programs. In PEL one defines a class of minimal models, called partial equilibrium models, in a non-classical logic, HT2. On logic programs partial equilibrium models coincide with Przymusinski’s partial stable (p-stable) models, so that PEL can be seen as a way to extend WFS and p-stable semantics to arbitrary propositional theories. We study several extensions of PEL with strong negation and compare these with previous systems extending WFS with explicit negation, notably WSFX [10] and p-stable models with “classical” negation [11]." @default.
- W1573175119 created "2016-06-24" @default.
- W1573175119 creator A5028323744 @default.
- W1573175119 creator A5072844178 @default.
- W1573175119 creator A5086810812 @default.
- W1573175119 date "2006-01-01" @default.
- W1573175119 modified "2023-09-27" @default.
- W1573175119 title "Strong Negation in Well-Founded and Partial Stable Semantics for Logic Programs" @default.
- W1573175119 cites W1582030611 @default.
- W1573175119 cites W1601726121 @default.
- W1573175119 cites W1968513265 @default.
- W1573175119 cites W1985274317 @default.
- W1573175119 cites W2076698873 @default.
- W1573175119 cites W2085084839 @default.
- W1573175119 cites W2126833102 @default.
- W1573175119 cites W4212796991 @default.
- W1573175119 cites W4245674526 @default.
- W1573175119 doi "https://doi.org/10.1007/11874850_63" @default.
- W1573175119 hasPublicationYear "2006" @default.
- W1573175119 type Work @default.
- W1573175119 sameAs 1573175119 @default.
- W1573175119 citedByCount "4" @default.
- W1573175119 crossrefType "book-chapter" @default.
- W1573175119 hasAuthorship W1573175119A5028323744 @default.
- W1573175119 hasAuthorship W1573175119A5072844178 @default.
- W1573175119 hasAuthorship W1573175119A5086810812 @default.
- W1573175119 hasBestOaLocation W15731751192 @default.
- W1573175119 hasConcept C127001435 @default.
- W1573175119 hasConcept C156325763 @default.
- W1573175119 hasConcept C184337299 @default.
- W1573175119 hasConcept C194146651 @default.
- W1573175119 hasConcept C199360897 @default.
- W1573175119 hasConcept C2185349 @default.
- W1573175119 hasConcept C41008148 @default.
- W1573175119 hasConceptScore W1573175119C127001435 @default.
- W1573175119 hasConceptScore W1573175119C156325763 @default.
- W1573175119 hasConceptScore W1573175119C184337299 @default.
- W1573175119 hasConceptScore W1573175119C194146651 @default.
- W1573175119 hasConceptScore W1573175119C199360897 @default.
- W1573175119 hasConceptScore W1573175119C2185349 @default.
- W1573175119 hasConceptScore W1573175119C41008148 @default.
- W1573175119 hasLocation W15731751191 @default.
- W1573175119 hasLocation W15731751192 @default.
- W1573175119 hasOpenAccess W1573175119 @default.
- W1573175119 hasPrimaryLocation W15731751191 @default.
- W1573175119 hasRelatedWork W1541366010 @default.
- W1573175119 hasRelatedWork W1561664582 @default.
- W1573175119 hasRelatedWork W1573175119 @default.
- W1573175119 hasRelatedWork W1601169590 @default.
- W1573175119 hasRelatedWork W1630259549 @default.
- W1573175119 hasRelatedWork W1756530980 @default.
- W1573175119 hasRelatedWork W1975980014 @default.
- W1573175119 hasRelatedWork W2103767425 @default.
- W1573175119 hasRelatedWork W2113913457 @default.
- W1573175119 hasRelatedWork W3138937524 @default.
- W1573175119 isParatext "false" @default.
- W1573175119 isRetracted "false" @default.
- W1573175119 magId "1573175119" @default.
- W1573175119 workType "book-chapter" @default.