{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T12:45:07Z","timestamp":1648557907620},"reference-count":30,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2014,9,23]],"date-time":"2014-09-23T00:00:00Z","timestamp":1411430400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[2015,4]]},"DOI":"10.1007\/s10992-014-9331-9","type":"journal-article","created":{"date-parts":[[2014,9,22]],"date-time":"2014-09-22T09:59:06Z","timestamp":1411379946000},"page":"147-161","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Position Systems in Dynamic Domains"],"prefix":"10.1007","volume":"44","author":[{"given":"Jianmin","family":"Ji","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fangzhen","family":"Lin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,9,23]]},"reference":[{"key":"9331_CR1","unstructured":"Bacchus, F. (2001). AIPS\u201900 planning competition. AI Magazine 22(3), 47\u201356. see also in: http:\/\/www.cs.toronto.edu\/aips2000 ."},{"issue":"1","key":"9331_CR2","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1016\/S0004-3702(99)00071-5","volume":"116","author":"F Bacchus","year":"2000","unstructured":"Bacchus, F., & Kabanza, F. (2000). Using temporal logics to express search control knowledge for planning. Artificial Intelligence, 116 (1), 123\u2013191.","journal-title":"Artificial Intelligence"},{"issue":"4","key":"9331_CR3","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1145\/122344.122353","volume":"2","author":"J Carbonell","year":"1991","unstructured":"Carbonell, J., Etzioni, O., Gil, Y., Joseph, R., Knoblock, C., Minton, S., Veloso, M. (1991). PRODIGY: an integrated architecture for planning and learning. ACM SIGART Bulletin, 2 (4), 51\u201355.","journal-title":"ACM SIGART Bulletin"},{"issue":"4","key":"9331_CR4","doi-asserted-by":"crossref","first-page":"581","DOI":"10.1093\/logcom\/13.4.581","volume":"13","author":"SA Cook","year":"2003","unstructured":"Cook, S.A., & Liu, Y. (2003). A complete axiomatization for blocks world. Journal of Logic and Computation, 13 (4), 581\u2013594.","journal-title":"Journal of Logic and Computation"},{"issue":"3","key":"9331_CR5","first-page":"95","volume":"22","author":"P Doherty","year":"2001","unstructured":"Doherty, P., & Kvarnstram, J. (2001). TALplanner: a temporal logic-based planner. AI Magazine, 22 (3), 95\u2013102.","journal-title":"AI Magazine"},{"issue":"2","key":"9331_CR6","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1016\/0004-3702(93)90080-U","volume":"62","author":"O Etzioni","year":"1993","unstructured":"Etzioni, O. (1993). Acquiring search-control knowledge via static analysis. Artificial Intelligence, 62 (2), 255\u2013301.","journal-title":"Artificial Intelligence"},{"issue":"3","key":"9331_CR7","first-page":"189","volume":"2","author":"RE Fikes","year":"1972","unstructured":"Fikes, R.E., & Nilsson, N.J. (1972). STRIPS: a new approach to the application of theorem proving to problem solving. Artificial intelligence, 2 (3), 189\u2013208.","journal-title":"Artificial intelligence"},{"key":"9331_CR8","unstructured":"Finger, J.J. (1987). Exploiting constraints in design synthesis (Ph.D. Thesis). Department of Computer Science, Stanford University (No. STAN-CS-88-1204)."},{"key":"9331_CR9","unstructured":"Gelfond, M., & Lifschitz, V. (1999). Action languages. Electronic Transactions on Artificial Intelligence, 2, 193\u2013210."},{"issue":"2","key":"9331_CR10","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1016\/0004-3702(88)90011-2","volume":"35","author":"ML Ginsberg","year":"1988","unstructured":"Ginsberg, M.L., & Smith, D.E. (1988). Reasoning about action I: a possible worlds approach. Artificial intelligence, 35 (2), 165\u2013195.","journal-title":"Artificial intelligence"},{"issue":"3","key":"9331_CR11","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1016\/0004-3702(88)90020-3","volume":"35","author":"ML Ginsberg","year":"1988","unstructured":"Ginsberg, M.L., & Smith, D.E. (1988). Reasoning about action II: the qualification problem. Artificial Intelligence, 35 (3), 311\u2013342.","journal-title":"Artificial Intelligence"},{"key":"9331_CR12","unstructured":"Giunchiglia, E., & Lifschitz V. (1998). An action language based on causal explanation: preliminary report. In J. Mostow, C. Rich (Eds.), Proceedings of the 15th national conference on artificial intelligence and 10th innovative applications of artificial intelligence conference (AAAI 1998\/IAAI 1998) (pp. 623\u2013630). Madison: AAAI Press\/ The MIT Press."},{"issue":"16","key":"9331_CR13","doi-asserted-by":"crossref","first-page":"951","DOI":"10.1016\/j.artint.2007.04.013","volume":"171","author":"A Herzig","year":"2007","unstructured":"Herzig, A., & Varzinczak, I. (2007). Metatheory of actions: beyond consistency. Artificial Intelligence, 171 (16), 951\u2013984.","journal-title":"Artificial Intelligence"},{"key":"9331_CR14","unstructured":"Huang, Y.C., Selman, B., Kautz, H. (2000). Learning declarative control rules for constraint-based planning. In P. Langley (Ed.), Proceedings of the 17th international conference on machine learning (ICML 2000) (pp. 415\u2013422). Stanford University, Stanford: Morgan Kaufmann."},{"issue":"1","key":"9331_CR15","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/BF03037383","volume":"4","author":"R Kowalski","year":"1986","unstructured":"Kowalski, R., & Sergot, M. (1986). A logic-based calculus of events. New Generation Computing, 4 (1), 67\u201395.","journal-title":"New Generation Computing"},{"key":"9331_CR16","unstructured":"Lin, F. (1995). Embracing causality in specifying the indeterminate effects of actions. In W.J. Clancey, D.S. Weld (Eds.), Proceedings of the 30th national conference on artificial intelligence and 8th innovative applications of artificial intelligence conference (AAAI 1996\/ IAAI 1996) (pp. 670\u2013676). Portland: AAAI Press\/ The MIT Press."},{"key":"9331_CR17","unstructured":"Lin, F. (2004). Discovering state invariants. In D. Dubois, C.A. Welty, M. Williams (Eds.), Proceedings of the 9th international conference on principles of knowledge representation and reasoning (KR2004) (pp. 536\u2013544). Whistler: AAAI Press."},{"key":"9331_CR18","unstructured":"Lin, F. (2011). On moving objects in dynamic domains. In: Logical formalizations of commonsense reasoning, papers from the 2011 AAAI Spring symposium, TechnicalReportSS-11-06. Stanford: AAAI Press. http:\/\/www.aaai.org\/ocs\/index.php\/SSS\/SSS11\/paper\/view\/2409 ."},{"issue":"5","key":"9331_CR19","first-page":"655","volume":"4","author":"F Lin","year":"1994","unstructured":"Lin, F., & Reiter, R. (1994). State constraints revisited. Journal of Logic and Computation, Special Issue on Actions and Processes, 4 (5), 655\u2013677.","journal-title":"Special Issue on Actions and Processes"},{"key":"9331_CR20","unstructured":"McCain, N., & Turner, H. (1995). A causal theory of ramifications and qualifications. In Proceedings of the 14th international joint conference on artificial intelligence (IJCAI 1995) (pp. 1978\u20131984). Montr\u00e9al Qu\u00e9bec: Morgan Kaufmann."},{"key":"9331_CR21","doi-asserted-by":"crossref","unstructured":"McCarthy, J. (1963). Situations, actions, and causal laws. In M. Minsky (Ed.), Semantic information processing (pp. 410\u2013417). Cambridge, Mass: MIT Press.","DOI":"10.21236\/AD0785031"},{"key":"9331_CR22","unstructured":"McDermott, D., Ghallab, M., Howe, A., Knoblock, C., Ram, A., Veloso, M., Weld, D., Wilkins, D. (1998). PDDL\u2013the planning domain definition language. AIPS98 Planning Committee, 78(4), 1\u201327."},{"key":"9331_CR23","doi-asserted-by":"crossref","unstructured":"Reiter, R. (2001). Knowledge in action: logical foundations for specifying and implementing dynamical systems. Cambridge: MIT Press.","DOI":"10.7551\/mitpress\/4074.001.0001"},{"key":"9331_CR24","unstructured":"Russel, S., & Norvig, P. (2003). Artificial intelligence: a modern approach, 2nd Edn. Prentice Hall."},{"key":"9331_CR25","unstructured":"Thielscher, M. (1995). Computing ramifications by post-processing. In Proceedings of the 14th international joint conference on artificial intelligence (IJCAI 1995) (pp. 1994\u20132000). Montr\u00e9al Qu\u00e9bec: Morgan Kaufmann."},{"issue":"3-4","key":"9331_CR26","first-page":"179","volume":"2","author":"M Thielscher","year":"1998","unstructured":"Thielscher, M. (1998). Introduction to the fluent calculus. Electronic Transactions on Artificial Intelligence, 2 (3-4), 179\u2013192.","journal-title":"Electronic Transactions on Artificial Intelligence"},{"issue":"1","key":"9331_CR27","doi-asserted-by":"crossref","first-page":"120","DOI":"10.1016\/j.artint.2010.04.010","volume":"175","author":"M Thielscher","year":"2011","unstructured":"Thielscher, M. (2011). A unifying action calculus. Artificial Intelligence, 175 (1), 120\u2013141.","journal-title":"Artificial Intelligence"},{"issue":"1","key":"9331_CR28","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1016\/j.artint.2010.04.007","volume":"175","author":"PH Tu","year":"2011","unstructured":"Tu, P.H., Son, T.C., Gelfond, M., Morales, A.R. (2011). Approximation of action theories and its application to conformant planning. Artificial Intelligence, 175 (1), 79\u2013119.","journal-title":"Artificial Intelligence"},{"key":"9331_CR29","unstructured":"Zhang, D., Chopra, S., Foo, N.Y. (2002). Consistency of action descriptions. In M. Ishizuka, A. Sattar (Eds.), Proceedings of the 7th Pacific Rim international conference on artificial intelligence (PRICAI 2002): trends in artificial intelligence, lecture notes in computer science (Vol. 2417, pp. 70\u201379). Tokyo: Springer."},{"issue":"1","key":"9331_CR30","doi-asserted-by":"crossref","first-page":"109","DOI":"10.3233\/FI-1997-30108","volume":"30","author":"Y Zhang","year":"1997","unstructured":"Zhang, Y., & Foo, N.Y. (1997). Deriving invariants and constraints from action theories. Fundamenta Informaticae, 30 (1), 109\u2013123.","journal-title":"Fundamenta Informaticae"}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-014-9331-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10992-014-9331-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-014-9331-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,24]],"date-time":"2020-08-24T19:24:06Z","timestamp":1598297046000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10992-014-9331-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,9,23]]},"references-count":30,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2015,4]]}},"alternative-id":["9331"],"URL":"https:\/\/doi.org\/10.1007\/s10992-014-9331-9","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,9,23]]}}}