Operational characterization of extensions in some logics for default reasoning
type: Item
instance of: scholarly article
title: Operational characterization of extensions in some logics for default reasoning
zbMATH Open document ID: 0882.68135
DOI: 10.1016/0020-0255(95)00234-0
author: Grigoris Antoniou
published in: Information Sciences
publication date: 1998-02-04T00:00:00Z
Mathematics Subject Classification ID: 68T27
Mathematics Subject Classification ID: 68T30
zbMATH DE Number: 1057119
zbMATH Keywords: nonmonotonic reasoning
zbMATH Keywords: knowledge representation
zbMATH Keywords: default reasoning
zbMATH Keywords: semantics
zbMATH Keywords: default logic
MaRDI profile type: Publication
full work available at URL: 0020-0255(95)00234-0
OpenAlex ID: W2038030581
cites work: Operational concepts of nonmonotonic logics. I: Default logic
cites work: Q3198878
cites work: Cumulative default logic: In defense of nonmonotonic inference rules
cites work: Q4537442
cites work: Conditional entailment: bridging two approaches to default reasoning.
cites work: Q4028795
cites work: Q4028801
cites work: Q3829535
cites work: A logic for default reasoning
cites work: A new methodology for query answering in default logics via structure-oriented theorem proving
cites work: Q4003336
cites work: Q3992826
Recommended article: Towards a classification of defaults logics
Recommended article: Operational concepts of nonmonotonic logics. I: Default logic
Recommended article: Q4713941
Recommended article: Q4501326
Recommended article: Default logic and specification of nonmonotonic reasoning
Recommended article: Q4025925
Recommended article: A correct logic programming computation of default logic extensions
Recommended article: Q4282499
Recommended article: Stable and extension class theory for logic programs and default logics
Recommended article: Modal Rules: Extending Defeasible Logic with Modal Operators
description: scientific article; zbMATH DE number 1057119