Sound and efficient closed-world reasoning for planning
- 31 January 1997
- journal article
- Published by Elsevier in Artificial Intelligence
- Vol. 89 (1-2) , 113-148
- https://doi.org/10.1016/s0004-3702(96)00026-4
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- A softbot-based interface to the InternetCommunications of the ACM, 1994
- A survey of complexity results for non-monotonic logicsThe Journal of Logic Programming, 1993
- On the complexity of propositional knowledge base revision, updates, and counterfactualsArtificial Intelligence, 1992
- All I know: A study in autoepistemic logicArtificial Intelligence, 1990
- A circumscriptive theorem proverArtificial Intelligence, 1989
- Reasoning about action IArtificial Intelligence, 1988
- Planning for conjunctive goalsArtificial Intelligence, 1987
- Closed-world databases and circumscriptionArtificial Intelligence, 1985
- On the Use of an Extended Relational Model to Handle Changing Incomplete InformationIEEE Transactions on Software Engineering, 1985
- Circumscription—A form of non-monotonic reasoningArtificial Intelligence, 1980