Relating minimal models and pre-requisite-free normal defaults
type: Item
instance of: scholarly article
title: Relating minimal models and pre-requisite-free normal defaults
zbMATH Open document ID: 0759.68016
DOI: 10.1016/0020-0190(92)90052-W
author: Jorge Lobo
author: V. S. Subrahmanian
published in: Information Processing Letters
publication date: 1993-04-01T00:00:00Z
Mathematics Subject Classification ID: 68N17
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 148034
zbMATH Keywords: non-Horn logic programs
zbMATH Keywords: negation
zbMATH Keywords: non-monotonic reasoning
zbMATH Keywords: default logic
Wikidata QID: Q109585673
MaRDI profile type: Publication
cites work: Formalizing nonmonotonic reasoning systems
cites work: Q4028795
cites work: On the relationship between circumscription and negation as failure
cites work: On the relation between default and autoepistemic logic
cites work: Q3486549
cites work: Q3939270
cites work: Computing protected circumscription
cites work: A fixpoint semantics for disjunctive logic programs
cites work: Q3348437
cites work: A logic for default reasoning
description: scientific article; zbMATH DE number 148034