Tesi di Dottorato
Petri Net Models for Diagnostic Knowledge Representation and Reasoning, University of Torino (Italy), 1993.
- Exploiting Markov Random Fields to enhance Retrieval in Case-Based Reasoning, Proc. 32nd Intern. FLAIRS Conference, AAAI Press, Sarasota (FL).
- A Bayesian Network Approach for the Interpretation of Cyber Attacks to Power Systems, Proc. 3rd Italian Conference on Cyber Security (ITASEC 19), CEUR vol 2315, Pisa; with D. Cerotti, D. Codetta Raiteri, G. Dondossola, L. Egidi, G. Franceschinis, R. Terruggia;
- Case-Based and Multimodal Reasoning: the contribution of Piero Torasso, Intelligenza Artificiale, vol 12, n. 1, IOS Press, pp.42-44, 2018.
- Discovering knowledge embedded in bio-medical databases: experiences in food characterization and in medical process mining, in Innovations in Big Data Mining and Embedded Knowledge, (A. Esposito, A.M. Esposito, L.C. Jain eds), Springer, 2018; with G. Leonardi, S. Montani, S. Quaglini, M. Striani.
- Investigating the role of Ensemble Learning in High-Value Wine Authentication, Proc. 30th International Conference on Innovative Applications of Artificial Intelligence (IAAI 18), New Orleans (LA), 2018; with M. Locatelli.
- Decision Networks for Security Risk Assessment, ACM Transactions on Internet Technology vol 18, n 3, pp. 1-22 ; with D. Codetta Raiteri.
- Generalized Continuous Time Bayesian Networks as a modelling and analysis framework for dependable systems, Reliability Engineering and System Safety, vol 167, pp. 639-651 ((https://doi.org/10.1016/j.ress.2017.04.014)); con D. Codetta Raiteri
- Applying Machine Learning to High-Quality Wine Identification, Proc. AI*IA 2017, Advances in Artificial Intelligence, LNCS, Springer; con G.Leonardi.
- Decision Networks for Security Risk Assessment, ACM Transactions on Internet Technology (to appear); con D. Codetta Raiteri.
- Authenticity Assessment and Protection of High-Quality Nebbiolo-based Italian Wines through Machine Learning, Chemometrics and Intelligent Systems Laboratory, vol 171, pp:182-197, (https://doi.org/10.1016/j.chemolab.2017.10.012); with G. Leonardi, M. Arlorio, J.D. Coisson, F. Travaglia, M. Locatelli.
- Decision Theoretic Reliability, tutorial at 62nd Annual Reliability and Maintainability Symposium (RAMS 2016), Tucson (AZ), 2016.
- A Smart Financial Advisory System exploiting Case-Based Reasoning, Proc. 2nd Intern. Workshop on Personalization and Recommender Systems in Financial Services (FINREC 2016), Bari, 2016; con G. Leonardi, P. Artusio, M. Valsania.
- Recommending Personalized Asset Investments through Case-Based Reasoning: the SMARTFASI System, Proc. 28th IEEE Intern. Conference on Tools with Artificial Intelligence (ICTAI 2017), San Jose' (CA), 2016; con G. Leonardi, P. Artusio, M. Valsania.
- Modeling and Analysis of Dependable Systems: a Probabilistic Graphical Model Perspective; World Scientific Publ; con D. Codetta Raiteri.
- KITE: towards a Knowledge-Intensive and Technology-enhanced patient Emergency Management. A new project idea, CINI Annual Workshop on ICT for Smart Cities and Communities, Palermo, Italy, 29-30 Oct, 2015; con S. Montani, M. Canonico, G. Leonardi, G. Manzini.
- Exploiting Data Mining for Authenticity Assessment and Protection of High-Quality Italian Wines from Piedmont, Proc. 21st ACM SIGKDD Conference on Knowledge Discovery and Data Mining (KDD 2015), Sydney (AUS), Aug. 2015; con G. Leonardi, M. Arlorio, J.D. Coisson, M. Locatelli.
- A time series retrieval tool for sub-series matching, Applied Intelligence, Springer, vol 43, n.1, pp. 132-149, 2015; con A. Bottrighi, G. Leonardi, S. Montani, P. Terenziani.
- Modeling and Analysis of Dependable Systems through Generalized Continuous Time Bayesian Network Models, Proc. 61th Annual Reliability and Maintainability Symposium (RAMS2015), Palm Harbor, FL, Jan 26-29, pp. 45-51, 2015; con D. Codetta Raiteri.
- Dynamic Bayesian Networks for Fault Detection, Identification and Recovery in Autonomous Spacecraft, IEEE Transactions on Systems, Man and Cybernetics: Systems, vol 45(1), pp. 13-24, 2015; con D. Codetta Raiteri
- Advances in the GINSENG Project (Exteded Abstract), Proc. IEEE Intern. Conference on Healthcare Informatics (ICHI 2014), 15-17 Sept. 2014, Verona (Italy); con P. Terenziani, A. Bottrighi, L. Giordano, G. Franceschinis, S. Montani, L. Piovesan, S. Rubrichi, M. Spiotta, D. Theseider Dupre'.
- Quantitative Evaluation of Attack/Defense Scenarios through Decision Network Modelling and Analysis, Proc. IEEE Intern. Carnhan Conference on Security Technology (ICCST 2014), pp. 432-437, 13-16 Oct, 2014; con D. Codetta Raiteri, R. Terruggia.
- Decision Networks for Modeling and Analysis of Attack/Defense Scenarios in Critical Infrastructures, Proc. 27th International Florida Artifical Intelligence Research Society Conference (FLAIRS 2014), 21-23 May, 2014, Pensacola Beach, FL, pp. 24-27; con D. Codetta Raiteri, R. Terruggia.
- Approaching Dynamic Reliability with Predictive and Diagnostic Purposes by exploiting Dynamic Bayesian Networks, Journal of Risk and Reliability, vol 228(5), pp. 488-503, 2014; con D. Codetta Raiteri.
- Selecting Failure Countermeasures through Decision Network Analysis, Proc. 60th Annual Reliability and Maintainability Symposium (RAMS2014), Colorado Springs (CO), pp. 332-338, 27-30 Jan, 2014; con D. Codetta Raiteri, R. Terruggia.
- Supporting flexible, efficient and user-interpretable retrieval of similar time series, in IEEE Transactions on Knowledge and Data Engineering, vol 25(3), pp. 677-689, 2013; con S. Montani, A. Bottrighi, G. Leonardi, P. Terenziani.
- A GSPN based tool to inference Generalized Continuous Time Bayesian Networks, Proc. 7th International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS 2013), Torino, 10-12 Dec. 2013; with D. Codetta Raiteri.
- Towards a second generation of computer interpretable guidelines, Proc. 2nd Int. Conference on Data Management, Technologies and Applications (DATA 2013), Reykjavik (Iceland), 29-31 July, 2013; with P. Terenziani, A. Bottrighi, L. Giordano, G. Franceschinis, S. Montani, D. Thesider Dupre'.
- Predictive and diagnostic analysis of an holdup tank by means of Dynamic Bayesian Networks, Proc. Advance in Risk and Reliability Technology Symposium (AR2TS),, Nottingham UK, 2013; with D. Codetta Raiteri.
- A unified modeling and operational framework for fault detection, identification and recovery in autonomous spacecrafts. In Theory and Applications of Multiformalism Modeling, IGI Global Publ., M. Gribaudo, N. Iacono (eds).; 2013; with A. Bobbio, D. Codetta Raiteri, A. Guiotto, Y. Yusthein.
- A Petri Net based tool for the analysis of Generalized Continuous Time Bayesian Networks. In Theory and Applications of Multiformalism Modeling, IGI Global Publ., M. Gribaudo, N. Iacono (eds).; 2013; with D. Codetta Raiteri.
- Flexible and Efficient Retrieval of Hemodialysis Time Series. Proc. 5th Inter. Workshop on Process Oriented Information Systems in Health Care and 4th Int. Workshop on Knowledge Representation for Health Care (ProHealth12/KRH4C12), Tallin, 2012; Lecture Notes in Artificial Intelligernce 7738, pp.154-167; with S. Montani, G. Leonardi, A. Bottrighi, P. Terenziani.
- Extending a time series retrieval tool to deal with sub-series matching: an application to the hemodialysis domain. Proc. ICCBR 2012 Workshop on CBR in the Health Sciences, Lyon, 2012; con S. Montani, G. Leonardi, A. Bottrighi, P. Terenziani.
- ARPHA: an innovative on-board FDIR reasoning engine for autonomous systems to perform diagnosis, prognosis and recovery, Proc. Eurospace Intern. Space System Engineering Conference DASIA 2012, Dubrovnik, 2012; con Daniele Codetta Raiteri, A. Guiotto, Y. Yushtein
- Evaluation of anomaly and failure scenarios involving an exploration rover: a Bayesian Network approach. iSAIRAS 2012, Intern. Symposium on Artificial Intelligence, Robotics and Automation in Space, 4-6 Sept. 2012, Torino (Italy) con D. Codetta Raiteri, A. Guiotto, Y. Yusthein.
- A unified modeling and operational framework for Fault Detection, Identification and Recovery in autonomous spacecrafts, Proc. of Workshop on Research and Use of Multiformalism Modeling \Methods (WRUMMM),pp. 24-31, London, 2012. con Daniele Codetta Raiteri, A. Guiotto, Y. Yushtein.
- ARPHA: a software prototype for fault detection, identification and recovery in autonomous spacecrafts , in Acta Futura vol 5, pp. 99-110, ESA Publ., 2012; con Daniele Codetta Raiteri, A. Guiotto, S. Di Nolfo, Y. Yushtein.
- A dynamic Bayesian network based framework to evaluate cascading effects in a power grid. Engineering Applications of Artificial Intelligence 25(4), pp. 683-697, 2012, Elevier. con D. Codetta Raiteri, A. Bobbio, S. Montani.
- Bayesian Belief Networks in Reliability, tutorial presentato al 58th Annual Reliability and Maintainability Symposium, RAMS 2012, Reno, NV, 2012.
- ARPHA: an FDIR Architecture for Autonomous Spacecrafts based on Dynamic Probabilistic Graphical Models, Proc. IJCAI Workshop on AI in Space: Intelligence Beyond Planet Earth, Barcelona, 2011; with Daniele Codetta Raiteri.
- Using Dynamic Decision Networks and Extended Fault Trees for Autonomous Fault Detection, Identification and Recovery, Proc. IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2011),Boca Raton (FL), 2011; with Daniele Codetta Raiteri.
2010
- Supporting Reliability Engineers in Exploiting the Power of Dynamic Bayesian Networks. International Journal of Approximate Reasoning. vol 51(2), pp:179-195 , 2010; with D. Codetta Raiteri, S. Montani.
- A Flexible Approach to Product Configuration exploiting Fuzzy Knowledge and SQL. Proc. ECAI Workshop on Configuration, Lisbona, 2010. with M. Bazzani.
- Intelligent Data Interpretation and Case Base Exploration through Temporal Abstractions. Proc. 18th Intern. Conf. on Case-Based Reasoning (ICCBR10), Alessandria; LNAI 6176, Springer pp. 36-50; 2010; with A. Bottrighi, G. Leonardi, S. Montani, P. Terenziani.
- Generalized Continuous Time Bayesian Networks and their GSPN Semantics. Proc. 5th European Workshop on Probabilistic Graphical Models (PGM 2010), (13-15 Sept. 2010, Helsinki), HIT Publ.; with D. Codetta Raiteri
2009
- A Fuzzy Approach to Product Configuration on Standard Databases, Proc. 11th Int. Conference of the Italian Association for Artificial Intelligence (AIxIA09), Lecture Notes in Artificial Intelligence 5883, Springer, 2009.
- Extending the JColibri Open Source Architecture for Managing High-dimensional Data and Large Case Bases, Proc. 21st IEEE Int. Conference on Tools for Artificial Intelligence (ICTAI09), Newark, NJ, 2009; with A. Bottrighi, G. Leonardi, S. Montani.
- Generalizing Continuous Time Bayesian Networks with Immediate Nodes. Proc. IJCAI Workshop on Graph Structures for Knowledge Representation and Reasoning (GKR 2009), Pasadena, CA, 2009; with D. Codetta Raiteri.
- Multi-level abstractions and multi-dimensional retrieval of cases with time series features. Proc. 8th Intern. Conference on Case-Based Reasoning (ICCBR09), Seattle, WA, 2009; with A. Bottrighi, G. Leonardi, S. Montani, P. Terenziani.
- A CBR-Based Closed Loop Architecture for Temporal Abstractions Configuration, Computational Intelligence, vol 25(3), pp. 235-249, 2009; with S. Montani, G. Leonardi, A. Bottrighi.
- Modeling Cascading Failure Propagation via Dynamic Bayesian Networks, Proc. 2nd IFAC Workshop on Dependable Control of Discrete Systems, Bari, 2009; with A. Bobbio, D. Codetta-Raiteri, S. Montani.
2008
- A Fuzzy Logic Approach to Case Matching and Retrieval Suitable to SQL Implementation. Proc. 20th IEEE International Conference on Tools for Artificial Intelligence - ICTAI'08, Dayton OH, 2008; with S. Montani.
- RADYBAN: a Tool for Reliability Analysis of Dynamic Fault Trees through Conversion into Dynamic Bayesian Networks, Reliability Engineering and System Safety, vol 93(7) , Elsevier, 2008; with A. Bobbio, D. Codetta-Raiteri, S. Montani.
- Semi-automatic Configuration of Temporal Abstractions of Time Series Data using Case-Based Reasoning. Proc. 8th Industrial Conference on Data Mining ICDM´2008, Leipzig, 2008; with A. Bottrighi, G. Leonardi, S. Montani.
- Dynamic Bayesian Networks for the Reliability Analysis of Systems with Dynamic Dependencies, in Bayesian Belief Networks: A Practical Guide to Applications, O. Pourret, P. Naim, B.G. Marcot (eds.), J. Wiley Publ., 2008; with A. Bobbio, D. Codetta-Raiteri, S. Montani.
2007
- Applied Intelligence: Special Issue on CBR in the Health Sciences, Springer, 2007; guest editor with S. Montani.
- Case-Based Reasoning for Temporal Abstraction Configuration in Haemodialysis , Proc. ICCBR-07 Workshop on CBR in the Health Sciences, Belfast, 2007; with G. Leonardi, A. Bottrighi, S. Montani.
- Compiling Dynamic Fault Trees into Dynamic Bayesian Networks: the RADYBAN Tool, Proc. 5th UAI Bayesian Modeling Application Workshop, Vancouver, 2007; CEUR Workshop Proceedings vol. 268; with A. Bobbio, D. Codetta-Raiteri, S. Montani.
- Dynamic Bayesian Networks as a Framework for the Reliability Analysis of Systems with Dynamic Dependencies, Proc. 5th International Conference on Mathematical Methods in Reliability (MMR'07), Glasgow, 2007;
- Applications of Bayesian Networks in Reliability Analysis, in Bayesian Network Technologies: Applications and Graphical Models, A. Mittal, A. Kassim, T. Tan (eds.), IDEA Group Publ., 2007 (to be published); with H. Langseth.
- Assessing the Quality of Care for End Stage Renal Failure Patients by means of Artificial Intelligence Methodologies, in Computational Intelligence in Healthcare, L. Jain (ed.), Springer, 2007, pp. 83-106; with R. Bellazzi, R. Bellazzi, C. Larizza, S. Montani.
- Bayesian Networks in Reliability, Reliability Engineering and System Safety, vol. 92(1), pp. 92-108, 2007; with H. Langseth.
2006
- A Tool for Automatically Translating Dynamic Fault Trees into Dynamic Bayesian Networks, Proc. 52nd Annual Reliability and Maintainability Symposium (RAMS 2006), Newport Beach, 2006; with A. Bobbio, S. Montani, M. Varesio, D. Codetta-Reiteri.
- Accounting for the Temporal Dimension in Case-Based Retrieval: a Framework for Medical Applications, Computational Intelligence vol. 22(3-4), pp. 208-223, Blackwell Publ., 2006; with S. Montani.
- Case-Based Retrieval to Support the Treatment of End Stage Renal Failure Patients, Artifical Intelligence in Medicine, vol. 37, n. 1, pp. 31-42, Elsevier publ., 2006; with S. Montani, G. Leonardi, R. Bellazzi, R. Bellazzi.
- A Case-Based Architecture for Temporal Abstraction Configuration and Processing, Proc. IEEE Intern, Conference on Tools for Artificial Intelligence (ICTAI 06), Washington, pp. 667-674, IEEE Press, 2007; with A. Bottrighi, J. Juarez, G. Leonardi, S. Montani.
- Automatically Translating Dynamic Fault Trees into Dynamic Bayesian Networks by means of a Software Tool, Proc. International Conference on Availability, Reliability and Security (ARES), Wien, pp. 804-809, 2006; with A. Bobbio, D. Codetta-Raiteri, S. Montani.
2005
- Dynamic Bayesian Networks for Modeling Advanced Fault Tree Features in Dependability Analysis, Proc. European Safety and Reliability Conference (ESREL 2005), Tri City, Poland, 2005; with S. Montani, A. Bobbio.
- From Artificial Intelligence to Dependability: Modeling and Analysis with Bayesian Networks, in Modern Statistical and Mathematical Methods in Reliability, A. Wilson, M. Limnios, S. Keller-McNutty, Y. Armijo (eds.), Series on Quality, Reliability and Engineering Statistics vol. 10, pp. 365-382, World Scientific Publ., 2005; with S. Montani, A. Bobbio.
- Case-Based Representation and Retrieval with Time Dependent Features, Proc. 6th International Conference on Case-Based Reasoning (ICCBR05), Chicago, 2005, Lecture Notes in Artificial Intelligence 3620, Springer, pp. 353-367; with S. Montani.
- Case Retrieval with Time-Series Features: the RHENE System, Intelligenza Artificiale, vol. 2, year 2, pp. 15-23, 2005; with S. Montani, R. Bellazzi, G. Leonardi.
2004
- Multimodal Diagnosis Combining Case-Based and Model-Based Reasoning: a Formal and Experimental Analysis, Artificial Intelligence, vol. 158 (2), pp. 109-153, 2004; with P. Torasso, D. Magro.
- RHENE: a Case Retrieval System for Hemodialysis Cases with Dianamically Monitored Parameters, Proc. 7th European Conference on Case-Based Reasoning, LNAI 3155, pp. 659-672, 2004; with S. Montani, R. Bellazzi, G. Leonardi.
- From AI to Dependability: using Bayesian Networks for Reliability Modeling and Analysis, Proc. 4th Int. Conference on Mathematical Methods in Relaibility (MMR04), Santa Fe', invited talk, 2004; with A. Bobbio, S. Montani.
2003
- Parametric Fault-Tree for the Dependability Analysis of Redundant Systems and its High Level Petri Net Semantics, IEEE Transactions on Software Engineering, vol. 29, n. 3, pp. 270-287; with A. Bobbio, G. Franceschinis e R. Gaeta.
- Sequential Application of Heterogeneous Models for the Safety Analysis of a Control System: a Case Study, Reliability Engineering and System Safety, vol. 81, n. 3, pp. 269-280; with A. Bobbio, E. Ciancamerla, G. Franceschinis, R. Gaeta, M. Minichino.
- Parametric Dependability Analysis through Probabilistic Horn Abduction, Proc. 19th Conference on Uncertainty in AI - UAI 2003, Acapulco; with A. Bobbio, S. Montani.
- Applying Case-Based Retrieval to Hemodialysis Treatment, Proc. Workshop on CBR in the Health Sciences, 5th International Conference on Case-Based Reasoning (ICCBR03), Trondheim; with S. Montani, R. Bellazzi, G. Leonardi.
2002
- A Fuzzy Case Retrieval Approach Based on SQL for Implementing Electronic Catalogs, in Proc. 6th European Conference on Case-Based Reasoning (ECCBR02), Lecture Notes in Artificial Intelligence , Aberdeen,, 2002; with S. Montani.
- Methods of Incresing Modeling Power for Safety Analysis, Applied to a Turbin Digital Control System, in Proc. 20th Intern. Conf. on Computer, Safety, Reliability and Security (SAFECOMP'02), Catania, Lecture Notes in Computer Science , Springer, 2001; with A. Bobbio, M. Minichino, E. Ciancamerla.
- A Fuzzy Approach to Case Retrieval through Fuzzy Extension of SQL, International Journal on Engineering Intelligent Systems , vol 10(3), pp. 159-171, 2002, with R. Bellazzi and S. Montani.
2001
- Case-Based Reasoning for Medical Knowledge-Based Systems}, International Journal of Medical Informatics, vol. 64, pp. 355-367, 2001; with R. Schmidt, S. Montani, R. Bellazzi, L. Gierl.
- Improving the Analysis of Dependable Systems by Mapping Fault Trees into Bayesian Networks, Reliability Engineering and System Safety, vol. 71, n. 3, pp. 249-260, Elsevier, 2001; (preliminary version in Proc. 18th Intern. Conf. on Computer, Safety, Reliability and Security - SAFECOMP'99, Toulouse, Lecture Notes in Computer Science 1698, Springer, 1999); with A. Bobbio, M. Minichino, E. Ciancamerla.
- Case Base Maintenance in a Multi-modal Reasoning System, Computational Intelligence, vol. 17, n. 2, pp. 263-279, 2001; with P. Torasso.
- Exploiting Fuzzy-SQL in Case-Based Reasoning, in Proc. 14th International FLAIRS Conference, Key West, 2001; with A. Verrua.
- Dependability Assesment of an Industrial Programmable Logic Controller via Parametric Fault-Tree and High Level Petri Net, in Proc. 9th International Conference on Petri Nets and Performance Models - PNPM01, IEEE Press, Aachen, 2001; with A. Bobbio, G. Franceschinis e R. Gaeta.
- Comparison of Methodologies for the Safety and Dependability Assessment of an Industrial Programmable Logic Controller, in Proc. ESREL 2001, European Safety and Reliability International Conference, Torino, 2001; with A. Bobbio, S. Bologna, E. Ciancamerla, G. Franceschinis, R. Gaeta e M. Minichino.
2000
- Artificial Intelligence Techniques for Diabetes Management: the T-IDDM Project, in Proc. PAIS 2000, Prestigious Applications of Intelligent Systems, Berlin, 2000; with S. Montani, R. Bellazzi, A. Riva, C. Larizza, M. Stefanelli.
- Managing Diabetic Patients through a Multi-modal Reasoning Methodology, in Proc. Workshop "Case-Based Reasoning: a new technique for medical knowledge-based applications'' at the Medical Informatics Europe (MIE'00) Conference, Hannover, 2000; with S. Montani, R. Bellazzi.
- Evaluating a Multi-modal Reasoning system in Diabetes Care, in Proc. 5th European Workshop on Case-Based Reasoning - EWCBR2K, Lecture Notes in Artificial Intelligence 1898, Trento, 2000; with S. Montani, R. Bellazzi, M. Stefanelli.
- Automatic Case Base Management in a Multi-modal Reasoning System, in Proc. 5th European Workshop on Case-Based Reasoning - EWCBR2K, Lecture Notes in Artificial Intelligence 1898, Trento, 2000; with P. Torasso.
- A Multi-modal Reasoning Methodology for Managing IDDM Patients, International Journal of Medical Informatics, vol. 58-59, pp. 243-256, 2000; with S. Montani, R. Bellazzi, M. Stefanelli.
- Diabetic Patient Management Exploiting Case-Based Reasoning Techniques, Computers Methods and Programs in Biomedicine, vol. 62, pp. 205-218, 2000; with S. Montani, R. Bellazzi, G. d'Annunzio, S. Fiocchi, M. Stefanelli.
1999
- Integrating Rule-Based and Case-Based Decision Making in Diabetic Patient Management, Proc. 3rd International Conference on Case-Based Reasoning (ICCBR'99), Munich, Lecture Notes in Artificial Intelligence 1650, pp. 386-400; with R. Bellazzi, S. Montani, A. Riva (preliminary version as Multimodal Reasoning in Diabetic Patient Management, in Proc. AIMDM 99, Artificial Intelligence in Medicine and Medical Decision Making, Aalborg, {Lecture Notes in Artificial Intelligence 1620, pp. 113-123}, Springer, 1999).
- Speed-up, Quality and Competence in Multi-modal Case-Based Reasoning, in Proc. 3rd International Conference on Case-Based Reasoning - ICCBR99, Munich, Lecture Notes in Artificial Intelligence 1650, pp. 303-317, Springer, 1999; with P. Torasso e P. Tavano.
- Diagnosis as a Variable Assignment Problem: a Case Study in Space Robot Fault Diagnosis, in Proc. 16th International Joint Conference on Artificial Intelligence - IJCAI 99, pp. 1087-1093, Stockholm, 1999; with P. Torasso.
- Exploiting Petri Nets to Support Fault Tree Based Dependability Analysis, in Proc. 8th International Conference on Petri Nets and Performance Models - PNPM99, pp. 146-155, Zaragoza, IEEE Press, 1999; with A. Bobbio, G. Franceschinis e R. Gaeta.
- Bayesian Networks for Dependability Analysis: an Application to Digital Control Reliability, in Proc. 15th Conference on Uncertainty in Artificial Intelligence - UAI99, pp. 551-558, Stockholm, 1999; with A. Bobbio.
- Comparing Different Methodologies of Probabilistic Structured Modelling by the Analysis of Typical Industrial Dependable Systems}, in Proc. CENELEC Workshop, Munich, 1999; with E. Ciancamerla, M. Minichino, A. Bobbio.
- Knowledge Representation and Reasoning for Fault Identification in a Space Robot Arm, in Proc. Intern. Symposium on Artificial Intelligence, Robotics and Automation in Space - iSAIRAS 99, 1999; with P. Torasso e G.L. Correndo.
- Supporting Decisions in Diabetic Patients Management through Case-Based Retrieval, in Proc. MIE'99 Conference, Medical Informatics Europe, Ljubljana, 1999, pp. 645-649; with S. Montani, R. Bellazzi, S. Fiocchi, G. d'Annunzio, M. Stefanelli.
1998
- Performance Issues in ADAPtER a Combined CBR-MBR Diagnostic Architecture, Proc. AAAI Spring Symposium on Multimodal Reasoning , Stanford, AAAI Press, 1998; with P. Torasso.
- Dynamic Case Memory Management, Proc. ECAI 98, pp. 73-78, John Wiley & Sons, Brighton, 1998; with P. Torasso and P. Tavano.
- A CBR System for Diabetic Patient Theraphy, in Proc. 3rd Intern. Conference on Neural Networks and Expert Systems in Medicine and Healthcare (NNESMED 98) Pisa, World Scientific Publ., 1998; with S. Montani, R. Bellazzi, M. Stefanelli.
- A CBR System for Diabetic Patient Theraphy, in Proc. Intelligent Data Analysis in Medicine and Pharmacology (IDAMAP 98), Brighton, J. Wiley & Sons Publ., 1998; with S. Montani, R. Bellazzi, S. Fiocchi, M. Stefanelli.
- Retrieval in a Prototype Based Case Library: a Case Study in Diabetes Therapy Revision, in Proc. EWCBR 98, Lecture Notes in Artificial Intelligence 1488 , Dublin, pp. 64-75, 1998; with R. Bellazzi and S. Montani.
- A Case-Based Decision Support System for Diabetic Patients Management, in Proc. Computers in Diabetes 98, Barcelona, 1998; with R. Bellazzi, S. Montani, S. Fiocchi, M. Stefanelli.
1997
- Behavioral Petri Nets: a Model for Diagnostic Knowledge Representation and Reasoning, IEEE Transactions on Systems, Man and Cybernetics , vol. 27, n. 2, pag. 184-195, 1997.
- Combining Experiential Knowledge and Model-Based Reasoning for Diagnostic Problem Solving, Knowledge-Based Systems: Advanced Concepts, Techniques and Applications, S.G. Tzafestas (ed.), World Scientific Publishing 1997; with P. Torasso.
- Case-Based Probability Factoring in Bayesian Belief Networks, Proc. 6th International Workshop on Artificial Intelligence and Statistics (AISTAT97), Ft. Lauderdale, pp. 391-398, 1997.
- Selecting most adaptable diagnostic solutions through Pivoting-Based Retrieval, Proc. 2nd International Conference on Case-Based Reasoning (ICCBR-97) , Providence, Lecture Notes in Artificial Intelligence 1266 , pp. 277-288, 1997; with P. Torasso and D. Magro.
- A comparative analysis of Horn models and Bayesian Networks for diagnosis, Proc. 5th Congress of the Italian Association for Artificial Intelligence (AI*IA-97), Roma, Lecture Notes in Artificial Intelligence 1321, pp. 254-265, 1997; with P. Torasso.
- Modeling and Solving Constraint Satisfaction Problems through Petri Nets, Proc. 18th International Conference on Application and Theory of Petri Nets, Toulouse, Lecture Notes in Computer Science 1248 , pp. 348-366, 1997.
1996
- On the Usefulness of Re-using Diagnostic Solutions, Proc. 12th European Conference on Artificial Intelligence - ECAI 96, Budapest, pag. 137-141, 1996; with P. Torasso; (also in Working Notes ECAI 96 Workshop on Adaptation in CBR ).
- Improving Model-Based Diagnosis through Algebraic Analysis: the Petri Net Challenge, Proc. 13th National Conference on Artificial Intelligence - AAAI 96, Portland, pag. 952-958, 1996.
- Parallel Model-Based Diagnosis using PVM, Parallel Virtual Machine - EuroPVM'96 , Muenchen, Lecture Notes in Computer Science 1156, pp. 331-334, Springer Verlag, 1996; with C. Anglano.
- Using Compiled knowledge to guide and focus abductive diagnosis, IEEE Transactions on Knowledge and Data Engineering, vol 8, n. 5, pag.690-706, 1996; with L.Console e D. Theseider Dupre'.
1995
- Petri Net Reachability Analysis meets Model-Based Diagnostic Problem Solving, in Proc. IEEE Int. Conference on Systems, Man and Cybernetics - SMC 95, Vancouver, pp. 1712-1717, 1995.
- ADAPtER, an Integrated Diagnostic System Combining Case-Based and Abductive Reasoning, in Proc. First International Conference on Case-Based Reasoning - ICCBR 95, Sesimbra, Lecture Notes in Artificial Intelligence 1010 pp. 277-288, 1995; with P. Torasso.
- On the role of Abduction, ACM Computing Surveys vol. 27, n. 3, pag. 353-355, 1995; with L.Console, D. Theseider Dupre' e P. Torasso.
1994
- Using Case-Based Reasoning to Focus Model-Based Diagnostic Problem Solving, in Lecture Notes in Artificial Intelligence 837, pp. 325-337, Springer Verlag, 1994 (preliminary version in Proc. First European Workshop on Case-Based Reasoning, 1993, Kaiserslautern); with P. Torasso, C. Ortalda, A. Giardino.
- Diagnosing Time-Varying Misbehavior: an Approach Based on Model Decomposition, Annals of Mathematics and Artificial Intelligence, vol. 11, n. 1/4, 1994; with L.Console, D. Theseider Dupre' e P. Torasso.
- B-W Analysis: a Backward Reachability Analysis for Diagnostic Problem Solving suitable to Parallel Implementation, in 15th Int. Conf. on Application and Theory of Petri Nets, Zaragoza, Lecture Notes in Computer Science 815, pp. 39-58, Springer Verlag, 1994; whit C. Anglano.
1993
- Combining Heuristic and Causal Reasoning in Diagnostic Problem Solving, in Second Generation Expert Systems, pap. 46-68, J.M. David, J.P. Krivine, R. Simmons (eds.), Springer Verlag, 1993; with L. Console, D. Theseider Dupre' e P. Torasso.
- Exploiting T-invariant analysis in Diagnostic reasoning on a Petri net model, in Proc. 14th Int. Conf. on Application and Theory of Petri Nets, Chicago, Lecture Notes in Computer Science 691, pp. 339-356, Springer Verlag, 1993.
- Integrating Abductive Reasoning and Probabilistic Temporal Prediction in Diagnostic Problem Solving, in Proc. IEEE Int. Conference on Systems, Man and Cybernetics - SMC 93, pp. 725-730, Le Touquet, 1993; with A. Rigallo, P. Torasso.
- Selecting Observation time in the monitoring and interpretation of Time-Varying data, in Proc. Third Conference of the Italian Association for Artificial Intelligence - AI*IA 93, Torino, Lecture Notes in Artificial Intelligence 728, pp. 314-325, 1993.
1992
- Verification of Causal Models Using Petri Nets, International Journal of Intelligent Systems, vol. 7, n. 8, pag. 715-742, 1992.
- Approximate Reasoning in a System Combining Prototypical Knowledge with Case-Based Reasoning}, in Fuzzy Logic for the Management of Uncertainty, pp. 377-396,L. A. Zadeh, J. Kacprzyk (eds.), John Wiley & Sons, 1992; with P. Torasso, L. Console e M. Casassa Mont.
- Abductive Diagnosis and its Application to a Mechanical Troubleshooting Problem, in Industrial Application of Knowledge Based Diagnosis, G. Guida, A. Stefanini (eds.), Elsevier Science Publ., 1992 (preliminary version in Proc. European Conference on Industrial Applications of Knowledge-Based Diagnosis, Milano, 1991); with L. Console, C. Mossino, D. Theseider Dupre' e P. Torasso.
- Model based diagnosis of system malfunction with Petri nets, in Robotics and Flexible Manufacturing Systems, pp. 417-426, S.G. Tzafestas, J.C. Gentina (eds.), Elsevier Science Publ., 1992; with L. Console.
- Diagnostic Reasoning Across Different Time Points, in Proc. 10th European Conference on Artificial Intelligence - ECAI 92, pp. 369-373, Vienna, 1992; with L. Console, D. Theseider Dupre' e P. Torasso.
- Modeling Uncertain Temporal Evolutions in Model Based Diagnosis in Proc. 8th Conference on Uncertainty in Artificial Intelligence - UAI 92, (also in Working Notes ECAI92 Workshop on Model-Based Reasoning ), pp. 244-251, Stanford, 1992.
1991
- Focusing Abductive Diagnosis, AI Communications, vol. 4 n. 2/3, pp. 88-97, 1991 (also in Proc. 11th Int. Work. on Expert Systems and their Applications (Conference on Second Generation Expert Systems), pp. 231-242, Avignon, 1991); with L.Console e D. Theseider Dupre'.
- Using Petri Nets in Diagnostic Reasoning, in Proc. 13th World Congress on Computation and Applied Mathematics - IMACS '91, pp. 1400-1402, Dublin, 1991; with L. Console.
- Generalization Handling in a Dynamic Case Memory, in Proc. 6th International Symposium of Methodologies for Intelligent Systems - ISMIS 91, Charlotte, Lectures Notes in Artificial Intelligence 542, pp. 72-81, Springer Verlag, 1991.