Annotated nonmonotonic rule systems
type: Item
instance of: scholarly article
title: Annotated nonmonotonic rule systems
zbMATH Open document ID: 0874.68276
DOI: 10.1016/S0304-3975(96)00127-2
author: V. S. Subrahmanian
author: Jeffrey Remmel
author: Anil Nerode
published in: Theoretical Computer Science
publication date: 1997-02-28T00:00:00Z
Mathematics Subject Classification ID: 68T27
Mathematics Subject Classification ID: 03B60
zbMATH DE Number: 985541
zbMATH Keywords: annotated logics
zbMATH Keywords: nonmonotonic reasoning
zbMATH Keywords: nonmonotonic rule systems
zbMATH Keywords: multiple-valued logics
zbMATH Keywords: normal default theories
zbMATH Keywords: nonmonotonic logic
MaRDI profile type: Publication
cites work: Q4385536
cites work: Q3768366
cites work: Q3798294
cites work: A theory of nonmonotonic rule systems I
cites work: A theory of nonmonotonic rule systems. II
cites work: How complicated is the set of stable models of a recursive logic program?
cites work: A context for belief revision: forward chaining-normal nonmonotonic rule systems
cites work: Q4273952
cites work: Logic programming and nonmonotonic reasoning. Third international conference, LPNMR '95, Lexington, KY, USA, June 26--28, 1995. Proceedings
cites work: Nonmonotonic Logic II
cites work: Non-monotonic logic. I
cites work: Probabilistic logic programming
cites work: A logic for default reasoning
cites work: Q5750427
full work available at URL: s0304-3975(96)00127-2
OpenAlex ID: W1996971120
description: scientific article; zbMATH DE number 985541