{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,5]],"date-time":"2025-06-05T04:14:38Z","timestamp":1749096878943,"version":"3.41.0"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319448312"},{"type":"electronic","value":"9783319448329"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-44832-9_25","type":"book-chapter","created":{"date-parts":[[2016,8,9]],"date-time":"2016-08-09T10:24:12Z","timestamp":1470738252000},"page":"376-386","source":"Crossref","is-referenced-by-count":0,"title":["Plan Failure Analysis: Formalization and Application in Interactive Planning Through Natural Language Communication"],"prefix":"10.1007","author":[{"given":"Chitta","family":"Baral","sequence":"first","affiliation":[]},{"given":"Tran Cao","family":"Son","sequence":"additional","affiliation":[]},{"given":"Michael","family":"Gelfond","sequence":"additional","affiliation":[]},{"given":"Arindam","family":"Mitra","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,8,10]]},"reference":[{"key":"25_CR1","doi-asserted-by":"crossref","first-page":"8","DOI":"10.1109\/MIS.2004.1265878","volume":"19","author":"M Ai-Chang","year":"2004","unstructured":"Ai-Chang, M., Bresina, J., Charest, L., Chase, A., Hsu, J.C.J., Jonsson, A., Kanefsky, B., Morris, P., Rajan, K., Yglesias, J., Chafin, B.G., Dias, W.C., Maldague, P.F.: Mapgen: mixed-initiative planning and scheduling for the Mars Exploration Rover Mission. IEEE Intell. Syst. 19, 8\u201312 (2004)","journal-title":"IEEE Intell. Syst."},{"key":"25_CR2","unstructured":"Allen, J.F., Ferguson, G.: Human-machine collaborative planning. In: Proceedings of 3rd International Workshop on Planning and Scheduling for Space (2002)"},{"key":"25_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1007\/978-3-319-23264-5_11","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"C Baral","year":"2015","unstructured":"Baral, C., Son, T.C.: \u201cAdd another blue stack of the same height!\u201d: ASP based planning and plan failure analysis. In: Calimeri, F., Ianni, G., Truszczynski, M. (eds.) LPNMR 2015. LNCS, vol. 9345, pp. 127\u2013133. Springer, Heidelberg (2015)"},{"issue":"5\u20136","key":"25_CR4","doi-asserted-by":"crossref","first-page":"562","DOI":"10.1016\/j.artint.2008.11.010","volume":"173","author":"J Benton","year":"2009","unstructured":"Benton, J., Do, M.B., Kambhampati, S.: Anytime heuristic search for partial satisfaction planning. Artif. Intell. 173(5\u20136), 562\u2013592 (2009)","journal-title":"Artif. Intell."},{"key":"25_CR5","doi-asserted-by":"crossref","first-page":"565","DOI":"10.1613\/jair.3711","volume":"45","author":"RI Brafman","year":"2012","unstructured":"Brafman, R.I., Shani, G.: Replanning in domains with partial information and sensing actions. J. Artif. Intell. Res. 45, 565\u2013600 (2012)","journal-title":"J. Artif. Intell. Res."},{"issue":"1\u20132","key":"25_CR6","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1016\/0004-3702(94)90081-7","volume":"69","author":"T Bylander","year":"1994","unstructured":"Bylander, T.: The computational complexity of propositional strips planning. Artif. Intell. 69(1\u20132), 165\u2013204 (1994)","journal-title":"Artif. Intell."},{"key":"25_CR7","doi-asserted-by":"crossref","unstructured":"Chen, D.L., Mooney, R.J.: Learning to interpret natural language navigation instructions from observations (2011)","DOI":"10.1609\/aaai.v25i1.7974"},{"issue":"2","key":"25_CR8","doi-asserted-by":"crossref","first-page":"345","DOI":"10.2307\/2371045","volume":"58","author":"A Church","year":"1936","unstructured":"Church, A.: An unsolvable problem of elementary number theory. Am. J. Math. 58(2), 345\u2013363 (1936)","journal-title":"Am. J. Math."},{"key":"25_CR9","unstructured":"DARPA: Communicating with Computers (CwC) (2015)"},{"key":"25_CR10","doi-asserted-by":"crossref","unstructured":"Davis-Mendelow, S., Baier, J.A., McIlraith, S.A.: Assumption-based planning: generating plans and explanations under incomplete knowledge. In: Proceedings of AAAI (2013)","DOI":"10.1609\/aaai.v27i1.8687"},{"key":"25_CR11","unstructured":"De Giacomo, G., Reiter, R., Soutchanski, M.: Execution monitoring of high-level robot programs. In: Principles of Knowledge Representation and Reasoning, pp. 453\u2013465. Morgan Kaufmann Publishers (1998)"},{"key":"25_CR12","doi-asserted-by":"crossref","unstructured":"Erdem, E., Patoglu, V., Saribatur, Z.G.: Integrating hybrid diagnostic reasoning in plan execution monitoring for cognitive factories with multiple robots. In: ICRA (2015)","DOI":"10.1109\/ICRA.2015.7139461"},{"issue":"1\u20132","key":"25_CR13","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/0004-3702(94)00080-K","volume":"76","author":"K Erol","year":"1995","unstructured":"Erol, K., Nau, D., Subrahmanian, V.: Complexity, decidability and undecidability results for domain-independent planning. Artif. Intell. 76(1\u20132), 75\u201388 (1995)","journal-title":"Artif. Intell."},{"key":"25_CR14","unstructured":"Ferguson, G., Allen, J.F.: Trips: An integrated intelligent problem-solving assistant. In: Proceedings of AAAI, pp. 567\u2013572 (1998)"},{"key":"25_CR15","unstructured":"Gelfond, M., Lifschitz, V.: Logic programs with classical negation. In: Proceedings of 7th International Conference on Logic Programming, pp. 579\u2013597 (1990)"},{"key":"25_CR16","doi-asserted-by":"crossref","unstructured":"Ge, R., Mooney, R.J.: Learning a compositional semantic parser using an existing syntactic parser. In: JCAMACL and IJCNLP, pp. 611\u2013619. Association for Computational Linguistics (2009)","DOI":"10.3115\/1690219.1690232"},{"key":"25_CR17","unstructured":"Kate, R.J., Wong, Y.W., Mooney, R.J.: Learning to transform natural to formal languages. In: Proceedings of AAAI 2005 (2005)"},{"key":"25_CR18","unstructured":"Kwiatkowski, T., Zettlemoyer, L., Goldwater, S., Steedman, M.: Inducing probabilistic CCG grammars from logical form with higher-order unification. In: EMNLP, pp. 1223\u20131233. ACL (2010)"},{"key":"25_CR19","unstructured":"Kwiatkowski, T., Zettlemoyer, L., Goldwater, S., Steedman, M.: Lexical generalization in CCG grammar induction for semantic parsing. In: EMNLP, pp. 1512\u20131523. ACL (2011)"},{"key":"25_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1007\/978-3-540-70939-8_28","volume-title":"Computational Linguistics and Intelligent Text Processing","author":"RJ Mooney","year":"2007","unstructured":"Mooney, R.J.: Learning for semantic parsing. In: Gelbukh, A. (ed.) CICLing 2007. LNCS, vol. 4394, pp. 311\u2013324. Springer, Heidelberg (2007)"},{"key":"25_CR21","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/6591.001.0001","volume-title":"The Syntactic Process","author":"M Steedman","year":"2000","unstructured":"Steedman, M.: The Syntactic Process. MIT Press, Cambridge (2000)"},{"key":"25_CR22","doi-asserted-by":"crossref","unstructured":"Vo, N.H., Mitra, A., Baral, C.R.: The NL2KR platform for building natural language translation systems. In: Association for Computational Linguistics (ACL) (2015)","DOI":"10.3115\/v1\/P15-1087"},{"key":"25_CR23","unstructured":"Zettlemoyer, L.S., Collins, M.: Online learning of relaxed CCG grammars for parsing to logical form. In: EMNLP-CoNLL, pp. 678\u2013687 (2007)"}],"container-title":["Lecture Notes in Computer Science","PRIMA 2016: Princiles and Practice of Multi-Agent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-44832-9_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,4]],"date-time":"2025-06-04T16:27:27Z","timestamp":1749054447000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-44832-9_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319448312","9783319448329"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-44832-9_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}