Sound and efficient closed-world reasoning for planning
type: Item
instance of: scholarly article
title: Sound and efficient closed-world reasoning for planning
zbMATH Open document ID: 1018.03513
DOI: 10.1016/S0004-3702(96)00026-4
author: Oren Etzioni
author: Keith Golden
author: Daniel S. Weld
published in: Artificial Intelligence
publication date: 2003-07-30T00:00:00Z
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 68T20
Mathematics Subject Classification ID: 68T27
zbMATH DE Number: 1956696
zbMATH Keywords: closed-world reasoning
zbMATH Keywords: incomplete information
zbMATH Keywords: database updates
zbMATH Keywords: circumscription
zbMATH Keywords: planning
zbMATH Keywords: information gathering
zbMATH Keywords: softbot
zbMATH Keywords: logic of knowledge
describes a project that uses: UCPOP
MaRDI profile type: Publication
cites work: ``Reducing'' classic to practice: Knowledge representation theory meets reality
cites work: A survey of complexity results for non-monotonic logics
cites work: Planning for conjunctive goals
cites work: On the complexity of propositional knowledge base revision, updates, and counterfactuals
cites work: Q4692605
cites work: A circumscriptive theorem prover
cites work: Reasoning about action. I: A possible worlds approach
cites work: The problem of incomplete information in relational databases
cites work: Q4028812
cites work: All I know: A study in autoepistemic logic
cites work: Closed-world databases and circumscription
cites work: Circumscription - a form of non-monotonic reasoning
cites work: Games against nature
cites work: Q3995235
description: scientific article; zbMATH DE number 1956696