Dualities between alternative semantics for logic programming and nonmonotonic reasoning
type: Item
instance of: scholarly article
title: Dualities between alternative semantics for logic programming and nonmonotonic reasoning
zbMATH Open document ID: 0782.68074
DOI: 10.1007/BF00881799
author: Chitta Baral
author: V. S. Subrahmanian
published in: Journal of Automated Reasoning
publication date: 1994-03-13T00:00:00Z
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 68N17
zbMATH DE Number: 484772
zbMATH Keywords: semantics for logic programming with nonmonotonic modes of negation
zbMATH Keywords: well-founded semantics
zbMATH Keywords: stable class semantics
zbMATH Keywords: Smyth's power-domain ordering
zbMATH Keywords: Hoare's power domain ordering
zbMATH Keywords: default theories
MaRDI profile type: Publication
cites work: General logical databases and programs: Default logic semantics and stratification
cites work: Stable and extension class theory for logic programs and default logics
cites work: Q3983043
cites work: On the relation between default and autoepistemic logic
cites work: Q3992908
cites work: Q3826524
cites work: Nonmonotonic Logic II
cites work: Semantical considerations on nonmonotonic logic
cites work: Q3972030
cites work: A logic for default reasoning
cites work: Power domains
full work available at URL: https://doi.org/10.1007/bf00881799
OpenAlex ID: W1998093438
description: scientific article; zbMATH DE number 484772