{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,16]],"date-time":"2026-01-16T09:44:00Z","timestamp":1768556640816,"version":"3.49.0"},"reference-count":25,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2000,10,1]],"date-time":"2000-10-01T00:00:00Z","timestamp":970358400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2000,10,1]],"date-time":"2000-10-01T00:00:00Z","timestamp":970358400000},"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":["Studia Logica"],"published-print":{"date-parts":[[2000,10]]},"DOI":"10.1023\/a:1026761331498","type":"journal-article","created":{"date-parts":[[2003,11,6]],"date-time":"2003-11-06T13:09:07Z","timestamp":1068124147000},"page":"165-186","source":"Crossref","is-referenced-by-count":42,"title":["Ability and Knowing How in the Situation Calculus"],"prefix":"10.1007","volume":"66","author":[{"given":"Yves","family":"Lesp\u00e9rance","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hector J.","family":"Levesque","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fangzhen","family":"Lin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Richard B.","family":"Scherl","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"318837_CR1","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1016\/S0921-8890(05)80026-0","volume":"6","author":"P.E. Agre","year":"1990","unstructured":"Agre, P.E., and D. Chapman, \u2018What are plans for?', Robotics and Autonomous Systems 6 (1990), 17\u201334.","journal-title":"Robotics and Autonomous Systems"},{"issue":"5","key":"318837_CR2","doi-asserted-by":"crossref","first-page":"721","DOI":"10.1093\/logcom\/4.5.721","volume":"4","author":"E. Davis","year":"1994","unstructured":"Davis, E., \u2018Knowledge preconditions for plans', Journal of Logic and Computation 4,5 (1994), 721\u2013766.","journal-title":"Journal of Logic and Computation"},{"key":"318837_CR3","unstructured":"Etzioni, O., S. Hanks, D. Weld, D. Draper, N. Lesh, and M. Williamson. \u2018An approach to planning with incomplete information', in B. Nebel, C. Rich, and W. Swartout (eds.), Principles of Knowledge Representation and Reasoning: Proceedings of the Third International Conference, Cambridge, MA, pp. 115\u2013125, 1992."},{"key":"318837_CR4","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1016\/0004-3702(71)90010-5","volume":"2","author":"R. Fikes","year":"1971","unstructured":"Fikes, R., and N. Nilsson, \u2018STRIPS: A new approach to the application of theorem proving to problem solving', Artificial Intelligence 2 (1971), 189\u2013208.","journal-title":"Artificial Intelligence"},{"key":"318837_CR5","unstructured":"Golden, K., and D. Weld, \u2018Representing sensing actions: the middle ground revisited', in L. C. Aiello, J. Doyle, and S. C. Shapiro (eds.), Principles of Knowledge Representation and Reasoning: Proceedings of the Fifth International Conference, Cambridge, MA, pp. 174\u2013185, 1996."},{"key":"318837_CR6","first-page":"183","volume-title":"Machine Intelligence","author":"C. Green","year":"1969","unstructured":"Green, C., \u2018Theorem proving by resolution as a basis for question-answering systems', in B. Meltzer and D. Michie (eds.), Machine Intelligence, Vol. 4, New York: American Elsevier, pp. 183\u2013205, 1969."},{"key":"318837_CR7","doi-asserted-by":"crossref","unstructured":"Haas, A. R., \u2018The case for domain-specific frame axioms', in F. Brown (ed.), The Frame Problem in Artificial Intelligence: Proceedings of the 1987 Workshop, Lawrence, KA, pp. 343\u2013348, 1987.","DOI":"10.1016\/B978-0-934613-32-3.50026-5"},{"key":"318837_CR8","doi-asserted-by":"crossref","unstructured":"Krebsbach, K., D. Olawsky, and M. Gini, \u2018An empirical study of sensing and defaulting in planning', in Proceedings of the First Conference on AI Planning Systems, San Mateo, CA, pp. 136\u2013144, 1992.","DOI":"10.1016\/B978-0-08-049944-4.50021-5"},{"key":"318837_CR9","first-page":"83","volume":"16","author":"S. A. Kripke","year":"1963","unstructured":"Kripke, S. A., \u2018Semantical considerations on modal logic', Acta Philosophica Fennica 16 (1963), 83\u201394.","journal-title":"Acta Philosophica Fennica"},{"key":"318837_CR10","unstructured":"Lakemeyer, G., and H. J. Levesque, \u2018AOL: a Logic of acting, sensing, knowing, and only-knowing', in Principles of Knowledge Representation and Reasoning: Proceedings of the Sixth International Conference (KR-98), pp. 316\u2013327, 1998."},{"key":"318837_CR11","unstructured":"Levesque, H. J., \u2018What is planning in the presence of sensing?', in Proceedings of the Thirteenth National Conference on Artificial Intelligence, Portland, OR, pp. 1139\u20131146, 1996."},{"key":"318837_CR12","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1016\/S0743-1066(96)00121-5","volume":"31","author":"H. J. Levesque","year":"1997","unstructured":"Levesque, H. J., R. Reiter, Y. Lesp\u00c9rance, F. Lin, and R. B. Scherl, \u2018GOLOG: a logic programming language for dynamic domains', Journal of Logic Programming 31 (1997), 59\u201384.","journal-title":"Journal of Logic Programming"},{"issue":"1\u20132","key":"318837_CR13","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1016\/S0004-3702(98)00041-1","volume":"101","author":"F. Lin","year":"1998","unstructured":"Lin, F. and H. J. Levesque, \u2018What robots can do: robot programs and effective achievability', Artificial Intelligence 101,1\u20132 (1998), 201\u2013226.","journal-title":"Artificial Intelligence"},{"issue":"5","key":"318837_CR14","doi-asserted-by":"crossref","first-page":"655","DOI":"10.1093\/logcom\/4.5.655","volume":"4","author":"F. Lin","year":"1994","unstructured":"Lin, F., and R. Reiter, \u2018State constraints revisited', Journal of Logic and Computation 4,5 (1994), 655\u2013678.","journal-title":"Journal of Logic and Computation"},{"key":"318837_CR15","first-page":"463","volume-title":"Machine Intelligence","author":"J. McCarthy","year":"1969","unstructured":"McCarthy, J., and P. Hayes, \u2018Some philosophical problems from the standpoint of artificial intelligence', in B. Meltzer and D. Michie (eds.), Machine Intelligence, Vol. 4, Edinburgh, UK, Edinburgh University Press, pp. 463\u2013502, 1969."},{"key":"318837_CR16","first-page":"319","volume-title":"Formal Theories of the Common Sense World","author":"R. C. Moore","year":"1985","unstructured":"Moore, R. C., \u2018A formal theory of knowledge and action', in J. R. Hobbs and R. C. Moore (eds.), Formal Theories of the Common Sense World, Norwood, NJ, Ablex Publishing, pp. 319\u2013358, 1985."},{"key":"318837_CR17","unstructured":"Morgenstern, L., \u2018Knowledge preconditions for actions and plans', in Proceedings of the Tenth International Joint Conference on Artificial Intelligence, Milan, Italy, pp. 867\u2013874, 1987."},{"key":"318837_CR18","unstructured":"Pednault, E. P. D., \u2018ADL: exploring the middle ground between STRIPS and the situation calculus', in R. Brachman, H. Levesque, and R. Reiter (eds.), Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning, Toronto, ON, pp. 324\u2013332, 1989."},{"key":"318837_CR19","doi-asserted-by":"crossref","unstructured":"Peot, M., and D. Smith, \u2018Conditional nonlinear planning', in: Proceedings of the First Conference on AI Planning Systems, San Mateo, CA, pp. 189\u2013197, 1992.","DOI":"10.1016\/B978-0-08-049944-4.50027-6"},{"key":"318837_CR20","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1016\/B978-0-12-450010-5.50026-8","volume-title":"Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy","author":"R. Reiter","year":"1991","unstructured":"Reiter, R., \u2018The frame problem in the situation calculus: a simple solution (sometimes) and a completeness result for goal regression', in V. Lifschitz (ed.), Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, San Diego, CA: Academic Press, pp. 359\u2013380, 1991."},{"key":"318837_CR21","unstructured":"Scherl, R. B., and H. J. Levesque, \u2018The frame problem and knowledge-producing actions', in Proceedings of the Eleventh National Conference on Artificial Intelligence, Washington, DC, pp. 689\u2013695, 1993."},{"key":"318837_CR22","doi-asserted-by":"crossref","unstructured":"Schoppers, M. J., \u2018Building plans to monitor and exploit open-loop and closed-loop dynamics', in Proceedings of the First Conference on AI Planning Systems, San Mateo, CA, pp. 204\u2013213, 1992.","DOI":"10.1016\/B978-0-08-049944-4.50029-X"},{"key":"318837_CR23","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1007\/978-94-009-0553-5_2","volume-title":"Knowledge Representation and Defeasible Reasoning","author":"L. Schubert","year":"1990","unstructured":"Schubert, L., \u2018Monotonic solution to the frame problem in the situation calculus: an efficient method for worlds with fully specified actions', in H. Kyberg, R. Loui, and G. Carlson (eds.), Knowledge Representation and Defeasible Reasoning, Boston, MA, Kluwer Academic Press, pp. 23\u201367, 1990."},{"key":"318837_CR24","series-title":"LNAI","volume-title":"Multiagent Systems","author":"M. P. Singh","year":"1994","unstructured":"Singh, M. P., Multiagent Systems, Berlin, LNAI 799, Springer-Verlag, 1994."},{"key":"318837_CR25","doi-asserted-by":"crossref","unstructured":"van der Hoek, W., B. van Linder, and J.-J. C. Meyer, \u2018A logic of capabilities\u2019, in A. Nerode and Y. V. Matiyasevich (eds.): Proceedings of the Third International Symposium on the Logical Foundations of Computer Science (LFCS'94), 1994.","DOI":"10.1007\/3-540-58140-5_34"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1026761331498.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1026761331498\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1026761331498.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T05:16:21Z","timestamp":1754630181000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1026761331498"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,10]]},"references-count":25,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2000,10]]}},"alternative-id":["318837"],"URL":"https:\/\/doi.org\/10.1023\/a:1026761331498","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2000,10]]}}}