Logic program semantics and circumscription of autoepistemic theories
type: Item
instance of: scholarly article
title: Logic program semantics and circumscription of autoepistemic theories
zbMATH Open document ID: 0807.68017
DOI: 10.1016/0020-0190(94)00018-2
author: Li Yan Yuan
published in: Information Processing Letters
publication date: 1994-06-15T00:00:00Z
Mathematics Subject Classification ID: 68N17
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 590250
zbMATH Keywords: nonmonotonic reasoning
zbMATH Keywords: Gelfond-Lifschitz transformation
zbMATH Keywords: circumscription
zbMATH Keywords: autoepistemic theories
MaRDI profile type: Publication
full work available at URL: 0020-0190(94)00018-2
OpenAlex ID: W1966372434
cites work: Stable and extension class theory for logic programs and default logics
cites work: The well-founded semantics for general logic programs
cites work: Short note preferred extensions are partial stable models
cites work: Q3348437
cites work: Autoepistemic circumscription and logic programming
description: scientific article; zbMATH DE number 590250