A new methodology for query answering in default logics via structure-oriented theorem proving
type: Item
instance of: scholarly article
title: A new methodology for query answering in default logics via structure-oriented theorem proving
zbMATH Open document ID: 0842.68075
DOI: 10.1007/BF00881832
author: Yanyan Li
published in: Journal of Automated Reasoning
publication date: 1996-07-14T00:00:00Z
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 68T27
Mathematics Subject Classification ID: 03B80
zbMATH DE Number: 790776
zbMATH Keywords: query answering
zbMATH Keywords: default logics
describes a project that uses: SETHEO
describes a project that uses: SCOTT
MaRDI profile type: Publication
cites work: Q4692618
cites work: Q4202917
cites work: Cumulative default logic: In defense of nonmonotonic inference rules
cites work: Q3995236
cites work: Q4537442
cites work: A survey of complexity results for non-monotonic logics
cites work: Q4028783
cites work: Alternative approaches to default logic
cites work: Q4537429
cites work: Q3997615
cites work: Q4692605
cites work: Complexity Results for Nonmonotonic Logics
cites work: On the relation between default and autoepistemic logic
cites work: SETHEO: A high-performance theorem prover
cites work: Semantical considerations on nonmonotonic logic
cites work: A logic for default reasoning
cites work: A theory of diagnosis from first principles
cites work: Q4028825
cites work: Default reasoning by deductive planning
cites work: Q4713941
description: scientific article; zbMATH DE number 790776