{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T08:23:29Z","timestamp":1725524609803},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540929949"},{"type":"electronic","value":"9783540929956"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-92995-6_17","type":"book-chapter","created":{"date-parts":[[2009,1,9]],"date-time":"2009-01-09T14:02:58Z","timestamp":1231509778000},"page":"239-253","source":"Crossref","is-referenced-by-count":5,"title":["Improving Performance of Conformant Planners: Static Analysis of Declarative Planning Domain Specifications"],"prefix":"10.1007","author":[{"given":"Dang-Vien","family":"Tran","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hoang-Khoi","family":"Nguyen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Enrico","family":"Pontelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tran Cao","family":"Son","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"17_CR1","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1016\/S0004-3702(00)00043-6","volume":"122","author":"C. Baral","year":"2000","unstructured":"Baral, C., Kreinovich, V., Trejo, R.: Computational complexity of planning and approximate planning in the presence of incompleteness. Artificial Intelligence\u00a0122, 241\u2013267 (2000)","journal-title":"Artificial Intelligence"},{"key":"17_CR2","first-page":"467","volume-title":"IJCAI","author":"P. Bertoli","year":"2001","unstructured":"Bertoli, P., Cimatti, A., Roveri, M.: Heuristic search + symbolic model checking = efficient conformant planning. In: IJCAI, pp. 467\u2013472. Morgan Kaufmann, San Francisco (2001)"},{"key":"17_CR3","unstructured":"Bonet, B., Givan, B.: Results of the conformant track of the 5th planning competition (2006), \n                    \n                      http:\/\/www.ldc.usb.ve\/~bonet\/"},{"key":"17_CR4","first-page":"355","volume-title":"ICAPS","author":"R. Brafman","year":"2004","unstructured":"Brafman, R., Hoffmann, J.: Conformant planning via heuristic forward search: A new approach. In: ICAPS, pp. 355\u2013364. Morgan Kaufmann, San Francisco (2004)"},{"key":"17_CR5","unstructured":"Bryce, D.: POND: The Partially-Observable and Non-Deterministic Planner. In: Notes from the 5th International Planning Competition (2006)"},{"key":"17_CR6","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/s10462-007-9034-5","volume":"26","author":"D. Bryce","year":"2006","unstructured":"Bryce, D., Kambhampati, S., Smith, D.: Planning Graph Heuristics for Belief Space Search. Journal of Artificial Intelligence Research\u00a026, 35\u201399 (2006)","journal-title":"Journal of Artificial Intelligence Research"},{"key":"17_CR7","first-page":"365","volume-title":"ICAPS","author":"D. Bryce","year":"2004","unstructured":"Bryce, D., Kambhampati, S.: Heuristic Guidance Measures for Conformant Planning. In: ICAPS, pp. 365\u2013375. AAAI, Menlo Park (2004)"},{"key":"17_CR8","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1016\/j.artint.2004.05.003","volume":"159","author":"A. Cimatti","year":"2004","unstructured":"Cimatti, A., Roveri, M., Bertoli, P.: Conformant Planning via Symbolic Model Checking and Heuristic Search. Artificial Intelligence Journal\u00a0159, 127\u2013206 (2004)","journal-title":"Artificial Intelligence Journal"},{"key":"17_CR9","volume-title":"JICSLP","author":"M. Gelfond","year":"1992","unstructured":"Gelfond, M., Lifschitz, V.: Representing actions in extended logic programs. In: JICSLP. MIT Press, Cambridge (1992)"},{"key":"17_CR10","unstructured":"Gelfond, M., Lifschitz, V.: Action Languages. ETAI\u00a03(6) (1998)"},{"key":"17_CR11","unstructured":"Ghallab, M., et al.: PDDL: The Planning Domain Definition Language. Yale Center for Comp., Vis. and Ctrl (1998)"},{"key":"17_CR12","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1613\/jair.855","volume":"14","author":"J. Hoffmann","year":"2001","unstructured":"Hoffmann, J., Nebel, B.: The FF Planning System: Fast Plan Generation Through Heuristic Search. Journal of Artificial Intelligence Research\u00a014, 253\u2013302 (2001)","journal-title":"Journal of Artificial Intelligence Research"},{"key":"17_CR13","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1613\/jair.1492","volume":"22","author":"J. Hoffmann","year":"2004","unstructured":"Hoffmann, J., Porteous, J., Sebastia, L.: Ordered landmarks in planning. J. Artif. Intell. Res.\u00a022, 215\u2013278 (2004)","journal-title":"J. Artif. Intell. Res."},{"issue":"1-2","key":"17_CR14","first-page":"73","volume":"135","author":"X.L. Nguyen","year":"2002","unstructured":"Nguyen, X.L., Kambhampati, S., Nigenda, R.: Planning graph as the basis for deriving heuristics for plan synthesis by state space and CSP search. AIJ\u00a0135(1-2), 73\u2013123 (2002)","journal-title":"AIJ"},{"key":"17_CR15","unstructured":"Palacios, H., Geffner, H.: Compiling Uncertainty Away: Solving Conformant Planning Problems Using a Classical Planner (Sometimes). In: AAAI (2006)"},{"key":"17_CR16","unstructured":"Palacios, H., Geffner, H.: From Conformant into Classical Planning: Efficient Translations that may be Complete Too. In: ICAPS (2007)"},{"key":"17_CR17","unstructured":"Smith, D.E., Weld, D.S.: Conformant graphplan. In: AAAI, pp. 889\u2013896 (1998)"},{"issue":"1-2","key":"17_CR18","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1016\/S0004-3702(00)00080-1","volume":"125","author":"T.C. Son","year":"2001","unstructured":"Son, T.C., Baral, C.: Formalizing sensing actions - a transition function based approach. Artificial Intelligence\u00a0125(1-2), 19\u201391 (2001)","journal-title":"Artificial Intelligence"},{"key":"17_CR19","unstructured":"Son, T.C., Tu, P.H.: On the Completeness of Approximation Based Reasoning and Planning in Action Theories with Incomplete Information. In: KRR, pp. 481\u2013491 (2006)"},{"key":"17_CR20","unstructured":"Son, T.C., Tu, P.H., Gelfond, M., Morales, R.: Conformant Planning for Domains with Constraints \u2014 A New Approach. In: AAAI, pp. 1211\u20131216 (2005)"}],"container-title":["Lecture Notes in Computer Science","Practical Aspects of Declarative Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-92995-6_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,4]],"date-time":"2019-03-04T20:11:14Z","timestamp":1551730274000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-92995-6_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540929949","9783540929956"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-92995-6_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}