Stable and extension class theory for logic programs and default logics
type: Item
instance of: scholarly article
title: Stable and extension class theory for logic programs and default logics
zbMATH Open document ID: 0763.03017
DOI: 10.1007/BF02341854
author: Chitta Baral
author: V. S. Subrahmanian
published in: Journal of Automated Reasoning
publication date: 1993-01-16T00:00:00Z
Mathematics Subject Classification ID: 03B60
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 68N17
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 91485
zbMATH Keywords: stable model semantics
zbMATH Keywords: non-monotonic reasoning
zbMATH Keywords: extension classes for default logics
zbMATH Keywords: stable classes for logic programs
zbMATH Keywords: inconsistent default theories
zbMATH Keywords: logic programs with inconsistent completions
MaRDI profile type: Publication
cites work: The relationship between stable, supported, default and autoepistemic semantics for general logic programs
cites work: Q3972030
cites work: General logical databases and programs: Default logic semantics and stratification
cites work: Q3975143
cites work: Q3992908
cites work: The consistency of negation as failure
cites work: Q3493303
cites work: Generalized disjunctive well-founded semantics for logic programs.
cites work: Q3826524
cites work: Q3486858
cites work: A logic for default reasoning
cites work: On the relation between default and autoepistemic logic
cites work: Q3486549
cites work: Autoepistemic logic
description: scientific article; zbMATH DE number 91485