Sound and efficient closed-world reasoning for planning

DOI10.1016/S0004-3702(96)00026-4zbMath1018.03513MaRDI QIDQ1399125

Daniel S. Weld, Oren Etzioni, Keith Golden

Publication date: 30 July 2003

Published in: Artificial Intelligence (Search for Journal in Brave)

zbMATH Keywords

planningincomplete informationdatabase updatescircumscriptioninformation gatheringlogic of knowledgeclosed-world reasoningsoftbot

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logic in computer science (03B70) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (5)

Exact Query Reformulation with First-Order Ontologies and Databases ⋮ Wrapper induction: Efficiency and expressiveness ⋮ Rough set reasoning using answer set programs ⋮ Approximate databases: a support tool for approximate reasoning ⋮ Practical reasoning about knowledge states for open world planning with sensing

Uses Software

• UCPOP

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Games against nature
• Closed-world databases and circumscription
• Planning for conjunctive goals
• Reasoning about action. I: A possible worlds approach
• A circumscriptive theorem prover
• Circumscription - a form of non-monotonic reasoning
• On the complexity of propositional knowledge base revision, updates, and counterfactuals
• The problem of incomplete information in relational databases
• ``Reducing classic to practice: Knowledge representation theory meets reality
• All I know: A study in autoepistemic logic
• A survey of complexity results for non-monotonic logics

This page was built for publication: Sound and efficient closed-world reasoning for planning