{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,2]],"date-time":"2026-05-02T13:23:28Z","timestamp":1777728208544,"version":"3.51.4"},"reference-count":50,"publisher":"SAGE Publications","issue":"1","license":[{"start":{"date-parts":[[2018,7,22]],"date-time":"2018-07-22T00:00:00Z","timestamp":1532217600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/journals.sagepub.com\/page\/policies\/text-and-data-mining-license"}],"content-domain":{"domain":["journals.sagepub.com"],"crossmark-restriction":true},"short-container-title":["Intelligenza Artificiale"],"published-print":{"date-parts":[[2018,7,22]]},"abstract":"<jats:p>The paper describes Pietro Torasso\u2019s contribution to the area of diagnostic problem solving, starting from the early 80\u2019s and recalling the work carried on by Pietro and by the research group he started at the Department of Computer Science of the University of Torino.<\/jats:p>","DOI":"10.3233\/ia-180116","type":"journal-article","created":{"date-parts":[[2018,7,24]],"date-time":"2018-07-24T13:41:23Z","timestamp":1532439683000},"page":"31-40","update-policy":"https:\/\/doi.org\/10.1177\/sage-journals-update-policy","source":"Crossref","is-referenced-by-count":0,"title":["35 Years of Pietro Torasso\u2019s work on\u00a0diagnosis"],"prefix":"10.1177","volume":"12","author":[{"given":"Luca","family":"Console","sequence":"first","affiliation":[{"name":"Dipartimento di Informatica, Universit\u00e0 di Torino, Italia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Diego","family":"Magro","sequence":"additional","affiliation":[{"name":"Dipartimento di Informatica, Universit\u00e0 di Torino, Italia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roberto","family":"Micalizio","sequence":"additional","affiliation":[{"name":"Dipartimento di Informatica, Universit\u00e0 di Torino, Italia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Enrico","family":"Scala","sequence":"additional","affiliation":[{"name":"Fondazione Bruno Kessler, Trento, Italia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniele","family":"Theseider Dupr\u00e9","sequence":"additional","affiliation":[{"name":"Dipartimento di Scienze e Innovazione Tecnologica, Universit\u00e0 del Piemonte Orientale, Italia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gianluca","family":"Torta","sequence":"additional","affiliation":[{"name":"Dipartimento di Informatica, Universit\u00e0 di Torino, Italia"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"179","published-online":{"date-parts":[[2018,7,22]]},"reference":[{"key":"e_1_3_2_2_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-39853-0_4"},{"key":"e_1_3_2_3_2","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(98)00044-7"},{"key":"e_1_3_2_4_2","first-page":"1311","volume-title":"A theory of diagnosis for incomplete causal modelsProceedings of the 11th International Joint Conference on Artificial Intelligence","author":"Console L.","year":"1989","unstructured":"ConsoleL., Theseider Dupr\u00e9D. and TorassoP., A theory of diagnosis for incomplete causal models. In Proceedings of the 11th International Joint Conference on Artificial Intelligence, Detroit, MI, USA, August 1989, 1989, pp. 1311\u20131317."},{"key":"e_1_3_2_5_2","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/1.5.661"},{"key":"e_1_3_2_6_2","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(02)00292-8"},{"key":"e_1_3_2_7_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF01530752"},{"key":"e_1_3_2_8_2","doi-asserted-by":"publisher","DOI":"10.1002\/int.4550060203"},{"key":"e_1_3_2_9_2","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2002.1047764"},{"key":"e_1_3_2_10_2","unstructured":"ConsoleL. and TorassoP. Diagnostic Problem Solving: Combining Heuristic Approximate and Casual Reasoning ISBN:0442237987. Wiley 1990."},{"key":"e_1_3_2_11_2","doi-asserted-by":"publisher","DOI":"10.1002\/int.1990.5.1.83"},{"key":"e_1_3_2_12_2","first-page":"160","article-title":"Integrating models of the correct behavior into abductive diagnosis","author":"Console L.","year":"1990","unstructured":"ConsoleL. and TorassoP., Integrating models of the correct behavior into abductive diagnosis, In ECAI, 1990, pp. 160\u2013166.","journal-title":"ECAI"},{"key":"e_1_3_2_13_2","doi-asserted-by":"publisher","DOI":"10.1016\/0933-3657(91)90002-S"},{"key":"e_1_3_2_14_2","doi-asserted-by":"publisher","DOI":"10.1111\/j.1467-8640.1991.tb00388.x"},{"key":"e_1_3_2_15_2","doi-asserted-by":"publisher","DOI":"10.1109\/21.156589"},{"key":"e_1_3_2_16_2","unstructured":"CravettoC. LesmoL. MolinoG. and TorassoP. Lito2: A framebased expert system for medical diagnosis in hepatology Artificial intelligence in medicine 1985 pp. 107\u2013119."},{"key":"e_1_3_2_17_2","doi-asserted-by":"publisher","DOI":"10.1613\/jair.1129"},{"key":"e_1_3_2_18_2","unstructured":"GhallabM. NauD. and TraversoPaolo Automated Planning: Theory and practice Elsevier 2004."},{"key":"e_1_3_2_19_2","unstructured":"HamscherW. ConsoleL. de KleerJ. editors. Readings in Model-based Diagnosis. Morgan Kaufmann Publishers Inc. San Francisco CA USA 1992."},{"key":"e_1_3_2_20_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF02221872"},{"key":"e_1_3_2_21_2","doi-asserted-by":"publisher","DOI":"10.3233\/AIC-2010-0470"},{"key":"e_1_3_2_22_2","first-page":"57","article-title":"Interactive configuration capability in a sale support system: Laziness and focusing mechanisms","author":"Magro D.","year":"2001","unstructured":"MagroD. and TorassoP., Interactive configuration capability in a sale support system: Laziness and focusing mechanisms, In Proc. IJCAI-01 Configuration WS, 2001, pp. 57\u201363.","journal-title":"Proc. IJCAI-01 Configuration WS"},{"key":"e_1_3_2_23_2","first-page":"176","article-title":"Supporting product configuration in a virtual store","volume":"2175","author":"Magro D.","year":"2001","unstructured":"MagroD. and TorassoP., Supporting product configuration in a virtual store, LNAI2175 (2001), 176\u2013188.","journal-title":"LNAI"},{"issue":"1","key":"e_1_3_2_24_2","first-page":"51","article-title":"Decomposition strategies for configuration problems","volume":"17","author":"Magro D.","year":"2003","unstructured":"MagroD. and TorassoP., Decomposition strategies for configuration problems, AIEDAM, Special Issue on Configuration17(1) (2003), 51\u201373.","journal-title":"AIEDAM, Special Issue on Configuration"},{"key":"e_1_3_2_25_2","doi-asserted-by":"crossref","unstructured":"MicalizioR. ScalaE. and TorassoP. Intelligent supervision for robust plan execution AI* IA: Artificial Intelligence Around Man and Beyond 2011 pp. 151\u2013163.","DOI":"10.1007\/978-3-642-23954-0_16"},{"key":"e_1_3_2_26_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.knosys.2006.11.010"},{"key":"e_1_3_2_27_2","first-page":"170","volume-title":"Team cooperation for plan recovery in multi-agent systems","author":"Micalizio R.","year":"2007","unstructured":"MicalizioR. and TorassoP., Team cooperation for plan recovery in multi-agent systems. In Multiagent System Technologies, 5th German Conference, MATES 2007, Leipzig, Germany, September 24-26, 2007, Proceedings, 2007, pp. 170\u2013181."},{"key":"e_1_3_2_28_2","first-page":"408","volume-title":"Monitoring the execution of a multi-agent plan: Dealing with partial observability","author":"Micalizio R.","year":"2008","unstructured":"MicalizioR. and TorassoP., Monitoring the execution of a multi-agent plan: Dealing with partial observability. In ECAI 2008 - 18th European Conference on Artificial Intelligence, Patras, Greece, July 21-25, 2008, Proceedings, 2008, pp. 408\u2013412."},{"key":"e_1_3_2_29_2","first-page":"66","volume-title":"Agent cooperation for monitoring and diagnosing a MAP","author":"Micalizio R.","year":"2009","unstructured":"MicalizioR. and TorassoP., Agent cooperation for monitoring and diagnosing a MAP. In Multi agent System Technologies,7th German Conference, MATES 2009, Hamburg, Germany, September 9-11, 2009. Proceedings, 2009, pp. 66\u201378."},{"key":"e_1_3_2_30_2","doi-asserted-by":"publisher","DOI":"10.1613\/jair.4339"},{"key":"e_1_3_2_31_2","first-page":"848","volume-title":"Online monitoring and diagnosis of multi-agent systems A model based approach","author":"Micalizio R.","year":"2004","unstructured":"MicalizioR., TorassoP. and TortaG., Online monitoring and diagnosis of multi-agent systems A model based approach. In Proceedings of the 16th Eureopean Conference on Artificial Intelligence, ECAI\u2019 2004, Valencia, Spain, August 22-27, 2004, 2004, pp. 848\u2013852."},{"issue":"3","key":"e_1_3_2_32_2","first-page":"259","article-title":"Intelligent supervision of plan execution in multi-agent systems","volume":"1","author":"Micalizio R.","year":"2006","unstructured":"MicalizioR., TorassoP. and TortaG., Intelligent supervision of plan execution in multi-agent systems, International Transactions on Systems Science and Applications(ITSSA)1(3) (2006), 259\u2013268.","journal-title":"International Transactions on Systems Science and Applications(ITSSA)"},{"issue":"4","key":"e_1_3_2_33_2","first-page":"313","article-title":"Online monitoring and diagnosis of a team of service robots Amodel-based approach","volume":"19","author":"Micalizio R.","year":"2006","unstructured":"MicalizioR., TorassoP. and TortaG., Online monitoring and diagnosis of a team of service robots Amodel-based approach, AI Commun19(4) (2006), 313\u2013340.","journal-title":"AI Commun"},{"key":"e_1_3_2_34_2","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-7373(05)80132-4"},{"key":"e_1_3_2_35_2","first-page":"968","volume-title":"Shop: Simple hierarchical ordered planner","author":"Nau D.","unstructured":"NauD., CaoY., LotemA. and Munoz-AvilaH., Shop: Simple hierarchical ordered planner. In Proceedings of the 16th international joint conference on Artificial intelligence-Volume 2, pp. 968\u2013973. Morgan Kaufmann Publishers Inc."},{"key":"e_1_3_2_36_2","first-page":"4384","volume-title":"Landmarks for numeric planning problems","author":"Scala E.","year":"2017","unstructured":"ScalaE., HaslumP., MagazzeniD. and Thi\u00e9bauxS., Landmarks for numeric planning problems. In Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August19-25, 2007, 2017, pp. 4384\u20134390."},{"key":"e_1_3_2_37_2","doi-asserted-by":"publisher","DOI":"10.3233\/AIC-140629"},{"key":"e_1_3_2_38_2","first-page":"783","volume-title":"Proactive and reactive reconfiguration for the robust execution of multi modality plans","author":"Scala E.","year":"2014","unstructured":"ScalaE. and TorassoP., Proactive and reactive reconfiguration for the robust execution of multi modality plans. In Proceedings of the Twenty-first European Conference on Artificial Intelligence, 2014, pp. 783\u2013788. IOS Press."},{"key":"e_1_3_2_39_2","first-page":"1673","volume-title":"Deordering and numeric macro actions for plan repair","author":"Scala E.","year":"2015","unstructured":"ScalaE. and TorassoP., Deordering and numeric macro actions for plan repair. In Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015, 2015, pp. 1673\u20131681."},{"key":"e_1_3_2_40_2","doi-asserted-by":"publisher","DOI":"10.1002\/int.4550090304"},{"key":"e_1_3_2_41_2","doi-asserted-by":"publisher","DOI":"10.1111\/j.1467-8640.1995.tb00047.x"},{"key":"e_1_3_2_42_2","doi-asserted-by":"publisher","DOI":"10.1016\/0888-613X(89)90004-2"},{"key":"e_1_3_2_43_2","first-page":"224","volume-title":"Computing minimum cardinality diagnoses using OBDDs","author":"Torasso P.","year":"2003","unstructured":"TorassoP. and TortaG., Computing minimum cardinality diagnoses using OBDDs, In KI 2003: Advances in Artificial Intelligence, 26th Annual German Conference on AI, KI 2003, Hamburg, Germany, September 15-18, 2003, Proceedings, 2003, pp. 224\u2013238."},{"key":"e_1_3_2_44_2","first-page":"176","volume-title":"Automatic abstraction of time-varying system models for model based diagnosis","author":"Torasso P.","year":"2005","unstructured":"TorassoP. and TortaG., Automatic abstraction of time-varying system models for model based diagnosis. In KI2005: Advances in Artificial Intelligence, 28th Annual German Conference on AI, KI 2005, Koblenz, Germany, September 11-14, 2005, Proceedings, 2005, pp. 176\u2013190."},{"key":"e_1_3_2_45_2","first-page":"287","article-title":"Model-based diagnosis through OBDD compilation: A complexity analysis","author":"Torasso P.","year":"2006","unstructured":"TorassoP. and TortaG., Model-based diagnosis through OBDD compilation: A complexity analysis. In Reasoning, Action and Interaction in AI Theories and Systems, Essays Dedicated to Luigia Carlucci Aiello, 2006, pp. 287\u2013305.","journal-title":"Reasoning, Action and Interaction in AI Theories and Systems, Essays Dedicated to Luigia Carlucci Aiello"},{"key":"e_1_3_2_46_2","first-page":"394","volume-title":"Automatic abstraction in component-based diagnosis driven by system observability","author":"Torta G.","year":"2003","unstructured":"TortaG. and TorassoP., Automatic abstraction in component-based diagnosis driven by system observability. In IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003, 2003, pp. 394\u2013402."},{"key":"e_1_3_2_47_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.knosys.2005.11.013"},{"key":"e_1_3_2_48_2","doi-asserted-by":"publisher","DOI":"10.3233\/EAI-2007-400"},{"key":"e_1_3_2_49_2","doi-asserted-by":"publisher","DOI":"10.3233\/EAI-2007-"},{"key":"e_1_3_2_50_2","doi-asserted-by":"publisher","DOI":"10.3233\/AIC-2009-0444"},{"issue":"2","key":"e_1_3_2_51_2","first-page":"179","article-title":"Automatic component abstractionfor model-based diagnosis on relational models","volume":"26","author":"Torta G.","year":"2013","unstructured":"TortaG. and TorassoP., Automatic component abstractionfor model-based diagnosis on relational models, AICommun26(2) (2013), 179\u2013209.","journal-title":"AICommun"}],"container-title":["Intelligenza Artificiale"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.3233\/IA-180116","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/full-xml\/10.3233\/IA-180116","content-type":"application\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.3233\/IA-180116","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T10:51:31Z","timestamp":1777459891000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/10.3233\/IA-180116"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,7,22]]},"references-count":50,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2018,7,22]]}},"alternative-id":["10.3233\/IA-180116"],"URL":"https:\/\/doi.org\/10.3233\/ia-180116","relation":{},"ISSN":["1724-8035","2211-0097"],"issn-type":[{"value":"1724-8035","type":"print"},{"value":"2211-0097","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,7,22]]}}}