Sound and efficient closed-world reasoning for planning
From MaRDI portal
Publication:1399125
DOI10.1016/S0004-3702(96)00026-4zbMath1018.03513MaRDI QIDQ1399125
Oren Etzioni, Daniel S. Weld, Keith Golden
Publication date: 30 July 2003
Published in: Artificial Intelligence (Search for Journal in Brave)
planning; incomplete information; database updates; circumscription; information gathering; logic of knowledge; closed-world reasoning; softbot
68T27: Logic in artificial intelligence
03B70: Logic in computer science
68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
Related Items
Uses Software
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