Publications

Important notice

This page is permanently under construction. Please send me an e-mail if you want to receive a specific paper.

PhD Thesis

Petri Net Models for Diagnostic Knowledge Representation and Reasoning, University of Torino (Italy), 1993.

2012

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; with Daniele Codetta Raiteri, A. Guiotto, Y. Yushtein.
Evaluation of anomaly and failure scenarios involving an exploration rover: a Bayesian Network approach. submitted to iSAIRAS 2012, Intern. Symposium on Artificial Intelligence, Robotics and Automation in Space, 4-6 Sept. 2012, Torino (Italy)
Innovative Fault Detection, Identification and Recovery in Autonomous Spacecrafts, submitted to Proc. of AIAA Infotech@Aerospace Conference 2012, Garden Groove, CA, 2012. with 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; with Daniele Codetta Raiteri, A. Guiotto, S. Di Nolfo, Y. Yushtein.
Supporting flexible, efficient and user-interpretable retrieval of similar time series, in IEEE Transactions on Knowledge and Data Engineering, accepted for publication, 2012; with S. Montani, A. Bottrighi, G. Leonardi, P. Terenziani.
Bayesian Belief Networks in Reliability, tutorial presented at 58th Annual Reliability and Maintainability Symposium, RAMS 2012, Reno, NV, 2012.

2011

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.
A dynamic Bayesian network based framework to evaluate cascading effects in a power grid. Engineering Applications of Artificial Intelligence (to appear), 2011. with D. Codetta Raiteri, A. Bobbio, S. Montani.

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.

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.

Luigi Portinale: papers