{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T06:06:36Z","timestamp":1648620396614},"reference-count":29,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2008,9,20]],"date-time":"2008-09-20T00:00:00Z","timestamp":1221868800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Appl Intell"],"published-print":{"date-parts":[[2012,4]]},"DOI":"10.1007\/s10489-008-0143-x","type":"journal-article","created":{"date-parts":[[2008,9,19]],"date-time":"2008-09-19T14:50:29Z","timestamp":1221835829000},"page":"511-528","source":"Crossref","is-referenced-by-count":10,"title":["Diagnosis and repair of dependent failures in the control system of\u00a0a mobile autonomous robot"],"prefix":"10.1007","volume":"36","author":[{"given":"J\u00f6rg","family":"Weber","sequence":"first","affiliation":[]},{"given":"Franz","family":"Wotawa","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2008,9,20]]},"reference":[{"key":"143_CR1","unstructured":"Steinbauer G, Wotawa F (2005) Detecting and locating faults in the control software of autonomous mobile robots. In: Proceedings of the 19th international joint conf on artificial intelligence, Edinburgh, UK, pp 1742\u20131743"},{"key":"143_CR2","unstructured":"Peischl B, Weber J, Wotawa F(2006) Runtime fault detection and localization in component-oriented software systems. In: Proceedings of the 17th international workshop on principles of diagnosis (DX-06), Pe\u00f1aranda de Duero, Spain, June 2006"},{"key":"143_CR3","doi-asserted-by":"crossref","unstructured":"Weber J, Wotawa F (2006) Using AI techniques for fault localization in component-oriented software systems. In: Proceedings of the 5th Mexican international conference on artificial intelligence (MICAI 2006), Apizaco, Mexico, November 2006","DOI":"10.1007\/11925231_109"},{"key":"143_CR4","unstructured":"Weber J, Wotawa F (2007) AI-planning in a mobile autonomous robot with degraded software capabilities. In: International workshop on moving planning and scheduling systems into the real world, Providence, Rhode Island, USA, 2007. At ICAPS\u201907"},{"issue":"1","key":"143_CR5","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","volume":"32","author":"R Reiter","year":"1987","unstructured":"Reiter R (1987) A theory of diagnosis from first principles. Artif Intell 32(1):57\u201395","journal-title":"Artif Intell"},{"issue":"1","key":"143_CR6","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/0004-3702(87)90063-4","volume":"32","author":"J Kleer de","year":"1987","unstructured":"de Kleer J, Williams BC (1987) Diagnosing multiple faults. Artif Intell 32(1):97\u2013130","journal-title":"Artif Intell"},{"issue":"2\u20133","key":"143_CR7","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1016\/0004-3702(92)90027-U","volume":"56","author":"J Kleer de","year":"1992","unstructured":"de Kleer J, Mackworth AK, Reiter R (1992) Characterizing diagnoses and systems. Artif Intell 56(2\u20133):197\u2013222","journal-title":"Artif Intell"},{"key":"143_CR8","doi-asserted-by":"crossref","unstructured":"Weber J, Wotawa F (2007) Diagnosing dependent failures in the hardware and software of mobile autonomous robots. In: Proceedings of the 20th international conference on industrial, engineering and other applications of applied intelligent systems (IEA\/AIE 2007), Kioto, Japan, June 2007","DOI":"10.1007\/978-3-540-73325-6_63"},{"key":"143_CR9","unstructured":"Weber J, Wotawa F (2007) Diagnosing dependent failures\u2014an extension of consistency-based diagnosis. In: 18th International workshop on principles of diagnosis (DX-07), Nashville, USA, 2007"},{"key":"143_CR10","unstructured":"Weber J, Wotawa F (2008) Dependent failures in consistency-based diagnosis. In: 18th European conference on artificial intelligence (ECAI 2008), pp\u00a0801\u2013802, Patras, Greece"},{"key":"143_CR11","volume-title":"Readings in model-based diagnosis","year":"1992","unstructured":"Hamscher W, Console L, de Kleer J (ed) (1992) Readings in model-based diagnosis. Morgan Kaufmann, San Mateo"},{"key":"143_CR12","unstructured":"Struss P, Dressler O (1989) Physical negation: Integrating fault models into the general diagnostic engine. In: Proceedings of the 11th international joint conf on artificial intelligence, pp 1318\u20131323"},{"key":"143_CR13","unstructured":"Friedrich G, Gottlob G, Nejdl W (1990) Physical impossibility instead of fault models. In: Proceedings of the national conference on artificial intelligence (AAAI). Also appears in Readings in Model-Based Diagnosis (Morgan Kaufmann, San Mateo 1992)"},{"key":"143_CR14","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1016\/B978-0-934613-67-5.50012-5","volume-title":"Exploring artificial intelligence","author":"R Davis","year":"1988","unstructured":"Davis R, Hamscher W (1988) Model-based reasoning Troubleshooting. In: Shrobe HE (ed) Exploring artificial intelligence. Morgan Kaufmann, San Mateo, pp 297\u2013346, Chap. 8"},{"key":"143_CR15","unstructured":"B\u00f6ttcher C (1995) No faults in structure? How to diagnose hidden interactions. In: IJCAI, pp 1728\u20131735"},{"key":"143_CR16","unstructured":"Steinbauer G, M\u00f6rth M, Wotawa F (2005) Real-time diagnosis and repair of faults of robot control software. In: Proceedings of the international RoboCup symposium, Osaka, Japan, 2005"},{"key":"143_CR17","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1016\/0004-3702(90)90012-O","volume":"45","author":"J Kleer de","year":"1990","unstructured":"de Kleer J (1990) Using crude probability estimates to guide diagnosis. Artif Intell 45:381\u2013392","journal-title":"Artif Intell"},{"key":"143_CR18","unstructured":"de Kleer J, Williams BC (1989) Diagnosis with behavioral modes. In: Proceedings of the 11th international joint conf. on artificial intelligence, pp 1324\u20131330"},{"key":"143_CR19","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0020-0190(88)90124-X","volume":"29","author":"M Minoux","year":"1988","unstructured":"Minoux M (1988) LTUR: A simplified linear-time unit resolution algorithm for Horn formulae and computer implementation. Inf Process Lett 29:1\u201312","journal-title":"Inf Process Lett"},{"key":"143_CR20","first-page":"1025","volume-title":"Proceedings of the 16th European conference on artificial intelligence","author":"I Grosclaude","year":"2004","unstructured":"Grosclaude I (2004) Model-based monitoring of software components. In: Proceedings of the 16th European conference on artificial intelligence. IOS, Amsterdam, pp 1025\u20131026. Poster"},{"key":"143_CR21","unstructured":"Ardissono L, Console L, Goy A, Petrone G, Picardi C, Segnan M, Dupr\u00e8 DT (2005) Cooperative model-based diagnosis of web services. In: Proceedings of the 16th international workshop on principles of diagnosis, DX workshop series, pp 125\u2013132, June 2005"},{"key":"143_CR22","volume-title":"Proceedings of the 18th IEEE international conference on automated software engineering (ASE)","author":"W Mayer","year":"2003","unstructured":"Mayer W, Stumptner M (2003) Extending diagnosis to debug programs with exceptions. In: Proceedings of the 18th IEEE international conference on automated software engineering (ASE). Montreal, Quebec, Canada. IEEE Press, New York"},{"key":"143_CR23","first-page":"833","volume-title":"16th European conference on artificial intelligence (ECAI)","author":"D K\u00f6b","year":"2004","unstructured":"K\u00f6b D, Wotawa F (2004) Introducing alias information into model-based debugging. In: 16th European conference on artificial intelligence (ECAI), Valencia, Spain, August 2004. IOS, Amsterdam, pp 833\u2013837"},{"key":"143_CR24","unstructured":"Mikaelian T, Williams BC (2005) Diagnosing complex systems with software-extended behavior using constraint optimization. In: Proceedings of the 16th international workshop on principles of diagnosis, DX workshop series, pp 125\u2013132"},{"key":"143_CR25","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1145\/582128.582134","volume-title":"WOSS\u201902: Proceedings of the first workshop on self-healing systems","author":"D Garlan","year":"2002","unstructured":"Garlan D, Schmerl B (2002) Model-based adaptation for self-healing systems. In: WOSS\u201902: Proceedings of the first workshop on self-healing systems. Assoc Comput Mach, New York, pp 27\u201332"},{"key":"143_CR26","unstructured":"Roos N, Witteveen C (2005) Diagnosis of plans and agents. In: Proceedings of the 4th international Central and Eastern European conference on multi-agent systems (CEEMAS)"},{"issue":"2","key":"143_CR27","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1016\/S0888-613X(01)00036-6","volume":"27","author":"PJF Lucas","year":"2001","unstructured":"Lucas PJF (2001) Bayesian model-based diagnosis. Int J Approx Reason 27(2):99\u2013119","journal-title":"Int J Approx Reason"},{"key":"143_CR28","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1016\/0004-3702(84)90042-0","volume":"24","author":"R Davis","year":"1984","unstructured":"Davis R (1984) Diagnostic reasoning based on structure and behavior. Artif Intell 24:347\u2013410","journal-title":"Artif Intell"},{"key":"143_CR29","unstructured":"Preist C, Welham B (1990) Modelling bridge faults for diagnosis in electronic circuits. In: Proceedings of the first international workshop on principles of diagnosis, Stanford"}],"container-title":["Applied Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10489-008-0143-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10489-008-0143-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10489-008-0143-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T14:25:42Z","timestamp":1559139942000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10489-008-0143-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,9,20]]},"references-count":29,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2012,4]]}},"alternative-id":["143"],"URL":"https:\/\/doi.org\/10.1007\/s10489-008-0143-x","relation":{},"ISSN":["0924-669X","1573-7497"],"issn-type":[{"value":"0924-669X","type":"print"},{"value":"1573-7497","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,9,20]]}}}