The open logic and its relation to circumscription
type: Item
instance of: scholarly article
title: The open logic and its relation to circumscription
zbMATH Open document ID: 0929.03024
DOI: 10.1007/BF02917057
author: Zuoquan Lin
author: Wei Li
published in: Science in China. Series E
publication date: 1999-09-13T00:00:00Z
Mathematics Subject Classification ID: 03B42
Mathematics Subject Classification ID: 68T30
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 68T27
zbMATH DE Number: 1335768
zbMATH Keywords: logic of epistemic processes
zbMATH Keywords: knowledge representation
zbMATH Keywords: updating knowledge
zbMATH Keywords: nonmonotonic logic
zbMATH Keywords: open logic
zbMATH Keywords: circumscription
MaRDI profile type: Publication
cites work: An open logic system
cites work: A logic for default reasoning
cites work: Circumscription - a form of non-monotonic reasoning
cites work: Q5551124
cites work: A modal nonmonotonic logic
cites work: Equality and Domain Closure in First-Order Databases
cites work: A circumscriptive theorem prover
cites work: Closed-world databases and circumscription
cites work: Q3865928
cites work: A logical framework for default reasoning
cites work: Q3198878
cites work: Nonmonotonic inference based on expectations
full work available at URL: https://doi.org/10.1007/bf02917057
OpenAlex ID: W1999415591
description: scientific article; zbMATH DE number 1335768