{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T20:33:22Z","timestamp":1729629202226,"version":"3.28.0"},"reference-count":49,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007,12]]},"DOI":"10.1109\/robio.2007.4522474","type":"proceedings-article","created":{"date-parts":[[2008,5,21]],"date-time":"2008-05-21T15:51:43Z","timestamp":1211385103000},"page":"2001-2006","source":"Crossref","is-referenced-by-count":0,"title":["Recent advances in conformant planning"],"prefix":"10.1109","author":[{"given":"Jingjing","family":"Zhao","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jigui","family":"Sun","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Minghao","family":"Yin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","first-page":"359","article-title":"Planning as satisfiability","author":"kautz","year":"1992","journal-title":"Proc Tenth Eur Conf Artificial Intelligence"},{"key":"ref38","first-page":"1194","article-title":"Pushing the envelope: planning, propositional logic, and stochastic search","author":"kautz","year":"1996","journal-title":"Proceedings of the Thirteenth National Conference on Artificial Intelligence"},{"key":"ref33","article-title":"Aspen - automating space mission operations using automated planning and scheduling","author":"estlin","year":"2000","journal-title":"Proceedings of the Sixth International Symposium on Technical Interchange for Space Mission Operations and Ground Data Systems"},{"key":"ref32","article-title":"From conformant into classical planning: efficient translations that may be complete too","author":"palacios","year":"2007","journal-title":"Proceedings of the International Conference on Automated Planning and Scheduling"},{"key":"ref31","first-page":"229","article-title":"A knowledge compilation map","volume":"17","author":"darwiche","year":"2002","journal-title":"J Artif Int Res"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.3166\/jancl.11.11-34"},{"key":"ref37","first-page":"374","article-title":"Encoding plans in propositional logic","author":"kautz","year":"1996","journal-title":"Proceedings of Fifth International Conference on Principles of Knowledge Representation and Reasoning"},{"key":"ref36","article-title":"Improvements to sat-based conformant planning","author":"castellini","year":"2001","journal-title":"European Conference on Planning"},{"key":"ref35","first-page":"143","article-title":"Machine intelligence at edinburgh","author":"michie","year":"1974","journal-title":"Machine Intelligence"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/MIS.2004.1265878"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/502090.502091"},{"key":"ref27","first-page":"311","article-title":"Mapping conformant planning into SAT through compilation and projection","author":"palacios","year":"2005","journal-title":"Eleventh International Conference on Principles and Practice of Constraint Programming"},{"key":"ref29","first-page":"328","article-title":"New advances in compiling CNF into decomposable negation normal form","author":"darwiche","year":"2004","journal-title":"Proceedings of the Sixteenth European Conference on Artificial Intelligence"},{"key":"ref2","first-page":"897","article-title":"Extending graphplan to handle uncertainty and sensing actions","author":"weld","year":"1998","journal-title":"Proceedings of the 15th National Conference on Artificial Intelligence and of the 10th Conference on Innovative Applications of Artificial Intelligence"},{"key":"ref1","first-page":"1023","article-title":"Acting optimally in partially observable stochastic domains","author":"cassandra","year":"1994","journal-title":"Proceedings of the twelfth national conference on Artificial intelligence"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(96)00047-1"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1080\/09528139508953801"},{"key":"ref21","first-page":"103","article-title":"Ucpop: a sound, complete, partial order planner for adl","author":"penberthy","year":"1992","journal-title":"Proceedings of the Third International Conference on Principles of Knowledge Representation and Reasoning"},{"key":"ref24","first-page":"1192","article-title":"Improvements to the evaluation of quantified boolean formulae","author":"rintanen","year":"1999","journal-title":"Proceed of Sixteenth International Joint Conference on Artificial Intelligence"},{"key":"ref23","first-page":"58","article-title":"Blackbox: a new approach to the application of theorem proving to problem solving","author":"kautz","year":"1998","journal-title":"Proc Planning as Combinatorial Search Workshop Held in Conjunction with Artificial Intelligence Planning Systems"},{"key":"ref26","first-page":"473","article-title":"Planning in nondeterministic domains under partial observability via symbolic model checking","author":"bertoli","year":"2001","journal-title":"Proceedings of Seventeenth International Joint Conference on Artificial Intelligence"},{"key":"ref25","first-page":"60","article-title":"Cost sensitive reachability heuristics for handling state uncertainty","author":"bryce","year":"2005","journal-title":"Proceedings of Twenty-first Annual Conference on Uncertainty in Artificial Intelligence"},{"key":"ref10","first-page":"308","article-title":"Some results on the complexity of planning with incomplete information","volume":"1809","author":"haslum","year":"1999","journal-title":"Proc 5th European Conf Planning"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(00)00043-6"},{"key":"ref40","first-page":"318","article-title":"Unifying sat-based and graph-based planning","author":"kautz","year":"1999","journal-title":"Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45757-7_10"},{"key":"ref13","article-title":"Compiling uncertainty away: solving conformant planning problems using a classic planner (sometimes)","author":"palacios","year":"2006","journal-title":"Proceedings of The Twenty-First National Conference on Artificial Intelligence and the Eighteenth Innovative Applications of Artificial Intelligence Conference"},{"key":"ref14","first-page":"82","article-title":"Gpt: a tool for planning with uncertainty and partial information","author":"bonet","year":"2001","journal-title":"Proceedings the Seventeenth International Joint Conference on Artificial Intelligence Workshop on Planning with Uncertainty and Partial Information"},{"key":"ref15","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":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2006.01.003"},{"key":"ref17","first-page":"365","article-title":"Heuristic guidance measures for conformant planning","author":"bryce","year":"2004","journal-title":"Proceedings of the Fourteenth International Conference on Automated Planning and Scheduling"},{"key":"ref18","article-title":"Planning in belief space with a labeled uncertainty graph","author":"bryce","year":"2004","journal-title":"AAAI Workshop on Learning and Planning in Markov Processes - Advances and Challenges"},{"key":"ref19","first-page":"1131","article-title":"State agnostic planning graphs: and their application to belief space planning","author":"cushing","year":"2005","journal-title":"Proceedings of the Twentieth National Conference on Artificial Intelligence and the Seventeenth Innovative Applications of Artificial Intelligence Conference"},{"key":"ref4","first-page":"110","article-title":"Expressive planning and explicit knowledge","author":"goldman","year":"1996","journal-title":"Proc Int Conf Artificial Intelligence Planning Systems"},{"key":"ref3","first-page":"36","article-title":"Strong planning in nondeterministic domains via model checking","author":"roveri","year":"1998","journal-title":"Proceedings of the International Conference on Artificial Intelligence Planning Systems"},{"key":"ref6","first-page":"93","article-title":"Recent advances in AI planning","volume":"20","author":"weld","year":"1999","journal-title":"AI Magazine"},{"key":"ref5","first-page":"889","article-title":"Conformant graphplan","author":"smith","year":"1998","journal-title":"Proceeding of the Fifteenth National Conference on Artificial Intelligence"},{"key":"ref8","first-page":"226","article-title":"Automata theoretic approach to planning for temporally extended goals","author":"de giacomo","year":"1999","journal-title":"Proceeding of the Fifth European Conferece on Planning"},{"key":"ref7","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":"1999","journal-title":"Journal of Artificial Intelligence Research"},{"key":"ref49","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1613\/jair.1705","article-title":"The fast downward planning system","volume":"6","author":"helmert","year":"2006","journal-title":"Journal of Artificial Intelligence Research"},{"key":"ref9","first-page":"345","article-title":"Complexity of planning with partial observability","author":"rintanten","year":"2004","journal-title":"Proc 14th Int l Conf Automated Planning and Scheduling"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(01)00158-8"},{"key":"ref45","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":"ref48","doi-asserted-by":"publisher","DOI":"10.1111\/j.1467-8640.1995.tb00052.x"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/FSKD.2007.593"},{"key":"ref42","first-page":"143","article-title":"Improving heuristics for planning as search in belief space","author":"bertoli","year":"2002","journal-title":"Proceedings of the Sixth International Conference on AI Planning and Scheduling"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(01)00108-4"},{"key":"ref44","first-page":"67","article-title":"The model checking integrated planning system","volume":"22","author":"edelkamp","year":"2001","journal-title":"AI Magazine"},{"key":"ref43","first-page":"103","article-title":"Planning in the fluent calculus using binary decision diagrams","volume":"22","author":"storr","year":"2001","journal-title":"AI Magazine"}],"event":{"name":"2007 IEEE International Conference on Robotics and biomimetics (ROBIO)","start":{"date-parts":[[2007,12,15]]},"location":"Sanya, China","end":{"date-parts":[[2007,12,18]]}},"container-title":["2007 IEEE International Conference on Robotics and Biomimetics (ROBIO)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4510710\/4522117\/04522474.pdf?arnumber=4522474","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,11]],"date-time":"2019-05-11T11:24:45Z","timestamp":1557573885000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4522474\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,12]]},"references-count":49,"URL":"https:\/\/doi.org\/10.1109\/robio.2007.4522474","relation":{},"subject":[],"published":{"date-parts":[[2007,12]]}}}