{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T16:35:51Z","timestamp":1725899751238},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540885122"},{"type":"electronic","value":"9783540885139"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-88513-9_55","type":"book-chapter","created":{"date-parts":[[2008,10,13]],"date-time":"2008-10-13T10:28:54Z","timestamp":1223893734000},"page":"510-519","source":"Crossref","is-referenced-by-count":1,"title":["Enhancing Plan Execution in Dynamic Domains Using Model-Based Reasoning"],"prefix":"10.1007","author":[{"given":"Gerald","family":"Steinbauer","sequence":"first","affiliation":[]},{"given":"Franz","family":"Wotawa","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"3-4","key":"55_CR1","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1016\/0004-3702(71)90010-5","volume":"2","author":"R.E. Fikes","year":"1971","unstructured":"Fikes, R.E., Nilsson, N.J.: STRIPS: A new approach to the application of theorem proving to problem solving. Artificial Intelligence\u00a02(3-4), 189\u2013208 (1971)","journal-title":"Artificial Intelligence"},{"key":"55_CR2","doi-asserted-by":"crossref","unstructured":"Blum, A., Furst, M.: Fast Planning Through Planning Graph Analysis. In: Proceedings of the 14th International Joint Conference on Artificial Intelligence (IJCAI 1995), pp. 1636\u20131642 (1995)","DOI":"10.21236\/ADA303260"},{"issue":"2","key":"55_CR3","first-page":"93","volume":"20","author":"D.S. Weld","year":"1999","unstructured":"Weld, D.S.: Recent Advances in AI Planning. AI Magazine\u00a020(2), 93\u2013123 (1999)","journal-title":"AI Magazine"},{"key":"55_CR4","unstructured":"Soutchanski, M.: An on-line decision-theoretic golog interpreter. In: Proceedings of the 17th International Joint Conference on Artificial Intelligence (IJCAI 2001), Seattle, Washington, USA (2001)"},{"key":"55_CR5","doi-asserted-by":"crossref","unstructured":"Ferrein, A., Fritz, C., Lakemeyer, G.: On-line decision-theoretic golog for unpredictable domains. In: Proc. of 4th International Cognitive Robotics Workshop (2004)","DOI":"10.1007\/978-3-540-30221-6_25"},{"key":"55_CR6","volume-title":"Readings in artificial intelligence","author":"R.E. Fikes","year":"1981","unstructured":"Fikes, R.E., Hart, P., Nilsson, N.: Learning and Executing Generalized Robot Plans. In: Webber, B.L., Nilsson, N.J. (eds.) Readings in artificial intelligence. Morgan Kaufmann Publishers, San Francisco (1981)"},{"key":"55_CR7","first-page":"167","volume-title":"KR 1998: Principles of Knowledge Representation and Reasoning","author":"S. McIlraith","year":"1998","unstructured":"McIlraith, S.: Explanatory diagnosis: Conjecturing actions to explain observations. In: Cohn, A.G., Schubert, L., Shapiro, S.C. (eds.) KR 1998: Principles of Knowledge Representation and Reasoning, pp. 167\u2013177. Morgan Kaufmann, San Francisco (1998)"},{"key":"55_CR8","unstructured":"Fritz, C., McIlraith, S.A.: Monitoring Plan Optimality during Execution: Theory and Implementation. In: The 18th International Workshop on Principles of Diagnosis (DX 2007), Nashville, TN, USA, pp. 298\u2013305 (2007)"},{"key":"55_CR9","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/4074.001.0001","volume-title":"Knowledge in Action. Logical Foundations for Specifying and Implementing Dynamical Systems","author":"R. Reiter","year":"2001","unstructured":"Reiter, R.: Knowledge in Action. Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press, Cambridge (2001)"},{"key":"55_CR10","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1007\/11504894_30","volume-title":"Innovations in Applied Artificial Intelligence","author":"G. Fraser","year":"2005","unstructured":"Fraser, G., Steinbauer, G., Wotawa, F.: Plan Execution in Dynamic Environments. In: Ali, M., Esposito, F. (eds.) IEA\/AIE 2005. LNCS (LNAI), vol.\u00a03533, pp. 208\u2013217. Springer, Heidelberg (2005)"},{"key":"55_CR11","unstructured":"Lussier, B., Matthieu Gallien, J.G., Ingrand, F., Killijian, M.O., Powell, D.: Planning with diversified models for fault-tolerant robots. In: ICAPS 2007 The International Conference on Automated Planning & Scheduling, Providence, Rhode Island, USA (2007)"},{"issue":"1","key":"55_CR12","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/S0004-3702(99)00087-9","volume":"116","author":"S. McIlraith","year":"2000","unstructured":"McIlraith, S.: Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes). Artificial Intelligence\u00a0116(1), 87\u2013121 (2000)","journal-title":"Artificial Intelligence"},{"key":"55_CR13","unstructured":"Roos, N., Witteveen, C.: Models and methods for plan diagnosis. In: Proceedings of the ECAI Model Based Systems Workshop (MBS 2006), Riva del Garda, Italy, pp. 1\u20139 (2006)"},{"key":"55_CR14","unstructured":"Abdelbaki Bouguerra, L.K., Saffiotti, A.: Active execution monitoring using planning and semantic knowledge. In: ICAPS Workshop on Planning and Plan Execution for Real-World Systems, Providence, RI, USA, pp. 9\u201315 (2007)"},{"key":"55_CR15","doi-asserted-by":"crossref","unstructured":"Bouguerra, A., Karlsson, L., Saffiotti, A.: Handling uncertainty in semantic-knowledge based execution monitoring. In: Proc. of the IEEE\/RSJ Int. Conf. on Intelligent Robots and Systems (IROS), San Diego, CA (2007)","DOI":"10.1109\/IROS.2007.4399317"},{"key":"55_CR16","unstructured":"Fox, M., Gough, J., Long, D.: Detecting execution failures using learned action models. In: Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, Vancouver, British Columbia, Canada, pp. 968\u2013973 (2007)"},{"issue":"1","key":"55_CR17","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","volume":"32","author":"R. Reiter","year":"1987","unstructured":"Reiter, R.: A theory of diagnosis from first principles. Artificial Intelligence\u00a032(1), 57\u201395 (1987)","journal-title":"Artificial Intelligence"},{"key":"55_CR18","doi-asserted-by":"crossref","unstructured":"Williams, B., Ingham, M., Chung, S., Elliott, P.: Model-based programming of intelligent embedded systems and robotic space explorers. In: Proceedings of the IEEE: Special Issue on Modeling and Design of Embedded Software, pp. 212\u2013237 (2003)","DOI":"10.1109\/JPROC.2002.805828"},{"key":"55_CR19","unstructured":"Steinbauer, G., Wotawa, F.: Detecting and locating faults in the control software of autonomous mobile robots. In: 19th International Joint Conference on Artificial Intelligence (IJCAI 2005), Edinburgh, UK (2005)"},{"key":"55_CR20","unstructured":"Hofbaur, M.B.M., Steinbauer, G., Wotawa, F.: Model-based fault diagnosis and reconfiguration of robot drives. In: Proceedings of the 2007 IEEE International Conference on Intelligent Robots and Systems (IROS), San Diego, CA, USA (2007)"}],"container-title":["Lecture Notes in Computer Science","Intelligent Robotics and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-88513-9_55.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T12:04:39Z","timestamp":1619525079000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-88513-9_55"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540885122","9783540885139"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-88513-9_55","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}