Matches in SemOpenAlex for { <https://semopenalex.org/work/W2155322595> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2155322595 endingPage "132" @default.
- W2155322595 startingPage "81" @default.
- W2155322595 abstract "The need to make default assumptions is frequently encountered in reasoning about incompletely specified worlds. Inferences sanctioned by default are best viewed as beliefs which may well be modified or rejected by subsequent observations. It is this property which leads to the non-monotonicity of any logic of defaults. In this paper we propose a logic for default reasoning. We then specialize our treatment to a very large class of commonly occuring defaults. For this class we develop a complete proof theory and show how to interface it with a top down resolution theorem prover. Finally, we provide criteria under which the revision of derived beliefs must be effected." @default.
- W2155322595 created "2016-06-24" @default.
- W2155322595 creator A5005611871 @default.
- W2155322595 date "1980-04-01" @default.
- W2155322595 modified "2023-10-11" @default.
- W2155322595 title "A logic for default reasoning" @default.
- W2155322595 cites W1970045008 @default.
- W2155322595 cites W2003287551 @default.
- W2155322595 cites W2044919352 @default.
- W2155322595 cites W2100738443 @default.
- W2155322595 cites W2157368609 @default.
- W2155322595 cites W2323777246 @default.
- W2155322595 cites W4229861117 @default.
- W2155322595 doi "https://doi.org/10.1016/0004-3702(80)90014-4" @default.
- W2155322595 hasPublicationYear "1980" @default.
- W2155322595 type Work @default.
- W2155322595 sameAs 2155322595 @default.
- W2155322595 citedByCount "3612" @default.
- W2155322595 countsByYear W21553225952012 @default.
- W2155322595 countsByYear W21553225952013 @default.
- W2155322595 countsByYear W21553225952014 @default.
- W2155322595 countsByYear W21553225952015 @default.
- W2155322595 countsByYear W21553225952016 @default.
- W2155322595 countsByYear W21553225952017 @default.
- W2155322595 countsByYear W21553225952018 @default.
- W2155322595 countsByYear W21553225952019 @default.
- W2155322595 countsByYear W21553225952020 @default.
- W2155322595 countsByYear W21553225952021 @default.
- W2155322595 countsByYear W21553225952022 @default.
- W2155322595 countsByYear W21553225952023 @default.
- W2155322595 crossrefType "journal-article" @default.
- W2155322595 hasAuthorship W2155322595A5005611871 @default.
- W2155322595 hasBestOaLocation W21553225952 @default.
- W2155322595 hasConcept C10138342 @default.
- W2155322595 hasConcept C102993220 @default.
- W2155322595 hasConcept C111472728 @default.
- W2155322595 hasConcept C134306372 @default.
- W2155322595 hasConcept C138268822 @default.
- W2155322595 hasConcept C138885662 @default.
- W2155322595 hasConcept C144237770 @default.
- W2155322595 hasConcept C154945302 @default.
- W2155322595 hasConcept C159032336 @default.
- W2155322595 hasConcept C160236029 @default.
- W2155322595 hasConcept C162324750 @default.
- W2155322595 hasConcept C189950617 @default.
- W2155322595 hasConcept C203659156 @default.
- W2155322595 hasConcept C2777212361 @default.
- W2155322595 hasConcept C33923547 @default.
- W2155322595 hasConcept C3845977 @default.
- W2155322595 hasConcept C41008148 @default.
- W2155322595 hasConcept C69637215 @default.
- W2155322595 hasConcept C72169020 @default.
- W2155322595 hasConcept C80444323 @default.
- W2155322595 hasConceptScore W2155322595C10138342 @default.
- W2155322595 hasConceptScore W2155322595C102993220 @default.
- W2155322595 hasConceptScore W2155322595C111472728 @default.
- W2155322595 hasConceptScore W2155322595C134306372 @default.
- W2155322595 hasConceptScore W2155322595C138268822 @default.
- W2155322595 hasConceptScore W2155322595C138885662 @default.
- W2155322595 hasConceptScore W2155322595C144237770 @default.
- W2155322595 hasConceptScore W2155322595C154945302 @default.
- W2155322595 hasConceptScore W2155322595C159032336 @default.
- W2155322595 hasConceptScore W2155322595C160236029 @default.
- W2155322595 hasConceptScore W2155322595C162324750 @default.
- W2155322595 hasConceptScore W2155322595C189950617 @default.
- W2155322595 hasConceptScore W2155322595C203659156 @default.
- W2155322595 hasConceptScore W2155322595C2777212361 @default.
- W2155322595 hasConceptScore W2155322595C33923547 @default.
- W2155322595 hasConceptScore W2155322595C3845977 @default.
- W2155322595 hasConceptScore W2155322595C41008148 @default.
- W2155322595 hasConceptScore W2155322595C69637215 @default.
- W2155322595 hasConceptScore W2155322595C72169020 @default.
- W2155322595 hasConceptScore W2155322595C80444323 @default.
- W2155322595 hasIssue "1-2" @default.
- W2155322595 hasLocation W21553225951 @default.
- W2155322595 hasLocation W21553225952 @default.
- W2155322595 hasOpenAccess W2155322595 @default.
- W2155322595 hasPrimaryLocation W21553225951 @default.
- W2155322595 hasRelatedWork W1526931790 @default.
- W2155322595 hasRelatedWork W1535958797 @default.
- W2155322595 hasRelatedWork W157785659 @default.
- W2155322595 hasRelatedWork W2000042161 @default.
- W2155322595 hasRelatedWork W2006784674 @default.
- W2155322595 hasRelatedWork W2044503422 @default.
- W2155322595 hasRelatedWork W2087561262 @default.
- W2155322595 hasRelatedWork W2100603584 @default.
- W2155322595 hasRelatedWork W610916638 @default.
- W2155322595 hasRelatedWork W7839847 @default.
- W2155322595 hasVolume "13" @default.
- W2155322595 isParatext "false" @default.
- W2155322595 isRetracted "false" @default.
- W2155322595 magId "2155322595" @default.
- W2155322595 workType "article" @default.