Autoepistemic circumscription and logic programming
type: Item
instance of: scholarly article
title: Autoepistemic circumscription and logic programming
zbMATH Open document ID: 0782.68076
DOI: 10.1007/BF00881833
author: Li Yan Yuan
author: Jia-Huai You
published in: Journal of Automated Reasoning
publication date: 1994-03-13T00:00:00Z
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 03B60
Mathematics Subject Classification ID: 68N17
zbMATH DE Number: 484774
zbMATH Keywords: semantics of logic programming
zbMATH Keywords: nonmonotonic reasoning
zbMATH Keywords: belief constraint
zbMATH Keywords: circumsription
zbMATH Keywords: stable circumscriptive semantics
zbMATH Keywords: well- founded circumscriptive semantics
MaRDI profile type: Publication
cites work: On the relation between default and autoepistemic logic
cites work: Q3486550
cites work: Circumscription - a form of non-monotonic reasoning
cites work: Semantical considerations on nonmonotonic logic
description: scientific article; zbMATH DE number 484774