{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,4]],"date-time":"2026-05-04T11:27:44Z","timestamp":1777894064981,"version":"3.51.4"},"reference-count":52,"publisher":"Cambridge University Press (CUP)","issue":"4","license":[{"start":{"date-parts":[[2007,7,1]],"date-time":"2007-07-01T00:00:00Z","timestamp":1183248000000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theory and Practice of Logic Programming"],"published-print":{"date-parts":[[2007,7]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>We extend the 0-approximation of sensing actions and incomplete information in Son and Baral (2001) to action theories with static causal laws and prove its soundness with respect to the possible world semantics. We also show that the conditional planning problem with respect to this approximation is<jats:bold>NP<\/jats:bold>-complete. We then present an answer set programming based conditional planner, called ASCP, that is capable of generating both conformant plans and conditional plans in the presence of sensing actions, incomplete information about the initial state, and static causal laws. We prove the correctness of our implementation and argue that our planner is sound and complete with respect to the proposed approximation. Finally, we present experimental results comparing ASCP to other planners.<\/jats:p>","DOI":"10.1017\/s1471068406002948","type":"journal-article","created":{"date-parts":[[2007,6,19]],"date-time":"2007-06-19T14:25:47Z","timestamp":1182263147000},"page":"377-450","source":"Crossref","is-referenced-by-count":26,"title":["Reasoning and planning with sensing actions, incomplete information, and static causal laws using answer set programming"],"prefix":"10.1017","volume":"7","author":[{"given":"PHAN HUY","family":"TU","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"TRAN CAO","family":"SON","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"CHITTA","family":"BARAL","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2007,7,1]]},"reference":[{"key":"S1471068406002948_ref25","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1613\/jair.855","article-title":"The FF Planning System: Fast Plan Generation Through Heuristic Search","volume":"14","author":"Hoffmann","year":"2001","journal-title":"Journal of Artificial Intelligence Research"},{"key":"S1471068406002948_ref24","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(87)90043-9"},{"key":"S1471068406002948_ref15","unstructured":"Citrigno S. , Eiter T. , Faber W. , Gottlob G. Koch C. , Leone N. , Mateis C. , Pfeifer G. , and Scarcello F. 1997. The dlv system: Model generator and application frontends. In Proceedings of the 12th Workshop on Logic Programming. 128\u2013137."},{"key":"S1471068406002948_ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2004.05.003"},{"key":"S1471068406002948_ref26","first-page":"1139","volume-title":"Proceedings of the 14th Conference on Artificial Intelligence","author":"Levesque","year":"1996"},{"key":"S1471068406002948_ref42","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(02)00365-X"},{"key":"S1471068406002948_ref6","first-page":"467","volume-title":"Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence","author":"Bertoli","year":"2001"},{"key":"S1471068406002948_ref34","doi-asserted-by":"crossref","unstructured":"Marek V. and Truszczy\u0144ski M. 1999. Stable models and an alternative logic programming paradigm. In The Logic Programming Paradigm: a 25-year Perspective. 375\u2013398.","DOI":"10.1007\/978-3-642-60085-2_17"},{"key":"S1471068406002948_ref23","first-page":"174","volume-title":"Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR'96)","author":"Golden","year":"1996"},{"key":"S1471068406002948_ref36","doi-asserted-by":"publisher","DOI":"10.1111\/j.1467-8640.1987.tb00183.x"},{"key":"S1471068406002948_ref52","first-page":"897","volume-title":"Proceedings of the Fifteenth National Conference on Artificial Intelligence Conference (AAAI'98)","author":"Weld","year":"1998"},{"key":"S1471068406002948_ref11","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(02)00375-2"},{"key":"S1471068406002948_ref8","first-page":"52","volume-title":"Proceedings 6th International Conference on Artificial Intelligence Planning and Scheduling","author":"Bonet","year":"2000"},{"key":"S1471068406002948_ref19","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(93)90035-F"},{"key":"S1471068406002948_ref3","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511543357"},{"key":"S1471068406002948_ref20","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(97)00037-4"},{"key":"S1471068406002948_ref28","first-page":"112","volume-title":"Proceedings of the National Conference on Artificial Intelligence (AAAI'02)","author":"Lin","year":"2002"},{"key":"S1471068406002948_ref21","unstructured":"Golden K. 1998. Leap Before You Look: Information Gathering in the PUCCINI planner. In Proceedings of the 4th International Conference on Artificial Intelligence Planning and Scheduling Systems. 70\u201377."},{"key":"S1471068406002948_ref38","doi-asserted-by":"publisher","DOI":"10.1023\/A:1018930122475"},{"key":"S1471068406002948_ref18","first-page":"1070","volume-title":"Logic Programming: Proceedings of the Fifth International Conf. and Symp.","author":"Gelfond","year":"1988"},{"key":"S1471068406002948_ref41","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1613\/jair.591","article-title":"Constructing conditional plans by a theorem prover","volume":"10","author":"Rintanen","year":"2000","journal-title":"Journal of Artificial Intelligence Research"},{"key":"S1471068406002948_ref32","unstructured":"Lobo J. 1998. COPLAS: a COnditional PLAnner with Sensing actions. Tech. Rep. FS-98-02, AAAI."},{"key":"S1471068406002948_ref4","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(00)00043-6"},{"key":"S1471068406002948_ref10","unstructured":"Bryce D. , Kambhampati S. , and Smith D. 2004. Planning Graph Heuristics for Belief Space Search. Tech. rep., Arizona State University, Computer Science and Engineering. http:\/\/www.public.asu.edu\/~danbryce\/papers\/."},{"key":"S1471068406002948_ref9","first-page":"355","volume-title":"Proceedings of the 14th International Conference on Automated Planning and Scheduling (ICAPS-04)","author":"Brafman","year":"2004"},{"key":"S1471068406002948_ref13","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1613\/jair.774","article-title":"Conformant Planning via Symbolic Model Checking","volume":"13","author":"Cimatti","year":"2000","journal-title":"Journal of Artificial Intelligence Research"},{"key":"S1471068406002948_ref7","first-page":"1636","volume-title":"Proceedings of the 14th International Joint Conference on Artificial Intelligence","author":"Blum"},{"key":"S1471068406002948_ref2","volume-title":"Proceedings of the 8th European Workshop on Logics in Artificial Intelligence 2002","author":"Anger","year":"2002"},{"key":"S1471068406002948_ref33","unstructured":"Lobo J. , Taylor S. , and Mendez G. 1997. Adding knowledge to the action description language ${\\cal A}$ . In Proceedings of the Fourteenth National Conference on Artificial Intelligence (AAAI'97), AAAI Press. 454\u2013459."},{"key":"S1471068406002948_ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24609-1_32"},{"key":"S1471068406002948_ref16","first-page":"169","volume-title":"Recent Advances in AI Planning, 4th European Conference on Planning, ECP'97, Toulouse, France, September 24-26, 1997, Proceedings","author":"Dimopoulos","year":"1997"},{"key":"S1471068406002948_ref1","first-page":"44","volume-title":"Proceedings of the 4th International Conference on Artificial Intelligence Planning Systems (AIPS'98)","author":"Anderson","year":"1998"},{"key":"S1471068406002948_ref12","first-page":"21","volume-title":"European Conference on Planning","author":"Cimatti","year":"1999"},{"key":"S1471068406002948_ref29","first-page":"23","volume-title":"Proceedings of the 1999 international conference on Logic programming","author":"Lifschitz","year":"1999"},{"key":"S1471068406002948_ref43","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(02)00187-X"},{"key":"S1471068406002948_ref30","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(02)00186-8"},{"key":"S1471068406002948_ref39","first-page":"189","volume-title":"Proceedings of the First International Conference on AI Planning Systems","author":"Peot","year":"1992"},{"key":"S1471068406002948_ref40","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1613\/jair.277","article-title":"Planning for contingencies: A decision-based approach","volume":"4","author":"Pryor","year":"1996","journal-title":"Journal of Artificial Intelligence Research"},{"key":"S1471068406002948_ref44","first-page":"889","volume-title":"Proceedings of the fifteenth national\/tenth conference on Artificial intelligence (AAAI'98)","author":"Smith","year":"1998"},{"key":"S1471068406002948_ref45","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(00)00080-1"},{"key":"S1471068406002948_ref46","doi-asserted-by":"crossref","unstructured":"Son T. , Baral C. , Nam T. , and McIlraith S. 2005a. Domain-Dependent Knowledge in Answer Set Planning. ACM Transactions on Computational Logic. To Appear.","DOI":"10.1145\/1183278.1183279"},{"key":"S1471068406002948_ref47","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24609-1_23"},{"key":"S1471068406002948_ref48","unstructured":"Son T. C. , Tu P. H. , Gelfond M. , and Morales R. 2005b. Conformant Planning for Domains with Constraints \u2013 A New Approach. In Proceedings of the the Twentieth National Conference on Artificial Intelligence. 1211\u20131216."},{"key":"S1471068406002948_ref22","unstructured":"Golden K. , Etzioni O. , and Weld D. 1996a. Planning with execution and incomplete informations. Tech. rep., Dept of Computer Science, University of Washington, TR96-01-09. February."},{"key":"S1471068406002948_ref49","first-page":"961","volume-title":"Proceedings of the 18th International Joint Conference on Artificial Intelligence","author":"Thiebaux","year":"2003"},{"key":"S1471068406002948_ref50","unstructured":"Thielscher M. 2000a. The Fluent Calculus: A Specification Language for Robots with Sensors in Nondeterministic, Concurrent, and Ramifying Environments. Tech. Rep. CL-2000-01, Computational Logic Group, Department of Computer Science, Dresden University of Technology. Oct."},{"key":"S1471068406002948_ref51","first-page":"109","volume-title":"Proceedings of the Seventh International Conference on Principles of Knowledge and Representation and Reasoning (KR'2000)","author":"Thielscher","year":"2000"},{"key":"S1471068406002948_ref17","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(02)00367-3"},{"key":"S1471068406002948_ref35","first-page":"1978","volume-title":"Proceedings of the 14th International Joint Conference on Artificial Intelligence","author":"McCain","year":"1995"},{"key":"S1471068406002948_ref31","first-page":"23","volume-title":"Proceedings of the Eleventh International Conf. on Logic Programming","author":"Lifschitz","year":"1994"},{"key":"S1471068406002948_ref37","volume-title":"Formal theories of the commonsense world","author":"Moore","year":"1985"},{"key":"S1471068406002948_ref5","unstructured":"Baral C. , McIlraith S. , and Son T. 2000b. Formulating diagnostic problem solving using an action language with narratives and sensing. In Proceedings of the Seventh International Conference on Principles of Knowledge and Representation and Reasoning (KR'2000). 311\u2013322."}],"container-title":["Theory and Practice of Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1471068406002948","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,29]],"date-time":"2019-04-29T04:49:44Z","timestamp":1556513384000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1471068406002948\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,7]]},"references-count":52,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2007,7]]}},"alternative-id":["S1471068406002948"],"URL":"https:\/\/doi.org\/10.1017\/s1471068406002948","relation":{},"ISSN":["1471-0684","1475-3081"],"issn-type":[{"value":"1471-0684","type":"print"},{"value":"1475-3081","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,7]]}}}