A logical framework for default reasoning
type: Item
instance of: scholarly article
title: A logical framework for default reasoning
zbMATH Open document ID: 0647.68094
DOI: 10.1016/0004-3702(88)90077-X
author: S. H. Smith
published in: Artificial Intelligence
publication date: 1988-01-01T00:00:00Z
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 03B60
zbMATH DE Number: 4057052
zbMATH Keywords: nonmonotonic reasoning
zbMATH Keywords: default reasoning
zbMATH Keywords: semantics
zbMATH Keywords: first-order model theory
zbMATH Keywords: multiple extension problems
MaRDI profile type: Publication
cites work: A first-order conditional logic for prototypical properties
cites work: Q4052071
cites work: Formalizing nonmonotonic reasoning systems
cites work: Q3789107
cites work: Non-monotonic logic. I
cites work: Semantical considerations on nonmonotonic logic
cites work: Q3256189
cites work: A logic for default reasoning
full work available at URL: 0004-3702(88)90077-x
OpenAlex ID: W2020153579
Recommended article: Q4244306
Recommended article: Q3348894
Recommended article: Q3123861
Recommended article: An argumentation framework in default logic
Recommended article: Q4510938
Recommended article: An abstract, argumentation-theoretic approach to default reasoning
Recommended article: Q4461806
Recommended article: Q4856973
Recommended article: Modal logic for default reasoning
Recommended article: Default reasoning and possibility theory
description: scientific article; zbMATH DE number 4057052