Q4035258
type: Item
instance of: scholarly article
zbMATH Open document ID: 0788.68135
publication date: 1993-05-18T00:00:00Z
Mathematics Subject Classification ID: 68T27
Mathematics Subject Classification ID: 03B60
Mathematics Subject Classification ID: 68N17
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 176156
zbMATH Keywords: nonmonotonic reasoning
zbMATH Keywords: proof theory
zbMATH Keywords: model theory
zbMATH Keywords: default reasoning
zbMATH Keywords: logic programming
MaRDI profile type: Publication
Recommended article: Q4216774
Recommended article: A unifying view for logic programming with non-monotonic reasoning
Recommended article: Q3783634
Recommended article: Non-monotonic reasoning with logic programming
Recommended article: A survey of non-monotonic reasoning
Recommended article: Formalizing nonmonotonic reasoning systems
Recommended article: A framework to incorporate non-monotonic reasoning into constraint logic programming
Recommended article: Nonmonotonic reasoning: Towards efficient calculi and implementations
description: scientific article