{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,16]],"date-time":"2026-03-16T10:11:35Z","timestamp":1773655895211,"version":"3.50.1"},"reference-count":50,"publisher":"Elsevier BV","issue":"1-2","license":[{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,25]],"date-time":"2013-07-25T00:00:00Z","timestamp":1374710400000},"content-version":"vor","delay-in-days":6049,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Artificial Intelligence"],"published-print":{"date-parts":[[1997,1]]},"DOI":"10.1016\/s0004-3702(96)00026-4","type":"journal-article","created":{"date-parts":[[2002,7,26]],"date-time":"2002-07-26T00:24:09Z","timestamp":1027643049000},"page":"113-148","source":"Crossref","is-referenced-by-count":45,"title":["Sound and efficient closed-world reasoning for planning"],"prefix":"10.1016","volume":"89","author":[{"given":"Oren","family":"Etzioni","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Keith","family":"Golden","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel S.","family":"Weld","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0004-3702(96)00026-4_BIB1","series-title":"Proceedings AAAI-88","first-page":"735","article-title":"Integrating planning, execution, and monitoring","author":"Ambros-Ingerson","year":"1988"},{"key":"10.1016\/S0004-3702(96)00026-4_BIB2","series-title":"Proceedings Third International Conference on Principles of Knowledge Representation and Reasoning","article-title":"\u201cReducing\u201d classic to practice: knowledge representation theory meets reality","author":"Brachman","year":"1992"},{"key":"10.1016\/S0004-3702(96)00026-4_BIB3","author":"Brill","year":"1991"},{"key":"10.1016\/S0004-3702(96)00026-4_BIB4","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/0743-1066(93)90029-G","article-title":"A survey of complexity results for non-monotonic logics","volume":"17","author":"Cadoli","year":"1993","journal-title":"J. Logic Program."},{"key":"10.1016\/S0004-3702(96)00026-4_BIB5","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1016\/0004-3702(87)90092-0","article-title":"Planning for conjunctive goals","volume":"32","author":"Chapman","year":"1987","journal-title":"Artif. Intell."},{"key":"10.1016\/S0004-3702(96)00026-4_BIB6","series-title":"Logic and Data Bases","first-page":"293","article-title":"Negation as failure","author":"Clark","year":"1978"},{"key":"10.1016\/S0004-3702(96)00026-4_BIB7","series-title":"Proceedings Third International Conference on Principles of Knowledge Representation and Reasoning","first-page":"740","article-title":"Computing knowledge base updates","author":"del Val","year":"1992"},{"key":"10.1016\/S0004-3702(96)00026-4_BIB8","series-title":"Proceedings IJCAI-93","first-page":"732","article-title":"Deriving properties of belief update from theories of action (II)","author":"del Val","year":"1993"},{"key":"10.1016\/S0004-3702(96)00026-4_BIB9","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1016\/0004-3702(92)90018-S","article-title":"On the complexity of propositional knowledge base revision, updates and counterfactuals","volume":"57","author":"Eiter","year":"1992","journal-title":"Artif. Intell."},{"key":"10.1016\/S0004-3702(96)00026-4_BIB10","series-title":"Proceedings ACM Symposium on Principles of Database Systems","first-page":"134","article-title":"A decision procedure for conjunctive query disjointness","author":"Elkan","year":"1989"},{"key":"10.1016\/S0004-3702(96)00026-4_BIB11","series-title":"Proceedings ACM Symposium on Principles of Database Systems","first-page":"154","article-title":"Independence of logic database queries and updates","author":"Elkan","year":"1990"},{"key":"10.1016\/S0004-3702(96)00026-4_BIB12","author":"Etherington","year":"1988"},{"key":"10.1016\/S0004-3702(96)00026-4_BIB13","series-title":"Proceedings AAAI-90","first-page":"600","author":"Etherington","year":"1990"},{"issue":"4","key":"10.1016\/S0004-3702(96)00026-4_BIB14","article-title":"Intelligence without robots: a reply to Brooks","volume":"14","author":"Etzioni","year":"1993","journal-title":"AI Mag."},{"key":"10.1016\/S0004-3702(96)00026-4_BIB15","series-title":"Proceedings Fourth International Conference on Principles of Knowledge Representation and Reasoning","first-page":"178","article-title":"Tractable closed-world reasoning with updates","author":"Etzioni","year":"1994"},{"key":"10.1016\/S0004-3702(96)00026-4_BIB16","series-title":"Proceedings Third International Conference on Principles of Knowledge Representation and Reasoning","article-title":"An approach to planning with incomplete information","author":"Etzioni","year":"1992"},{"key":"10.1016\/S0004-3702(96)00026-4_BIB17","series-title":"Working Notes of the AAAI Spring Symposium: Foundations of Automatic Planning: The Classical Approach and Beyond","first-page":"24","article-title":"Planning with incomplete information in the UNIX domain","author":"Etzioni","year":"1993"},{"key":"10.1016\/S0004-3702(96)00026-4_BIB18","article-title":"Building softbots for UNIX (preliminary report)","author":"Etzioni","year":"1993"},{"issue":"7","key":"10.1016\/S0004-3702(96)00026-4_BIB19","doi-asserted-by":"crossref","first-page":"72","DOI":"10.1145\/176789.176797","article-title":"A softbot-based interface to the Internet","volume":"37","author":"Etzioni","year":"1994","journal-title":"Commun. ACM"},{"key":"10.1016\/S0004-3702(96)00026-4_BIB20","series-title":"Proceedings AAAI-93","first-page":"724","article-title":"Time-saving tips for problem solving with incomplete information","author":"Genesereth","year":"1993"},{"key":"10.1016\/S0004-3702(96)00026-4_BIB21","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1016\/0004-3702(89)90026-X","article-title":"A circumscriptive theorem prover","volume":"39","author":"Ginsberg","year":"1989","journal-title":"Artif. Intell."},{"key":"10.1016\/S0004-3702(96)00026-4_BIB22","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1016\/0004-3702(88)90011-2","article-title":"Reasoning about action I: a possible worlds approach","volume":"35","author":"Ginsberg","year":"1988","journal-title":"Artif. Intell."},{"key":"10.1016\/S0004-3702(96)00026-4_BIB23","series-title":"Proceedings AAAI-94","first-page":"1048","article-title":"Omnipotence without omniscience: sensor management in planning","author":"Golden","year":"1994"},{"key":"10.1016\/S0004-3702(96)00026-4_BIB24","article-title":"Planning with execution and incomplete information","author":"Golden","year":"1996"},{"key":"10.1016\/S0004-3702(96)00026-4_BIB25","article-title":"The problem of incomplete information in relational databases","volume":"554","author":"Grahne","year":"1991"},{"key":"10.1016\/S0004-3702(96)00026-4_BIB26","series-title":"Proceedings Second International Conference on Principles of Knowledge Representation and Reasoning","first-page":"387","article-title":"On the difference between updating a knowledge base and revising it","author":"Katsuno","year":"1991"},{"key":"10.1016\/S0004-3702(96)00026-4_BIB27","doi-asserted-by":"crossref","first-page":"620","DOI":"10.1109\/TSE.1985.232506","article-title":"On the use of an extended relational model to handle changing incomplete information","volume":"11","author":"Keller","year":"1985","journal-title":"IEEE Trans. Softw. Eng."},{"key":"10.1016\/S0004-3702(96)00026-4_BIB28","series-title":"Proceedins AAAI-82","first-page":"202","article-title":"Circumscriptive ignorance","author":"Konolige","year":"1982"},{"key":"10.1016\/S0004-3702(96)00026-4_BIB29","first-page":"77","article-title":"Logic for data description","author":"Kowalski","year":"1978"},{"key":"10.1016\/S0004-3702(96)00026-4_BIB30","series-title":"Proceedings 1st International Conference on AI Planning Systems","first-page":"136","article-title":"An empirical study of sensing and defaulting in planning","author":"Krebsbach","year":"1992"},{"key":"10.1016\/S0004-3702(96)00026-4_BIB31","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1016\/0004-3702(90)90056-6","article-title":"All I know: a study in autoepistemic logic","volume":"42","author":"Levesque","year":"1990","journal-title":"Artif. Intell."},{"key":"10.1016\/S0004-3702(96)00026-4_BIB32","series-title":"Queries, updates and LCW","author":"Levy","year":"1994"},{"key":"10.1016\/S0004-3702(96)00026-4_BIB33","series-title":"Proceedings 19th VLDB Conference","article-title":"Queries independent of updates","author":"Levy","year":"1993"},{"key":"10.1016\/S0004-3702(96)00026-4_BIB34","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1016\/0004-3702(85)90055-4","article-title":"Closed-world databases and circumscription","volume":"27","author":"Lifschitz","year":"1985","journal-title":"Artif. Intell."},{"key":"10.1016\/S0004-3702(96)00026-4_BIB35","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0004-3702(80)90011-9","article-title":"Circumscription\u2014a form of non-monotonic reasoning","volume":"13","author":"McCarthy","year":"1980","journal-title":"Artif. Intell."},{"key":"10.1016\/S0004-3702(96)00026-4_BIB36","series-title":"Formal Theories of the Commonsense World","article-title":"A formal theory of knowledge and action","author":"Moore","year":"1985"},{"key":"10.1016\/S0004-3702(96)00026-4_BIB37","doi-asserted-by":"crossref","first-page":"480","DOI":"10.1145\/76902.76904","article-title":"Integrity = validity + completeness","volume":"14","author":"Metro","year":"1989","journal-title":"TODS"},{"key":"10.1016\/S0004-3702(96)00026-4_BIB38","series-title":"Proceedings of DARPA Workshop on Innovative Approaches to Planning, Scheduling, and Control","article-title":"Deferred planning and sensor use","author":"Olawsky","year":"1990"},{"key":"10.1016\/S0004-3702(96)00026-4_BIB39","doi-asserted-by":"crossref","first-page":"288","DOI":"10.1016\/0022-0000(85)90045-5","article-title":"Games against nature","volume":"31","author":"Papadimitriou","year":"1985","journal-title":"J. Comput. Syst. Sci."},{"key":"10.1016\/S0004-3702(96)00026-4_BIB40","series-title":"Proceedings First International Conference on Principles of Knowledge Representation and Reasoning","first-page":"324","article-title":"ADL: exploring the middle ground between STRIPS and the situation calculus","author":"Pednault","year":"1989"},{"key":"10.1016\/S0004-3702(96)00026-4_BIB41","series-title":"Proceedings Third International Conference on Principles of Knowledge Representation and Reasoning","first-page":"103","article-title":"UCPOP: a sound, complete, partial order planner for ADL","author":"Penberthy","year":"1992"},{"key":"10.1016\/S0004-3702(96)00026-4_BIB42","series-title":"Proceedings 1st International Conference on AI Planning Systems","first-page":"189","article-title":"Conditional nonlinear planning","author":"Peot","year":"1992"},{"key":"10.1016\/S0004-3702(96)00026-4_BIB43","series-title":"Proceedings Third International Conference on Principles of Knowledge Representation and Reasoning","first-page":"532","article-title":"A minimality maintenance system","author":"Raiman","year":"1992"},{"key":"10.1016\/S0004-3702(96)00026-4_BIB44","first-page":"55","article-title":"On closed world databases","author":"Reiter","year":"1978"},{"key":"10.1016\/S0004-3702(96)00026-4_BIB45","series-title":"Proceedings AAAI-82","first-page":"418","article-title":"Circumscription implies predicate completion (sometimes)","author":"Reiter","year":"1982"},{"key":"10.1016\/S0004-3702(96)00026-4_BIB46","series-title":"Proceedings AAAI-83","first-page":"373","article-title":"Finding all of the solutions to a problem","author":"Smith","year":"1983"},{"key":"10.1016\/S0004-3702(96)00026-4_BIB47","series-title":"Proceedings IJCA1-77","first-page":"888","article-title":"Generating project networks","author":"Tate","year":"1977"},{"key":"10.1016\/S0004-3702(96)00026-4_BIB48","first-page":"27","article-title":"An introduction to least-commitment planning","author":"Weld","year":"1994","journal-title":"AI Mag."},{"key":"10.1016\/S0004-3702(96)00026-4_BIB49","series-title":"Proceedings AAAI-88","first-page":"89","article-title":"Reasoning about action using a possible models approach","author":"Winslett","year":"1988"},{"key":"10.1016\/S0004-3702(96)00026-4_BIB50","author":"Winslett","year":"1990"}],"container-title":["Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0004370296000264?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0004370296000264?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,12]],"date-time":"2019-04-12T06:28:21Z","timestamp":1555050501000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0004370296000264"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,1]]},"references-count":50,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[1997,1]]}},"alternative-id":["S0004370296000264"],"URL":"https:\/\/doi.org\/10.1016\/s0004-3702(96)00026-4","relation":{},"ISSN":["0004-3702"],"issn-type":[{"value":"0004-3702","type":"print"}],"subject":[],"published":{"date-parts":[[1997,1]]}}}