Matches in SemOpenAlex for { <https://semopenalex.org/work/W2023162198> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W2023162198 endingPage "324" @default.
- W2023162198 startingPage "303" @default.
- W2023162198 abstract "We present a new semantics for extended logic programs with rule prioritization (EPP). The semantics, called reliable semantics (RS), generalizes the well-founded semantics which is defined for normal programs. It also generalizes the extended well-founded semantics which is defined for non-contradictory extended programs. Because of the classical negation in the head of the rules, the well-founded model of a program can be contradictory. RS is contradiction-free and defined for all EPPs. To avoid contradictions, only reliable rules and reliable closed world assumptions are used in the fixpoint computation of RS. A closed world assumption (CW A) is considered reliable if it is not ‘suspect’ for any constraint violation. A rule r is considered reliable if it is not ‘suspect’ for any constraint violation caused by rules with priority no lower than r. We define the stable r-models of an EPP and we show that the RS of a program coincides with its least stable r-model. The RS of an EPP, P, represents the skeptical ‘meaning’ of P whereas stable r-models of P represent the possible ‘meanings’ of P." @default.
- W2023162198 created "2016-06-24" @default.
- W2023162198 creator A5039919297 @default.
- W2023162198 creator A5059755229 @default.
- W2023162198 date "1995-01-01" @default.
- W2023162198 modified "2023-10-17" @default.
- W2023162198 title "Reliable Semantics for Extended Logic Programs with Rule Prioritization" @default.
- W2023162198 cites W136379439 @default.
- W2023162198 cites W144853445 @default.
- W2023162198 cites W146262510 @default.
- W2023162198 cites W1503791035 @default.
- W2023162198 cites W1510752881 @default.
- W2023162198 cites W1534454270 @default.
- W2023162198 cites W1556967393 @default.
- W2023162198 cites W1577824716 @default.
- W2023162198 cites W159748828 @default.
- W2023162198 cites W164608757 @default.
- W2023162198 cites W165478191 @default.
- W2023162198 cites W1672891595 @default.
- W2023162198 cites W185907670 @default.
- W2023162198 cites W1916360731 @default.
- W2023162198 cites W194413726 @default.
- W2023162198 cites W1968513265 @default.
- W2023162198 cites W1971492645 @default.
- W2023162198 cites W1983672048 @default.
- W2023162198 cites W2003531456 @default.
- W2023162198 cites W2011992362 @default.
- W2023162198 cites W2026953979 @default.
- W2023162198 cites W2031868932 @default.
- W2023162198 cites W2033106108 @default.
- W2023162198 cites W203630350 @default.
- W2023162198 cites W2076698873 @default.
- W2023162198 cites W2108911687 @default.
- W2023162198 cites W2116204363 @default.
- W2023162198 cites W2123685312 @default.
- W2023162198 cites W307716697 @default.
- W2023162198 cites W39087727 @default.
- W2023162198 cites W41096586 @default.
- W2023162198 cites W68567760 @default.
- W2023162198 cites W75962216 @default.
- W2023162198 cites W99071911 @default.
- W2023162198 doi "https://doi.org/10.1093/logcom/5.3.303" @default.
- W2023162198 hasPublicationYear "1995" @default.
- W2023162198 type Work @default.
- W2023162198 sameAs 2023162198 @default.
- W2023162198 citedByCount "8" @default.
- W2023162198 crossrefType "journal-article" @default.
- W2023162198 hasAuthorship W2023162198A5039919297 @default.
- W2023162198 hasAuthorship W2023162198A5059755229 @default.
- W2023162198 hasBestOaLocation W20231621982 @default.
- W2023162198 hasConcept C127001435 @default.
- W2023162198 hasConcept C128838566 @default.
- W2023162198 hasConcept C156325763 @default.
- W2023162198 hasConcept C184337299 @default.
- W2023162198 hasConcept C199360897 @default.
- W2023162198 hasConcept C207648694 @default.
- W2023162198 hasConcept C2185349 @default.
- W2023162198 hasConcept C2524010 @default.
- W2023162198 hasConcept C2776036281 @default.
- W2023162198 hasConcept C33923547 @default.
- W2023162198 hasConcept C41008148 @default.
- W2023162198 hasConcept C80444323 @default.
- W2023162198 hasConcept C89497691 @default.
- W2023162198 hasConceptScore W2023162198C127001435 @default.
- W2023162198 hasConceptScore W2023162198C128838566 @default.
- W2023162198 hasConceptScore W2023162198C156325763 @default.
- W2023162198 hasConceptScore W2023162198C184337299 @default.
- W2023162198 hasConceptScore W2023162198C199360897 @default.
- W2023162198 hasConceptScore W2023162198C207648694 @default.
- W2023162198 hasConceptScore W2023162198C2185349 @default.
- W2023162198 hasConceptScore W2023162198C2524010 @default.
- W2023162198 hasConceptScore W2023162198C2776036281 @default.
- W2023162198 hasConceptScore W2023162198C33923547 @default.
- W2023162198 hasConceptScore W2023162198C41008148 @default.
- W2023162198 hasConceptScore W2023162198C80444323 @default.
- W2023162198 hasConceptScore W2023162198C89497691 @default.
- W2023162198 hasIssue "3" @default.
- W2023162198 hasLocation W20231621981 @default.
- W2023162198 hasLocation W20231621982 @default.
- W2023162198 hasOpenAccess W2023162198 @default.
- W2023162198 hasPrimaryLocation W20231621981 @default.
- W2023162198 hasRelatedWork W1485855639 @default.
- W2023162198 hasRelatedWork W1532306186 @default.
- W2023162198 hasRelatedWork W1601169590 @default.
- W2023162198 hasRelatedWork W1762092019 @default.
- W2023162198 hasRelatedWork W2113956592 @default.
- W2023162198 hasRelatedWork W2125406856 @default.
- W2023162198 hasRelatedWork W294427244 @default.
- W2023162198 hasRelatedWork W2953243930 @default.
- W2023162198 hasRelatedWork W34897425 @default.
- W2023162198 hasRelatedWork W4297967938 @default.
- W2023162198 hasVolume "5" @default.
- W2023162198 isParatext "false" @default.
- W2023162198 isRetracted "false" @default.
- W2023162198 magId "2023162198" @default.
- W2023162198 workType "article" @default.