{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T06:10:07Z","timestamp":1747548607248,"version":"3.40.5"},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"2-4","license":[{"start":{"date-parts":[[1997,12,1]],"date-time":"1997-12-01T00:00:00Z","timestamp":880934400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1997,12,1]],"date-time":"1997-12-01T00:00:00Z","timestamp":880934400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Annals of Mathematics and Artificial Intelligence"],"published-print":{"date-parts":[[1997,12]]},"DOI":"10.1023\/a:1018925704786","type":"journal-article","created":{"date-parts":[[2003,2,19]],"date-time":"2003-02-19T22:07:13Z","timestamp":1045692433000},"page":"321-342","source":"Crossref","is-referenced-by-count":6,"title":["An ordering on subgoals for planning"],"prefix":"10.1007","volume":"21","author":[{"given":"Fangzhen","family":"Lin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"325450_CR1","first-page":"1215","volume-title":"Proceedings of the 13th National Conference on Artificial Intelligence (AAAI-96)","author":"F. Bacchus","year":"1996","unstructured":"F. Bacchus and F. Kabanza, Planning for temporally extended goals, in: Proceedings of the 13th National Conference on Artificial Intelligence (AAAI-96) (AAAI Press, Menlo Park, CA, 1996) pp. 1215\u20131222."},{"key":"325450_CR2","first-page":"1388","volume-title":"Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence (IJCAI-93)","author":"A. Barrett","year":"1993","unstructured":"A. Barrett and D.S. Weld, Characterizing subgoal interactions for planning, in: Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence (IJCAI-93) (Morgan Kaufmann, San Mateo, CA, 1993) pp. 1388\u20131393."},{"key":"325450_CR3","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1016\/0004-3702(87)90092-0","volume":"32","author":"D. Chapman","year":"1987","unstructured":"D. Chapman, Planning for conjunctive goals, Artificial Intelligence 32 (1987) 333\u2013377.","journal-title":"Artificial Intelligence"},{"key":"325450_CR4","unstructured":"J. Cheng and K.B. Irani, Ordering problem subgoals, in: Proceedings of the Eleventh International Joint Conference on Artificial Intelligence (IJCAI-89) (1989) pp. 931\u2013936."},{"key":"325450_CR5","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1016\/0004-3702(93)90080-U","volume":"62","author":"O. Etzioni","year":"1993","unstructured":"O. Etzioni, Acquiring search-control knowledge via static analysis, Artificial Intelligence 62 (1993) 255\u2013301.","journal-title":"Artificial Intelligence"},{"key":"325450_CR6","volume-title":"The Logical Foundations of Artificial Intelligence","author":"M.R. Genesereth","year":"1987","unstructured":"M.R. Genesereth and N.J. Nilsson, The Logical Foundations of Artificial Intelligence (Morgan Kaufmann, Los Altos, CA, 1987)."},{"key":"325450_CR7","doi-asserted-by":"crossref","unstructured":"C.C. Green, Application of theorem proving to problem solving, in: Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI-69) (1969) pp. 219\u2013239.","DOI":"10.21236\/ADA459656"},{"key":"325450_CR8","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/0004-3702(89)90081-7","volume":"41","author":"D. Joslin","year":"1989","unstructured":"D. Joslin and J. Roach, A theoretical analysis of conjunctive-goal problems, Artificial Intelligence 41 (1989) 97\u2013106.","journal-title":"Artificial Intelligence"},{"key":"325450_CR9","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1016\/0004-3702(87)90051-8","volume":"33","author":"R.E. Korf","year":"1987","unstructured":"R.E. Korf, Planning as search: A quantitative approach, Artificial Intelligence 33 (1987) 65\u201388.","journal-title":"Artificial Intelligence"},{"key":"325450_CR10","unstructured":"F. Lin, Applications of the situation calculus to formalizing control and strategic information: the Prolog cut operator, http:\/\/www.cs.ust.hk\/~flin\/, submitted."},{"issue":"5","key":"325450_CR11","doi-asserted-by":"crossref","first-page":"655","DOI":"10.1093\/logcom\/4.5.655","volume":"4","author":"F. Lin","year":"1994","unstructured":"F. Lin and R. Reiter, State constraints revisited, Journal of Logic and Computation 4(5) (1994) 655\u2013678.","journal-title":"Journal of Logic and Computation"},{"key":"325450_CR12","doi-asserted-by":"crossref","unstructured":"F. Lin and R. Reiter, How to progress a database, Artificial Intelligence (1997), to appear.","DOI":"10.1016\/S0004-3702(96)00044-6"},{"key":"325450_CR13","unstructured":"D. McAllester and D. Rosenblitt, Systematic nonlinear planning, in: Proceedings of the Ninth National Conference on Artificial Intelligence (AAAI-91) (1991) pp. 634\u2013639."},{"key":"325450_CR14","first-page":"410","volume-title":"Semantic Information Processing","author":"J. McCarthy","year":"1968","unstructured":"J. McCarthy, Situations, actions and causal laws, in: Semantic Information Processing, ed. M. Minsky (MIT Press, Cambridge, MA, 1968) pp. 410\u2013417."},{"key":"325450_CR15","first-page":"463","volume-title":"Machine Intelligence 4","author":"J. McCarthy","year":"1969","unstructured":"J. McCarthy and P. Hayes, Some philosophical problems from the standpoint of artificial intelligence, in: Machine Intelligence 4, eds. B. Meltzer and D. Michie (Edinburgh University Press, Edinburgh, 1969) pp. 463\u2013502."},{"key":"325450_CR16","volume-title":"Principles of Articifial Intelligence","author":"N.J. Nilsson","year":"1980","unstructured":"N.J. Nilsson, Principles of Articifial Intelligence (Morgan Kaufmann, Los Altos, CA, 1980)."},{"key":"325450_CR17","doi-asserted-by":"crossref","first-page":"356","DOI":"10.1111\/j.1467-8640.1988.tb00285.x","volume":"4","author":"E.P. Pednault","year":"1988","unstructured":"E.P. Pednault, Synthesizing plans that contain actions with context-dependent effects, Computational Intelligence 4 (1988) 356\u2013372.","journal-title":"Computational Intelligence"},{"key":"325450_CR18","unstructured":"J. Pinto and R. Reiter, Extending the situation calculus with event occurrences, in: Second Symposium on Logical Formalizations of Commonsense Reasoning (1993)."},{"key":"325450_CR19","first-page":"418","volume-title":"Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy","author":"R. Reiter","year":"1991","unstructured":"R. Reiter, The frame problem in the situation calculus: a simple solution (sometimes) and a completeness result for goal regression, in: Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, ed. V. Lifschitz (Academic Press, San Diego, CA, 1991) pp. 418\u2013420."},{"key":"325450_CR20","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1016\/0004-3702(93)90109-O","volume":"64","author":"R. Reiter","year":"1993","unstructured":"R. Reiter, Proving properties of states in the situation calculus, Artificial Intelligence 64 (1993) 337\u2013351.","journal-title":"Artificial Intelligence"},{"issue":"1","key":"325450_CR21","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1016\/0743-1066(95)00049-P","volume":"25","author":"R. Reiter","year":"1995","unstructured":"R. Reiter, On specifying database updates, Journal of Logic Programming 25(1) (1995) 53\u201391.","journal-title":"Journal of Logic Programming"},{"key":"325450_CR22","first-page":"500","volume-title":"Proceedings of the Eleventh National Conference on Artificial Intelligence (AAAI-93)","author":"D.E. Smith","year":"1993","unstructured":"D.E. Smith and M.A. Peot, Postponing threats in partial-order planning, in: Proceedings of the Eleventh National Conference on Artificial Intelligence (AAAI-93) (AAAI Press, Menlo Park, CA, 1993) pp. 500\u2013506."},{"key":"325450_CR23","first-page":"94","volume-title":"Machine Intelligence","author":"R. Waldinger","year":"1977","unstructured":"R. Waldinger, Achieving several goals simultaneously, in: Machine Intelligence, eds. E. Elcock and D. Michie (Ellis Horwood, Edinburgh, Scotland, 1977) pp. 94\u2013136."},{"key":"325450_CR24","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1016\/0004-3702(92)90013-N","volume":"58","author":"Q. Yang","year":"1992","unstructured":"Q. Yang, A theory of conflict resolution in planning, Artificial Intelligence 58 (1992) 361\u2013392.","journal-title":"Artificial Intelligence"}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1018925704786.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1018925704786\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1018925704786.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T05:38:33Z","timestamp":1747546713000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1018925704786"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,12]]},"references-count":24,"journal-issue":{"issue":"2-4","published-print":{"date-parts":[[1997,12]]}},"alternative-id":["325450"],"URL":"https:\/\/doi.org\/10.1023\/a:1018925704786","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"type":"print","value":"1012-2443"},{"type":"electronic","value":"1573-7470"}],"subject":[],"published":{"date-parts":[[1997,12]]}}}