FRINK Linked Data Fragments server

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

• W2076706802 endingPage "369" @default.
• W2076706802 startingPage "331" @default.
• W2076706802 abstract "Default logic has been introduced for handling reasoning with incomplete knowledge. It has been widely studied, and various definitions have been proposed for it. Most of the variants have been defined by means of fixed points of some operator. We propose here another approach, which is based on a study of the way in which general rules with exceptions, used in a default reasoning process, can contradict one another. We then isolate sets of noncontradicting rules, as large as possible in order to exploit as much information as possible, and construct, for each of these sets of rules, the set of conclusions that can be deduced from it. We show that our framework encompasses most of the existing variants of default logic, allowing those variants to be compared from a knowledge representation point of view. Our approach also enables us to provide an operational definition of extensions in some interesting cases. Proof-theoretical and semantical aspects are investigated." @default.
• W2076706802 created "2016-06-24" @default.
• W2076706802 creator A5064730878 @default.
• W2076706802 creator A5065090388 @default.
• W2076706802 date "1994-08-01" @default.
• W2076706802 modified "2023-09-26" @default.
• W2076706802 title "DEFAULT LOGICS: A UNIFIED VIEW" @default.
• W2076706802 cites W1484877017 @default.
• W2076706802 cites W1508780780 @default.
• W2076706802 cites W1512325494 @default.
• W2076706802 cites W1544303999 @default.
• W2076706802 cites W1549614001 @default.
• W2076706802 cites W157785659 @default.
• W2076706802 cites W1761876784 @default.
• W2076706802 cites W1841390265 @default.
• W2076706802 cites W1966552757 @default.
• W2076706802 cites W1996347293 @default.
• W2076706802 cites W2078508369 @default.
• W2076706802 cites W2078926321 @default.
• W2076706802 cites W2080142817 @default.
• W2076706802 cites W2155322595 @default.
• W2076706802 cites W2478775674 @default.
• W2076706802 cites W2945259913 @default.
• W2076706802 cites W4206370914 @default.
• W2076706802 cites W4213128210 @default.
• W2076706802 doi "https://doi.org/10.1111/j.1467-8640.1994.tb00168.x" @default.
• W2076706802 hasPublicationYear "1994" @default.
• W2076706802 type Work @default.
• W2076706802 sameAs 2076706802 @default.
• W2076706802 citedByCount "24" @default.
• W2076706802 countsByYear W20767068022014 @default.
• W2076706802 countsByYear W20767068022019 @default.
• W2076706802 countsByYear W20767068022020 @default.
• W2076706802 countsByYear W20767068022022 @default.
• W2076706802 crossrefType "journal-article" @default.
• W2076706802 hasAuthorship W2076706802A5064730878 @default.
• W2076706802 hasAuthorship W2076706802A5065090388 @default.
• W2076706802 hasConcept C102993220 @default.
• W2076706802 hasConcept C104317684 @default.
• W2076706802 hasConcept C154945302 @default.
• W2076706802 hasConcept C158448853 @default.
• W2076706802 hasConcept C159032336 @default.
• W2076706802 hasConcept C160236029 @default.
• W2076706802 hasConcept C161301231 @default.
• W2076706802 hasConcept C162324750 @default.
• W2076706802 hasConcept C165696696 @default.
• W2076706802 hasConcept C17020691 @default.
• W2076706802 hasConcept C177264268 @default.
• W2076706802 hasConcept C17744445 @default.
• W2076706802 hasConcept C185592680 @default.
• W2076706802 hasConcept C190253527 @default.
• W2076706802 hasConcept C199360897 @default.
• W2076706802 hasConcept C199539241 @default.
• W2076706802 hasConcept C203659156 @default.
• W2076706802 hasConcept C2776359362 @default.
• W2076706802 hasConcept C2777142071 @default.
• W2076706802 hasConcept C2780801425 @default.
• W2076706802 hasConcept C3845977 @default.
• W2076706802 hasConcept C38652104 @default.
• W2076706802 hasConcept C41008148 @default.
• W2076706802 hasConcept C55493867 @default.
• W2076706802 hasConcept C80444323 @default.
• W2076706802 hasConcept C86339819 @default.
• W2076706802 hasConcept C94625758 @default.
• W2076706802 hasConcept C98045186 @default.
• W2076706802 hasConceptScore W2076706802C102993220 @default.
• W2076706802 hasConceptScore W2076706802C104317684 @default.
• W2076706802 hasConceptScore W2076706802C154945302 @default.
• W2076706802 hasConceptScore W2076706802C158448853 @default.
• W2076706802 hasConceptScore W2076706802C159032336 @default.
• W2076706802 hasConceptScore W2076706802C160236029 @default.
• W2076706802 hasConceptScore W2076706802C161301231 @default.
• W2076706802 hasConceptScore W2076706802C162324750 @default.
• W2076706802 hasConceptScore W2076706802C165696696 @default.
• W2076706802 hasConceptScore W2076706802C17020691 @default.
• W2076706802 hasConceptScore W2076706802C177264268 @default.
• W2076706802 hasConceptScore W2076706802C17744445 @default.
• W2076706802 hasConceptScore W2076706802C185592680 @default.
• W2076706802 hasConceptScore W2076706802C190253527 @default.
• W2076706802 hasConceptScore W2076706802C199360897 @default.
• W2076706802 hasConceptScore W2076706802C199539241 @default.
• W2076706802 hasConceptScore W2076706802C203659156 @default.
• W2076706802 hasConceptScore W2076706802C2776359362 @default.
• W2076706802 hasConceptScore W2076706802C2777142071 @default.
• W2076706802 hasConceptScore W2076706802C2780801425 @default.
• W2076706802 hasConceptScore W2076706802C3845977 @default.
• W2076706802 hasConceptScore W2076706802C38652104 @default.
• W2076706802 hasConceptScore W2076706802C41008148 @default.
• W2076706802 hasConceptScore W2076706802C55493867 @default.
• W2076706802 hasConceptScore W2076706802C80444323 @default.
• W2076706802 hasConceptScore W2076706802C86339819 @default.
• W2076706802 hasConceptScore W2076706802C94625758 @default.
• W2076706802 hasConceptScore W2076706802C98045186 @default.
• W2076706802 hasIssue "3" @default.
• W2076706802 hasLocation W20767068021 @default.
• W2076706802 hasOpenAccess W2076706802 @default.
• W2076706802 hasPrimaryLocation W20767068021 @default.
• W2076706802 hasRelatedWork W12022855 @default.

• next