Matches in SemOpenAlex for { <https://semopenalex.org/work/W1697788304> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W1697788304 abstract "In this paper we propose a version of default logic with the following two properties: (1) defaults with mutually inconsistent justifications are never used together in constructing a set of default consequences of a theory; (2) the reasoning formalized by our logic is related to the traditional skeptical mode of default reasoning. Our logic is based on the concept of a skeptical rational extension. We give characterization results for skeptical rational extensions and an algorithm to compute them. We present some complexity results. Our main goal is to characterize cases when the class of skeptical rational extensions is closed under intersection. In the case of normal default theories our logic coincides with the standard skeptical reasoning with extensions. In the case of seminormal default theories our formalism provides a description of the standard skeptical reasoning with rational extensions." @default.
- W1697788304 created "2016-06-24" @default.
- W1697788304 creator A5020619286 @default.
- W1697788304 creator A5079794036 @default.
- W1697788304 date "1995-01-01" @default.
- W1697788304 modified "2023-09-23" @default.
- W1697788304 title "Skeptical rational extensions" @default.
- W1697788304 cites W157785659 @default.
- W1697788304 cites W1997714358 @default.
- W1697788304 cites W2155322595 @default.
- W1697788304 cites W4213128210 @default.
- W1697788304 doi "https://doi.org/10.1007/3-540-59487-6_19" @default.
- W1697788304 hasPublicationYear "1995" @default.
- W1697788304 type Work @default.
- W1697788304 sameAs 1697788304 @default.
- W1697788304 citedByCount "1" @default.
- W1697788304 crossrefType "book-chapter" @default.
- W1697788304 hasAuthorship W1697788304A5020619286 @default.
- W1697788304 hasAuthorship W1697788304A5079794036 @default.
- W1697788304 hasConcept C102993220 @default.
- W1697788304 hasConcept C111472728 @default.
- W1697788304 hasConcept C138885662 @default.
- W1697788304 hasConcept C142362112 @default.
- W1697788304 hasConcept C144237770 @default.
- W1697788304 hasConcept C153349607 @default.
- W1697788304 hasConcept C154945302 @default.
- W1697788304 hasConcept C159032336 @default.
- W1697788304 hasConcept C160236029 @default.
- W1697788304 hasConcept C18296254 @default.
- W1697788304 hasConcept C199360897 @default.
- W1697788304 hasConcept C203659156 @default.
- W1697788304 hasConcept C2778029271 @default.
- W1697788304 hasConcept C33923547 @default.
- W1697788304 hasConcept C3845977 @default.
- W1697788304 hasConcept C41008148 @default.
- W1697788304 hasConcept C558565934 @default.
- W1697788304 hasConcept C73301696 @default.
- W1697788304 hasConcept C80444323 @default.
- W1697788304 hasConceptScore W1697788304C102993220 @default.
- W1697788304 hasConceptScore W1697788304C111472728 @default.
- W1697788304 hasConceptScore W1697788304C138885662 @default.
- W1697788304 hasConceptScore W1697788304C142362112 @default.
- W1697788304 hasConceptScore W1697788304C144237770 @default.
- W1697788304 hasConceptScore W1697788304C153349607 @default.
- W1697788304 hasConceptScore W1697788304C154945302 @default.
- W1697788304 hasConceptScore W1697788304C159032336 @default.
- W1697788304 hasConceptScore W1697788304C160236029 @default.
- W1697788304 hasConceptScore W1697788304C18296254 @default.
- W1697788304 hasConceptScore W1697788304C199360897 @default.
- W1697788304 hasConceptScore W1697788304C203659156 @default.
- W1697788304 hasConceptScore W1697788304C2778029271 @default.
- W1697788304 hasConceptScore W1697788304C33923547 @default.
- W1697788304 hasConceptScore W1697788304C3845977 @default.
- W1697788304 hasConceptScore W1697788304C41008148 @default.
- W1697788304 hasConceptScore W1697788304C558565934 @default.
- W1697788304 hasConceptScore W1697788304C73301696 @default.
- W1697788304 hasConceptScore W1697788304C80444323 @default.
- W1697788304 hasLocation W16977883041 @default.
- W1697788304 hasOpenAccess W1697788304 @default.
- W1697788304 hasPrimaryLocation W16977883041 @default.
- W1697788304 hasRelatedWork W1492128823 @default.
- W1697788304 hasRelatedWork W1533062081 @default.
- W1697788304 hasRelatedWork W1575110518 @default.
- W1697788304 hasRelatedWork W1584385074 @default.
- W1697788304 hasRelatedWork W1601784262 @default.
- W1697788304 hasRelatedWork W1765813841 @default.
- W1697788304 hasRelatedWork W185216004 @default.
- W1697788304 hasRelatedWork W1988496255 @default.
- W1697788304 hasRelatedWork W2030586002 @default.
- W1697788304 hasRelatedWork W2053255400 @default.
- W1697788304 hasRelatedWork W2054098217 @default.
- W1697788304 hasRelatedWork W2059970836 @default.
- W1697788304 hasRelatedWork W2081817312 @default.
- W1697788304 hasRelatedWork W2087561262 @default.
- W1697788304 hasRelatedWork W2295099510 @default.
- W1697788304 hasRelatedWork W2365692196 @default.
- W1697788304 hasRelatedWork W2490333804 @default.
- W1697788304 hasRelatedWork W2510221240 @default.
- W1697788304 hasRelatedWork W61757047 @default.
- W1697788304 hasRelatedWork W76111568 @default.
- W1697788304 isParatext "false" @default.
- W1697788304 isRetracted "false" @default.
- W1697788304 magId "1697788304" @default.
- W1697788304 workType "book-chapter" @default.