{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:27:18Z","timestamp":1761611238567,"version":"3.41.0"},"reference-count":48,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100002428","name":"Austrian Science Fund","doi-asserted-by":"publisher","award":["P18146-N04Z29-N04"],"award-info":[{"award-number":["P18146-N04Z29-N04"]}],"id":[{"id":"10.13039\/501100002428","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000780","name":"European Commission","doi-asserted-by":"publisher","award":["HPMF-CT-2001-001286"],"award-info":[{"award-number":["HPMF-CT-2001-001286"]}],"id":[{"id":"10.13039\/501100000780","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Comput. Logic"],"published-print":{"date-parts":[[2009,1]]},"abstract":"<jats:p>\n            We focus on the aspect of sensing in reasoning about actions under qualitative and probabilistic uncertainty. We first define the action language\n            <jats:italic>E<\/jats:italic>\n            for reasoning about actions with sensing, which has a semantics based on the autoepistemic description logic\n            <jats:italic>\n              ALCK\n              <jats:sub>NF<\/jats:sub>\n            <\/jats:italic>\n            , and which is given a formal semantics via a system of deterministic transitions between epistemic states. As an important feature, the main computational tasks in\n            <jats:italic>E<\/jats:italic>\n            can be done in linear and quadratic time. We then introduce the action language\n            <jats:italic>E<\/jats:italic>\n            + for reasoning about actions with sensing under qualitative and probabilistic uncertainty, which is an extension of\n            <jats:italic>E<\/jats:italic>\n            by actions with nondeterministic and probabilistic effects, and which is given a formal semantics in a system of deterministic, nondeterministic, and probabilistic transitions between epistemic states. We also define the notion of a belief graph, which represents the belief state of an agent after a sequence of deterministic, nondeterministic, and probabilistic actions, and which compactly represents a set of unnormalized probability distributions. Using belief graphs, we then introduce the notion of a conditional plan and its goodness for reasoning about actions under qualitative and probabilistic uncertainty. We formulate the problems of optimal and threshold conditional planning under qualitative and probabilistic uncertainty, and show that they are both uncomputable in general. We then give two algorithms for conditional planning in our framework. The first one is always sound, and it is also complete for the special case in which the relevant transitions between epistemic states are cycle-free. The second algorithm is a sound and complete solution to the problem of finite-horizon conditional planning in our framework. Under suitable assumptions, it computes every optimal finite-horizon conditional plan in polynomial time. We also describe an application of our formalism in a robotic-soccer scenario, which underlines its usefulness in realistic applications.\n          <\/jats:p>","DOI":"10.1145\/1459010.1459015","type":"journal-article","created":{"date-parts":[[2009,1,29]],"date-time":"2009-01-29T13:48:36Z","timestamp":1233236916000},"page":"1-41","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":13,"title":["Reasoning about actions with sensing under qualitative and probabilistic uncertainty"],"prefix":"10.1145","volume":"10","author":[{"given":"Luca","family":"Iocchi","sequence":"first","affiliation":[{"name":"Sapienza Universit\u00e0 di Roma, Rome, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Lukasiewicz","sequence":"additional","affiliation":[{"name":"Sapienza Universit\u00e0 di Roma, Rome, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniele","family":"Nardi","sequence":"additional","affiliation":[{"name":"Sapienza Universit\u00e0 di Roma, Rome, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Riccardo","family":"Rosati","sequence":"additional","affiliation":[{"name":"Sapienza Universit\u00e0 di Roma, Rome, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2009,1,23]]},"reference":[{"volume-title":"Proceedings of the 20th National Conference on Artificial Intelligence (AAAI-2005)","author":"Baader F.","key":"e_1_2_1_1_1","unstructured":"Baader , F. , Lutz , C. , Milicic , M. , Sattler , U. , and Wolter , F . 2005. Integrating description logics and action formalisms: First results . In Proceedings of the 20th National Conference on Artificial Intelligence (AAAI-2005) . AAAI Press\/MIT Press, Cambridge, MA, 572--577. Baader, F., Lutz, C., Milicic, M., Sattler, U., and Wolter, F. 2005. Integrating description logics and action formalisms: First results. In Proceedings of the 20th National Conference on Artificial Intelligence (AAAI-2005). AAAI Press\/MIT Press, Cambridge, MA, 572--577."},{"key":"e_1_2_1_2_1","volume-title":"Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI-1995)","author":"Bacchus F.","year":"1933","unstructured":"Bacchus , F. , Halpern , J. Y. , and Levesque , H. J . 1995. Reasoning about noisy sensors and effectors in the situation calculus . In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI-1995) . Morgan-Kaufmann, San Francisco, CA , 1933 --1940. Bacchus, F., Halpern, J. Y., and Levesque, H. J. 1995. Reasoning about noisy sensors and effectors in the situation calculus. In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI-1995). Morgan-Kaufmann, San Francisco, CA, 1933--1940."},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(99)00031-4"},{"volume-title":"Proceedings of the 17th National Conference on Artificial Intelligence (AAAI-2002)","author":"Baral C.","key":"e_1_2_1_4_1","unstructured":"Baral , C. , Tran , N. , and Tuan , L . -C. 2002. Reasoning about actions in a probabilistic setting . In Proceedings of the 17th National Conference on Artificial Intelligence (AAAI-2002) . AAAI Press, Menlo Park, CA, 507--512. Baral, C., Tran, N., and Tuan, L.-C. 2002. Reasoning about actions in a probabilistic setting. In Proceedings of the 17th National Conference on Artificial Intelligence (AAAI-2002). AAAI Press, Menlo Park, CA, 507--512."},{"volume-title":"Weaving the Web","author":"Berners-Lee T.","key":"e_1_2_1_5_1","unstructured":"Berners-Lee , T. 1999. Weaving the Web . Harper , San Francisco, CA . Berners-Lee, T. 1999. Weaving the Web. Harper, San Francisco, CA."},{"volume-title":"Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI-2001)","author":"Boutilier C.","key":"e_1_2_1_6_1","unstructured":"Boutilier , C. , Reiter , R. , and Price , B . 2001. Symbolic dynamic programming for first-order MDPs . In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI-2001) . Morgan-Kaufmann, San Francisco, CA, 690--700. Boutilier, C., Reiter, R., and Price, B. 2001. Symbolic dynamic programming for first-order MDPs. In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI-2001). Morgan-Kaufmann, San Francisco, CA, 690--700."},{"volume-title":"Proceedings of the 15th National Conference on Artificial Intelligence (AAAI-2000)","author":"Boutilier C.","key":"e_1_2_1_7_1","unstructured":"Boutilier , C. , Reiter , R. , Soutchanski , M. , and Thrun , S . 2000. Decision-theoretic, high-level agent programming in the situation calculus . In Proceedings of the 15th National Conference on Artificial Intelligence (AAAI-2000) . AAAI Press\/MIT Press, Cambridge, MA, 355--362. Boutilier, C., Reiter, R., Soutchanski, M., and Thrun, S. 2000. Decision-theoretic, high-level agent programming in the situation calculus. In Proceedings of the 15th National Conference on Artificial Intelligence (AAAI-2000). AAAI Press\/MIT Press, Cambridge, MA, 355--362."},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1989.63519"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1119439.1119444"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/359496.359508"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/505372.505373"},{"volume-title":"Proceedings of the International Conference on Artificial Intelligence Planning Systems (AIPS-1994)","author":"Draper D.","key":"e_1_2_1_12_1","unstructured":"Draper , D. , Hanks , S. , and Weld , D. S . 1994. Probabilistic planning with information gathering and contingent execution . In Proceedings of the International Conference on Artificial Intelligence Planning Systems (AIPS-1994) . AAAI Press, Menlo Park, CA, 31--36. Draper, D., Hanks, S., and Weld, D. S. 1994. Probabilistic planning with information gathering and contingent execution. In Proceedings of the International Conference on Artificial Intelligence Planning Systems (AIPS-1994). AAAI Press, Menlo Park, CA, 31--36."},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(02)00367-3"},{"volume-title":"Proceedings of the 19th Conference on Uncertainty in Artificial Intelligence (UAI-2003)","author":"Eiter T.","key":"e_1_2_1_14_1","unstructured":"Eiter , T. and Lukasiewicz , T . 2003. Probabilistic reasoning about actions in nonmonotonic causal theories . In Proceedings of the 19th Conference on Uncertainty in Artificial Intelligence (UAI-2003) . Morgan-Kaufmann, San Francisco, CA, 192--199. Eiter, T. and Lukasiewicz, T. 2003. Probabilistic reasoning about actions in nonmonotonic causal theories. In Proceedings of the 19th Conference on Uncertainty in Artificial Intelligence (UAI-2003). Morgan-Kaufmann, San Francisco, CA, 192--199."},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(99)00005-3"},{"key":"e_1_2_1_16_1","volume-title":"Eds","author":"Fensel D.","year":"2002","unstructured":"Fensel , D. , Wahlster , W. , Lieberman , H. , and Hendler , J. , Eds . 2002 . Spinning the Semantic Web : Bringing the World Wide Web to Its Full Potential. MIT Press , Cambridge, MA. Fensel, D., Wahlster, W., Lieberman, H., and Hendler, J., Eds. 2002. Spinning the Semantic Web: Bringing the World Wide Web to Its Full Potential. MIT Press, Cambridge, MA."},{"volume-title":"Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI-2001)","author":"Finzi A.","key":"e_1_2_1_17_1","unstructured":"Finzi , A. and Pirri , F . 2001. Combining probabilities, failures and safety in robot control . In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI-2001) . Morgan-Kaufmann, San Francisco, CA, 1331--1336. Finzi, A. and Pirri, F. 2001. Combining probabilities, failures and safety in robot control. In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI-2001). Morgan-Kaufmann, San Francisco, CA, 1331--1336."},{"key":"e_1_2_1_18_1","volume-title":"Proceedings of the 17th National Conference on Artificial Intelligence (AAAI-2002)","author":"Geffner H.","year":"2002","unstructured":"Geffner , H. 2002 . Perspectives on artificial intelligence planning . In Proceedings of the 17th National Conference on Artificial Intelligence (AAAI-2002) . AAAI Press, Menlo Park, CA, 1013--1023. Geffner, H. 2002. Perspectives on artificial intelligence planning. In Proceedings of the 17th National Conference on Artificial Intelligence (AAAI-2002). AAAI Press, Menlo Park, CA, 1013--1023."},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(93)90035-F"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2002.12.001"},{"key":"e_1_2_1_21_1","volume-title":"Proceedings KI\/\u00d6GAI-2001","volume":"2174","author":"Grosskreutz H.","unstructured":"Grosskreutz , H. and Lakemeyer , G . 2001. Belief update in the pGOLOG framework . In Proceedings KI\/\u00d6GAI-2001 . Lecture Notes in Computer Science , vol. 2174 . Springer-Verlag, Berlin, Germany, 213--228. Grosskreutz, H. and Lakemeyer, G. 2001. Belief update in the pGOLOG framework. In Proceedings KI\/\u00d6GAI-2001. Lecture Notes in Computer Science, vol. 2174. Springer-Verlag, Berlin, Germany, 213--228."},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/153724.153770"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2003.07.001"},{"key":"e_1_2_1_25_1","volume-title":"Tech. Rep. INFSYS RR-1843-03-05","author":"Iocchi L.","year":"2006","unstructured":"Iocchi , L. , Lukasiewicz , T. , Nardi , D. , and Rosati , R . 2006 . Reasoning about actions with sensing under qualitative and probabilistic uncertainty. Tech. Rep. INFSYS RR-1843-03-05 , Institut f\u00fcr Informationssysteme, Technische Universit\u00e4t Wien. March. Iocchi, L., Lukasiewicz, T., Nardi, D., and Rosati, R. 2006. Reasoning about actions with sensing under qualitative and probabilistic uncertainty. Tech. Rep. INFSYS RR-1843-03-05, Institut f\u00fcr Informationssysteme, Technische Universit\u00e4t Wien. March."},{"volume-title":"Proceedings KR-2000","author":"Iocchi L.","key":"e_1_2_1_26_1","unstructured":"Iocchi , L. , Nardi , D. , and Rosati , R . 2000. Planning with sensing, concurrency, and exogenous events: Logical framework and implementation . In Proceedings KR-2000 . Morgan-Kaufmann, San Francisco, CA, 678--689. Iocchi, L., Nardi, D., and Rosati, R. 2000. Planning with sensing, concurrency, and exogenous events: Logical framework and implementation. In Proceedings KR-2000. Morgan-Kaufmann, San Francisco, CA, 678--689."},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.5555\/1643275.1643301"},{"key":"e_1_2_1_28_1","volume-title":"Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI-2001)","author":"Karlsson L.","year":"2001","unstructured":"Karlsson , L. 2001 . Conditional progressive planning under uncertainty . In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI-2001) . Morgan-Kaufmann, San Francisco, CA, 431--438. Karlsson, L. 2001. Conditional progressive planning under uncertainty. In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI-2001). Morgan-Kaufmann, San Francisco, CA, 431--438."},{"volume-title":"Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI-2003)","author":"Lang J.","key":"e_1_2_1_29_1","unstructured":"Lang , J. , Lin , F. , and Marquis , P . 2003. Causal theories of action: A computational core . In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI-2003) . Morgan-Kaufmann, San Francisco, CA, 1073--1078. Lang, J., Lin, F., and Marquis, P. 2003. Causal theories of action: A computational core. In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI-2003). Morgan-Kaufmann, San Francisco, CA, 1073--1078."},{"key":"e_1_2_1_30_1","volume-title":"What is planning in presence of sensing&quest","author":"Levesque H. J.","year":"1996","unstructured":"Levesque , H. J. 1996. What is planning in presence of sensing&quest ; In Proceedings of the National Conference on Artificial Intelligence (AAAI- 1996 ). AAAI Press\/MIT Press , Cambridge, MA, 1139--1149. Levesque, H. J. 1996. What is planning in presence of sensing&quest; In Proceedings of the National Conference on Artificial Intelligence (AAAI-1996). AAAI Press\/MIT Press, Cambridge, MA, 1139--1149."},{"key":"e_1_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(94)90103-1"},{"volume-title":"Proceedings of the National Conference on Artificial Intelligence (AAAI-1997)","author":"Lobo J.","key":"e_1_2_1_32_1","unstructured":"Lobo , J. , Mendez , G. , and Taylor , S. R . 1997. Adding knowledge to the action description language A . In Proceedings of the National Conference on Artificial Intelligence (AAAI-1997) . AAAI Press\/MIT Press, Cambridge, MA, 454--459. Lobo, J., Mendez, G., and Taylor, S. R. 1997. Adding knowledge to the action description language A. In Proceedings of the National Conference on Artificial Intelligence (AAAI-1997). AAAI Press\/MIT Press, Cambridge, MA, 454--459."},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(02)00378-8"},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1016738205696"},{"key":"e_1_2_1_35_1","volume-title":"Lecture Notes in Computer Science","volume":"4273","author":"Motik B.","unstructured":"Motik , B. , Horrocks , I. , Rosati , R. , and Sattler , U . 2006. Can OWL and logic programming live together happily ever after&quest; In Proceedings of the 5th International Semantic Web Conference (ISWC-2006) . Lecture Notes in Computer Science , vol. 4273 , Springer-Verlag, Berlin, Germany, 501--514. Motik, B., Horrocks, I., Rosati, R., and Sattler, U. 2006. Can OWL and logic programming live together happily ever after&quest; In Proceedings of the 5th International Semantic Web Conference (ISWC-2006). Lecture Notes in Computer Science, vol. 4273, Springer-Verlag, Berlin, Germany, 501--514."},{"volume-title":"Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI-2007)","author":"Motik B.","key":"e_1_2_1_36_1","unstructured":"Motik , B. and Rosati , R . 2007. A faithful integration of description logics with logic programming . In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI-2007) . 477--482. Motik, B. and Rosati, R. 2007. A faithful integration of description logics with logic programming. In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI-2007). 477--482."},{"volume-title":"Proceedings of the National Conference on Artificial Intelligence (AAAI-1999)","author":"Onder N.","key":"e_1_2_1_37_1","unstructured":"Onder , N. and Pollack , M. E . 1999. Conditional, probabilistic planning: A unifying algorithm and effective search control mechanisms . In Proceedings of the National Conference on Artificial Intelligence (AAAI-1999) . AAAI Press\/MIT Press, Cambridge, MA, 577--584. Onder, N. and Pollack, M. E. 1999. Conditional, probabilistic planning: A unifying algorithm and effective search control mechanisms. In Proceedings of the National Conference on Artificial Intelligence (AAAI-1999). AAAI Press\/MIT Press, Cambridge, MA, 577--584."},{"volume-title":"Introduction to Probabilistic Automata","author":"Paz A.","key":"e_1_2_1_38_1","unstructured":"Paz , A. 1971. Introduction to Probabilistic Automata . Academic Press , New York . Paz, A. 1971. Introduction to Probabilistic Automata. Academic Press, New York."},{"key":"e_1_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/316542.316545"},{"key":"e_1_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(97)00027-1"},{"key":"e_1_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.5555\/647482.728287"},{"volume-title":"Markov Decision Processes: Discrete Stochastic Dynamic Programming","author":"Puterman M. L.","key":"e_1_2_1_42_1","unstructured":"Puterman , M. L. 1994. Markov Decision Processes: Discrete Stochastic Dynamic Programming . Wiley , New York . Puterman, M. L. 1994. Markov Decision Processes: Discrete Stochastic Dynamic Programming. Wiley, New York."},{"volume-title":"Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems","author":"Reiter R.","key":"e_1_2_1_43_1","unstructured":"Reiter , R. 2001. Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems . MIT Press , Cambridge, MA . Reiter, R. 2001. Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press, Cambridge, MA."},{"key":"e_1_2_1_44_1","volume-title":"Proceedings on Nonmonotonic Reasoning, Action, and Change (NRAC-2005)","author":"Shapiro S.","year":"2005","unstructured":"Shapiro , S. 2005 . Belief change with noisy sensing and introspection . In Proceedings on Nonmonotonic Reasoning, Action, and Change (NRAC-2005) . Shapiro, S. 2005. Belief change with noisy sensing and introspection. In Proceedings on Nonmonotonic Reasoning, Action, and Change (NRAC-2005)."},{"key":"e_1_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(00)00080-1"},{"key":"e_1_2_1_46_1","volume-title":"Proceedings LPNMR-2004","volume":"2923","author":"Son T. C.","unstructured":"Son , T. C. , Tu , P. H. , and Baral , C . 2004. Planning with sensing actions and incomplete information using logic programming . In Proceedings LPNMR-2004 . Lecture Notes in Computer Science\/Lecture Notes in Artificial Intelligence , vol. 2923 . Springer-Verlag, Berlin, Germany, 261--274. Son, T. C., Tu, P. H., and Baral, C. 2004. Planning with sensing actions and incomplete information using logic programming. In Proceedings LPNMR-2004. Lecture Notes in Computer Science\/Lecture Notes in Artificial Intelligence, vol. 2923. Springer-Verlag, Berlin, Germany, 261--274."},{"key":"e_1_2_1_47_1","volume-title":"Proceedings LID-1996","volume":"1154","author":"Subrahmanian V. S.","unstructured":"Subrahmanian , V. S. and Ward , C . 1996. A deductive database approach to planning in uncertain environments . In Proceedings LID-1996 . Lecture Notes in Computer Science , vol. 1154 . Springer-Verlag, Berlin, Germany, 83--98. Subrahmanian, V. S. and Ward, C. 1996. A deductive database approach to planning in uncertain environments. In Proceedings LID-1996. Lecture Notes in Computer Science, vol. 1154. Springer-Verlag, Berlin, Germany, 83--98."},{"volume-title":"OWL web ontology language overview. W3C Recommendation (10","year":"2004","key":"e_1_2_1_48_1","unstructured":"W3C. 2004. OWL web ontology language overview. W3C Recommendation (10 February 2004 ). Available at www.w3.org\/TR\/2004\/REC-owl-features-20040210\/. W3C. 2004. OWL web ontology language overview. W3C Recommendation (10 February 2004). Available at www.w3.org\/TR\/2004\/REC-owl-features-20040210\/."},{"key":"e_1_2_1_49_1","volume-title":"Proceedings PRICAI-2002","volume":"2417","author":"Zhang D.","unstructured":"Zhang , D. , Chopra , S. , and Foo , N. Y . 2002. Consistency of action descriptions . In Proceedings PRICAI-2002 . Lecture Notes in Computer Science\/Lecture Notes in Artificial Intelligence , vol. 2417 . Springer-Verlag, Berlin, Germany, 70--79. Zhang, D., Chopra, S., and Foo, N. Y. 2002. Consistency of action descriptions. In Proceedings PRICAI-2002. Lecture Notes in Computer Science\/Lecture Notes in Artificial Intelligence, vol. 2417. Springer-Verlag, Berlin, Germany, 70--79."}],"container-title":["ACM Transactions on Computational Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1459010.1459015","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1459010.1459015","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:29:58Z","timestamp":1750253398000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1459010.1459015"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,1]]},"references-count":48,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2009,1]]}},"alternative-id":["10.1145\/1459010.1459015"],"URL":"https:\/\/doi.org\/10.1145\/1459010.1459015","relation":{},"ISSN":["1529-3785","1557-945X"],"issn-type":[{"type":"print","value":"1529-3785"},{"type":"electronic","value":"1557-945X"}],"subject":[],"published":{"date-parts":[[2009,1]]},"assertion":[{"value":"2006-03-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2007-07-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2009-01-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}