Matches in SemOpenAlex for { <https://semopenalex.org/work/W2005752553> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W2005752553 endingPage "67" @default.
- W2005752553 startingPage "31" @default.
- W2005752553 abstract "In this paper, we propose a semantics for logic programs with negation as failure, the Finite Failure Stable Model semantics (FF-SM semantics), which is a three-valued extension of Gelfond and Lifschitz' Stable Model semantics. FF-SM semantics is defined in the style of Gelfond and Lifschitz Stable Model semantics, but it builds on an underlying Kripke/Kleene semantics, in which loops causing nonterminating computations are modeled by means of the truth-value undefined . It is different from the eXtended Stable Model (XSM) semantics defined by Przymusinski, since it does not capture infinite failure. We also introduce an abductive proof procedure which is an abductive extension of SLDNF-resolution based on the ideas underlying Eshghi and Kowalski's abductive procedure. We prove that our procedure is sound and complete with respect to FF-SM semantics. We compare the FF-SM semantics with the XSM semantics, and provide a reconstruction for it within the bilattice-based framework proposed by Fitting. In the paper, we deal with the propositional case." @default.
- W2005752553 created "2016-06-24" @default.
- W2005752553 creator A5002078119 @default.
- W2005752553 creator A5038489315 @default.
- W2005752553 creator A5043892415 @default.
- W2005752553 date "1996-01-01" @default.
- W2005752553 modified "2023-10-14" @default.
- W2005752553 title "Extending negation as failure by abduction: A three-valued stable model semantics" @default.
- W2005752553 cites W1979129485 @default.
- W2005752553 cites W1987005090 @default.
- W2005752553 cites W2003531456 @default.
- W2005752553 cites W2010104109 @default.
- W2005752553 cites W2020153579 @default.
- W2005752553 cites W2069972706 @default.
- W2005752553 cites W2093713825 @default.
- W2005752553 doi "https://doi.org/10.1016/0743-1066(95)00065-8" @default.
- W2005752553 hasPublicationYear "1996" @default.
- W2005752553 type Work @default.
- W2005752553 sameAs 2005752553 @default.
- W2005752553 citedByCount "11" @default.
- W2005752553 crossrefType "journal-article" @default.
- W2005752553 hasAuthorship W2005752553A5002078119 @default.
- W2005752553 hasAuthorship W2005752553A5038489315 @default.
- W2005752553 hasAuthorship W2005752553A5043892415 @default.
- W2005752553 hasBestOaLocation W20057525531 @default.
- W2005752553 hasConcept C11413529 @default.
- W2005752553 hasConcept C127001435 @default.
- W2005752553 hasConcept C156325763 @default.
- W2005752553 hasConcept C184337299 @default.
- W2005752553 hasConcept C194146651 @default.
- W2005752553 hasConcept C199360897 @default.
- W2005752553 hasConcept C207648694 @default.
- W2005752553 hasConcept C2185349 @default.
- W2005752553 hasConcept C2778029271 @default.
- W2005752553 hasConcept C33923547 @default.
- W2005752553 hasConcept C41008148 @default.
- W2005752553 hasConcept C80444323 @default.
- W2005752553 hasConcept C89497691 @default.
- W2005752553 hasConcept C9672783 @default.
- W2005752553 hasConceptScore W2005752553C11413529 @default.
- W2005752553 hasConceptScore W2005752553C127001435 @default.
- W2005752553 hasConceptScore W2005752553C156325763 @default.
- W2005752553 hasConceptScore W2005752553C184337299 @default.
- W2005752553 hasConceptScore W2005752553C194146651 @default.
- W2005752553 hasConceptScore W2005752553C199360897 @default.
- W2005752553 hasConceptScore W2005752553C207648694 @default.
- W2005752553 hasConceptScore W2005752553C2185349 @default.
- W2005752553 hasConceptScore W2005752553C2778029271 @default.
- W2005752553 hasConceptScore W2005752553C33923547 @default.
- W2005752553 hasConceptScore W2005752553C41008148 @default.
- W2005752553 hasConceptScore W2005752553C80444323 @default.
- W2005752553 hasConceptScore W2005752553C89497691 @default.
- W2005752553 hasConceptScore W2005752553C9672783 @default.
- W2005752553 hasIssue "1" @default.
- W2005752553 hasLocation W20057525531 @default.
- W2005752553 hasOpenAccess W2005752553 @default.
- W2005752553 hasPrimaryLocation W20057525531 @default.
- W2005752553 hasRelatedWork W1532306186 @default.
- W2005752553 hasRelatedWork W1592696017 @default.
- W2005752553 hasRelatedWork W1601169590 @default.
- W2005752553 hasRelatedWork W1630259549 @default.
- W2005752553 hasRelatedWork W1750646609 @default.
- W2005752553 hasRelatedWork W1820469889 @default.
- W2005752553 hasRelatedWork W2180095669 @default.
- W2005752553 hasRelatedWork W2548335565 @default.
- W2005752553 hasRelatedWork W2963849301 @default.
- W2005752553 hasRelatedWork W4300935063 @default.
- W2005752553 hasVolume "26" @default.
- W2005752553 isParatext "false" @default.
- W2005752553 isRetracted "false" @default.
- W2005752553 magId "2005752553" @default.
- W2005752553 workType "article" @default.