FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1910361555> ?p ?o ?g. }

• W1910361555 abstract "Default logic is one of the most popular approaches to model defeasible reasoning. Nevertheless, there are a number of problems with Reiter's original semantics that have led to the investigation of alternative approaches. In particular, Baral/Subrahmanian and Przymusinska/Przymusinski have investigated generalizations of well-founded semantics for normal logic programs to default logic. These generalizations have a number of interesting properties. Unfortunately, it turns out that in many realistic situations they are unable to draw any defeasible conclusions at all - which can hardly be viewed as satisfactory. We show how this difficulty can be solved by varying the fixed point operator underlying the semantics. We define a range of different semantics. All of them are correct wrt. safe conclusions under Reiter semantics, i.e. those conclusions with the same proof in all extensions. For the strongest semantics we have also completeness in the case of coherent default theories, i.e. default theories with at least one extension. The logics differ in the effort spent for determining potential conclusions. It turns out that they are at least as complex as original default logic. We show that our approach also leads to new semantics for normal and extended logic programs. Moreover, we define prioritized versions of the logics." @default.
• W1910361555 created "2016-06-24" @default.
• W1910361555 creator A5050151740 @default.
• W1910361555 creator A5060148794 @default.
• W1910361555 date "1997-01-01" @default.
• W1910361555 modified "2023-09-27" @default.
• W1910361555 title "Well-Founded Semantics for Default Logic" @default.
• W1910361555 cites W1511711492 @default.
• W1910361555 cites W1577604126 @default.
• W1910361555 cites W157785659 @default.
• W1910361555 cites W1672891595 @default.
• W1910361555 cites W1836060060 @default.
• W1910361555 cites W1847820984 @default.
• W1910361555 cites W194413726 @default.
• W1910361555 cites W1966552757 @default.
• W1910361555 cites W1968513265 @default.
• W1910361555 cites W1976303542 @default.
• W1910361555 cites W1988882917 @default.
• W1910361555 cites W1997714358 @default.
• W1910361555 cites W1998084650 @default.
• W1910361555 cites W2007660757 @default.
• W1910361555 cites W2046213250 @default.
• W1910361555 cites W2085084839 @default.
• W1910361555 cites W2090798572 @default.
• W1910361555 cites W2155322595 @default.
• W1910361555 cites W56211936 @default.
• W1910361555 cites W99071911 @default.
• W1910361555 doi "https://doi.org/10.3233/fi-1997-313402" @default.
• W1910361555 hasPublicationYear "1997" @default.
• W1910361555 type Work @default.
• W1910361555 sameAs 1910361555 @default.
• W1910361555 citedByCount "15" @default.
• W1910361555 countsByYear W19103615552012 @default.
• W1910361555 countsByYear W19103615552015 @default.
• W1910361555 crossrefType "journal-article" @default.
• W1910361555 hasAuthorship W1910361555A5050151740 @default.
• W1910361555 hasAuthorship W1910361555A5060148794 @default.
• W1910361555 hasConcept C102993220 @default.
• W1910361555 hasConcept C134306372 @default.
• W1910361555 hasConcept C154945302 @default.
• W1910361555 hasConcept C156325763 @default.
• W1910361555 hasConcept C159032336 @default.
• W1910361555 hasConcept C160236029 @default.
• W1910361555 hasConcept C169896238 @default.
• W1910361555 hasConcept C17231256 @default.
• W1910361555 hasConcept C184337299 @default.
• W1910361555 hasConcept C193856179 @default.
• W1910361555 hasConcept C199360897 @default.
• W1910361555 hasConcept C203659156 @default.
• W1910361555 hasConcept C207648694 @default.
• W1910361555 hasConcept C2778029271 @default.
• W1910361555 hasConcept C33923547 @default.
• W1910361555 hasConcept C3845977 @default.
• W1910361555 hasConcept C41008148 @default.
• W1910361555 hasConcept C80444323 @default.
• W1910361555 hasConcept C89497691 @default.
• W1910361555 hasConcept C9672783 @default.
• W1910361555 hasConceptScore W1910361555C102993220 @default.
• W1910361555 hasConceptScore W1910361555C134306372 @default.
• W1910361555 hasConceptScore W1910361555C154945302 @default.
• W1910361555 hasConceptScore W1910361555C156325763 @default.
• W1910361555 hasConceptScore W1910361555C159032336 @default.
• W1910361555 hasConceptScore W1910361555C160236029 @default.
• W1910361555 hasConceptScore W1910361555C169896238 @default.
• W1910361555 hasConceptScore W1910361555C17231256 @default.
• W1910361555 hasConceptScore W1910361555C184337299 @default.
• W1910361555 hasConceptScore W1910361555C193856179 @default.
• W1910361555 hasConceptScore W1910361555C199360897 @default.
• W1910361555 hasConceptScore W1910361555C203659156 @default.
• W1910361555 hasConceptScore W1910361555C207648694 @default.
• W1910361555 hasConceptScore W1910361555C2778029271 @default.
• W1910361555 hasConceptScore W1910361555C33923547 @default.
• W1910361555 hasConceptScore W1910361555C3845977 @default.
• W1910361555 hasConceptScore W1910361555C41008148 @default.
• W1910361555 hasConceptScore W1910361555C80444323 @default.
• W1910361555 hasConceptScore W1910361555C89497691 @default.
• W1910361555 hasConceptScore W1910361555C9672783 @default.
• W1910361555 hasLocation W19103615551 @default.
• W1910361555 hasOpenAccess W1910361555 @default.
• W1910361555 hasPrimaryLocation W19103615551 @default.
• W1910361555 hasRelatedWork W1510566887 @default.
• W1910361555 hasRelatedWork W1573063610 @default.
• W1910361555 hasRelatedWork W1605488371 @default.
• W1910361555 hasRelatedWork W1672891595 @default.
• W1910361555 hasRelatedWork W1958716211 @default.
• W1910361555 hasRelatedWork W1964013042 @default.
• W1910361555 hasRelatedWork W1968513265 @default.
• W1910361555 hasRelatedWork W1983501474 @default.
• W1910361555 hasRelatedWork W1994120178 @default.
• W1910361555 hasRelatedWork W2006784674 @default.
• W1910361555 hasRelatedWork W2073247139 @default.
• W1910361555 hasRelatedWork W2076698873 @default.
• W1910361555 hasRelatedWork W2120465900 @default.
• W1910361555 hasRelatedWork W2155322595 @default.
• W1910361555 hasRelatedWork W2163857618 @default.
• W1910361555 hasRelatedWork W2562041970 @default.
• W1910361555 hasRelatedWork W2809625647 @default.
• W1910361555 hasRelatedWork W2950775690 @default.
• W1910361555 hasRelatedWork W60507602 @default.
• W1910361555 hasRelatedWork W69945197 @default.

• next