Publications Luca
Console
Books
[B1] L. Console, P. Torasso: Diagnostic Problem Solving: Combining Heuristic, Approximate and Causal Reasoning,Van Nostrand Reinhold, 1989.
[B2] L. Console, E. Lamma, p. Mello: Programmazione Logica e Prolog, I edizione, UTET 1991.
L. Console, E. Lamma, p. Mello, M. Milano: Programmazione Logica e Prolog, II edizione ampliata, UTET 1997.
[B3] L. Console: Introduzione all'informatica, I edizione, UTET 199
L. Console, M. Ribaudo: Introduzione all'informatica, II edizione ampliata, UTET 1997.
L. Console, M. Ribaudo, U. Avalle: Introduzione all'informatica III edizione ampliata, UTET 2004.
L. Console, M. Ribaudo, U. Avalle, F. Carmagnola, F. Cena: Introduzione all'informatica IV edizione ampliata e rivista, UTET 2010.
Edited collections
[R1] W. Hamscher, L. Console, J. de Kleer: Readings in Model-based Diagnosis, Morgan Kaufmann, 1992.
[R2] L. Console, G. Friedrich: Annals of Mathematics and Artificial Intelligence: Special Issue on Model-Based Diagnosis; Volume 11 (no. 1-4), November 1994.
[R3] L. Console: Second Int. Workshop on Principles of Diagnosis (DX-91), Editor of the proceedings.
[R4] L. Console: AI*IA Notize, periodico della Associazione Italiana per l'Intelligenza Artficiale, Numero Speciale su Problem Solving Diagnostico, Anno X, no. 3, Settembre 1997. Include un articolo introduttivo sul tema ``Problem Solving diagnostico: stato dell'arte e prospettive".
International Journals
[J1] G. Molino, C. Cravetto, L. Console, P. Torasso: CHECK: a diagnostic expert system Combining HEuristic and Causal Knowledge; in International Journal of Biomedical Measurement, Informatics and Control, vol 1 (4) 1986: pp 182-193.
[J2] L. Console, G. Rossi: Using Prolog for building FROG: a Hybrid Knowledge Representation System; in New Generation Computing, Vol. 6 (4), 1989: pp 361-388.
[J3] L. Console, P. Torasso: Approximate Reasoning and Prototypical Knowledge; in International Journal of Approximate Reasoning, Vol. 3 (2), 1989: pp 157-178.
[J4] L. Console, P. Torasso: Hypothetical Reasoning in Causal Models; in International Journal of Intelligent Systems, vol 5 (1) 1990: pp. 83-124.
[J5] L. Console, M. Fossa, P. Torasso: Acquisition of causal Knowledge in the CHECK system; in Computers and Artificial Intelligence, vol 8 (4), 1989, pp. 323-345.
[J6] L. Console, A. Janin Rivolin, P. Torasso: Fuzzy Temporal Reasoning on Causal Models; in International Journal of Intelligent Systems, vol 6 (2), 1991, pp. 107-133.
[J7] L. Console, D. Theseider Duprè, P. Torasso: On the Relationships between Abduction and Deduction; in Journal of Logic and Computation, Vol 1 (5), 1991, pp. 661-690.
[J8] L. Console, P. Torasso: Temporal Constraint Satisfaction on Causal Models, in Information Sciences, vol. 68 (1),1993, pp. 1-32.
[J9] L. Console, P. Torasso: A Spectrum of Logical Definitions of Model-based Diagnosis; in Computational Intelligence, vol 7 (3), 1991, pp. 133-141. Also in in Readings in Model-based Diagnosis, (eds. W. Hamscher, L. Console, J. de Kleer). Morgan Kaufmann, 1992, pp. 78-88.
[J10] L. Console, P. Torasso: On the co-operation between abductive and temporal reasoning in medical diagnosis, in Artificial Intelligence in Medicine, vol 3 (6), 1991, pp. 291-311.
[J11] L. Console, L. Portinale, D. Theseider Duprè, P. Torasso: Focusing Abductive Diagnosis; in AI Communications, vol. 4, no 2-3, 1991, pp. 88-97.
[J12] L. Console, P. Torasso: An Approach to the Compilation of Operational Knowledge from Causal Models; in IEEE Transactions on Systems Man and Cybernetics, vol. 22 (4), 1992, pp. 772-789.
[J13] L. Console, F. Molino, G. Molino, P. Torasso: LIED: Liver Information, Education and Diagnosis; in Methods of Information in Medicine, vol 31(4), 1992, pp. 1233-1244.
[J14] L. Console, M.L. Sapino, D. Theseider Duprè: The role of abduction in databse view updating; in Journal of Intelligent Information Systems, vol. 4, 1995, pp. 261-280.
[J15] L. Console, L. Portinale, D. Theseider Duprè, P. Torasso: Diagnosing Time-Varying Misbehavior: an Approach Based on Model Decomposition; in Annals of Mathematics and Artificial Intelligence, vol 11 (1-4), 1994, pp. 381-398.
[J16] L. Console, G. Friedrich: Model-Based diagnosis; An introductory overview; in Annals of Mathematics and Artificial Intelligence, vol 11 (1-4), 1994, pp. 1-10.
[J17] V. Brusoni, L. Console, P. Terenziani: On the computational complexity of querying bounds on differences constraints; in Artificial Intelligence, vol. 74 (2), 1995, pp. 367-379.
[J18] L. Console, L. Portinale, D. Theseider Duprè: Using compiled knowledge to guide and focus abductive diagnosis;in IEEE Transactions on Knowledge and Data Engineering, vol 8(5), 1996, pp. 690 -706. 1996.
[J19] L. Console, L. Portinale, D. Theseider Duprè, P. Torasso: On the role of abduction; in ACM Computing Surveys, vol. 33 no. 3, 1995, pp. 353-356.
[J20] V. Brusoni, L. Console, B. Pernici, P. Terenziani: LaTeR: an efficient, general purpose manager of temporal information; in IEEE Expert, Vol. 12, no. 4, August 1997, pp. 56-64.
[J21] V. Brusoni, L. Console, B. Pernici, P. Terenziani: Qualitative and Quantitative Temporal Constraints and Relational Databases: Theory, Architecture, and Applications; in IEEE Transactions on Knowledge and Data Engineering, Vol 11, no. 6, 1999: pp. 948-968.
[J22] L. Console, D. Theseider Duprè, P. Terenziani: A Spectrum of definitions for temporal model-based diagnosis; in Artificial Intelligence, Vol 102, no 1, June 1998, pp 39-79.
[J23] F. Cascio, L. Console, M Guagliumi, M. Osella, A. Panati, D. Theseider DuprèGenerating on-board diagnostics of dynamic automotive systems based on qualitative models; in AI Communications, Vol. 12, no. 1-2, June 1999, pp. 33-44.
[J24] L. Ardissono, L. Console, A. Goy, R. Meo, G. Petrone, L. Lesmo, C. Simone, P. Torasso A configurable system for the construction of adaptive virtual stores; in World Wide Web Journal, Vol. 2, no. 2, May 1999, pp. 143-159.
[J25] L. Console, P. Terenziani: Efficient processing of queries about qualitative and quantitative temporal constraints; in Computational Intelligence, vol 15, no. 4, 1999.
[J26] L. Ardissono, L. Console, I Torre: An adaptive system for the personalized access to news, AI Communications, Vol 14, no. 3, 2001: pp. 129-147.
[J27] L. Console, D. Theseider Duprè, P. Terenziani: Local reasoning and knowledge compilation for efficient temporal abduction; in IEEE Transactions on Knowledge and Data Engineering, Vol. 14, No. 6, 2002, pp. 1230-1248.
[J28] L. Console, C. Picardi, M. Ribaudo: Process algebras for systems diagnosis, in Artificial Intelligence, vol 142 no. 1, 2002, pp. 19-51.
[J29] L. Console, I. Torre, I. Lombardi, S. Gioria, V. Surano: Personalized and Adaptive services on board a car - An application for tourist information: Journal of Intelligent Information Systems, Vol 21, No 2, 2003, pp 249-284.
[J30] L. Console, C. Picardi, D. Theseider Duprè: Temporal Decision Trees: Model-based Diagnosis of Dynamic Systems On-Board, Int Journal of Artificial Intelligence Research, vol 19, 2003, pp 469-512.
[J31] F. Cena, L. Console, C. Gena, A. Goy, S. Modeo, I. Torre: Integrating heterogeneous adaptation techniques to build a flexible and usable mobile tourist guide, in AI Communications, Vol 19(4), 2006, pp 369-384.
[J32] L. Console, M.G. Fugini, and the WS-Diamond Team. WS-DIAMOND: an Approach to Web Services – DIAgnosability, MONitoring and Diagnosis. ERCIM (European Research Consortium for Informatics and Mathematics), News 70, Special Theme: "Service-Oriented Computing", July 2007
[J33] F. Carmagnola, F. Cena, L. Console, O. Cortassa, C. Gena, A. Goy, I. Torre, A. Toso, F. Vernero: Tag-based User Modeling for Social Multi-Device Adaptive Guides UMUAI User Modeling and User-Adapted Interaction, Special Issue on Personalizing Cutural Heritage Exploration
Vol. 18, Issue 3, May 2008, pp 478-506
[J34] D. Cardillo, A. Rapp, S. Benini, L. Console, R. Simeoni, E. Guercio, R. Leonardi: The Art of Video Mashup, Multimedia Tools and Applications, pp 6-29, 2010.
[J35] I. Lombardi, L. Console, P. Pavese, Flexible Rule-based Inference Exploiting Taxonomies, in Journal of Intelligent Information Systems, 2010.
Chapters in International Book
[BC1] L. Console, P. Torasso: Heuristic and Causal Reasoning in CHECK; in Artificial Intelligence in Scientific Computing: Towards Second Generation Systems; eds. J.M.David, R.Huber, J.P.Krivine, C.A.Kulikowski, (Vol. 2 of Imacs Transactions of Scientific Computing 88), pp. 155-164, Baltzer Pub. Co. 1989.
[BC2] L. Console, L. Portinale: Model based diagnosis of system malfunction with Petri nets; in Robotics and flexible manufacturing systems, (ed. S. Tsafestas, J. Gentina), North Holland, 1992.
[BC3] L. Console, L. Portinale, P. Torasso, M. Casassa Mont: Approximate Reasoning in a System Combining Prototypical Knowledge with Case-based Reasoning; in Fuzzy Logic for the management of Uncertainty, (eds. I. Kaprzyk, L. Zadeh), John Wiley, 1992, pp. 377-396.
[BC4] L. Console, L. Portinale, D. Theseider Duprè, P. Torasso, Combining Heuristic Reasoning with Causal Reasoning in Diagnostic Problem Solving; in Second Generation Expert Systems, (eds. J.M. David, J.P. Krivine and R. Simmons), Springer Verlag 1992.
[BC5] L. Console, L. Portinale, D. Theseider Duprè, P. Torasso, C. Mossino: Abductive Diagnosis and its Application to a Mechanical Troubleshooting Problem"; in Industrial Application of Knowledge-based Diagnosis, (eds. G. Guida, A. Stefanini), Elsevier 1992, pp. 265-288.
[BC6] L. Console, D. Theseider Duprè: Abductive Reasoning with Abstraction Axioms; in Foundations of Knowledge Representation and Reasoning, (G. Lakemayer, B. Nebel eds.), Lecture Notes in Computer Science 810, Springer Verlag, 1994, pp. 98-112.
[BC7] L. Console, G. Molino e P. Torasso: Some new Challenges for Artificial Intelligence in Medicine; in Knowledge and Decisions in Health Telematics: The next Decade, (P. Barahona, J.P. Christensen Eds.), IOS Press, 1994, pp.115-120.
[BC8] V. Brusoni, L. Console, B. Pernici, P. Terenziani: Extending Temporal Relational Databases to Deal with Imprecise and Qualitative Temporal Information; in Recent Advances in Temporal Databases (J. Clifford, A. Tuzhilin Eds.), Springer Verlag 1995.
[BC9] L. Console, L. Saitta: On the Relations between Abductive and Inductive Explanation; in Topics in Abduction and Induction (P. Flach, A Kakas Eds.), Kluwer Academic Press, 1998.
[BC10] L. Console et al.: WS-DIAMOND: Web Services Diagnosis, Diagnosability and Design, in: At your service: Service-Oriented Computing from an EU perspective (E. Di. Nitto, A-M. Sassen, P. Traverso, and A. Zwegers Eds.), MIT Press 2009, pp. 213-239.
Papers in Books with selections from International Conferences
[L1] L. Console, G. Rossi: Implementing Inference Strategies in Prolog based Expert Systems; in Cybernetics and System Research 1986, ed. R. Trappl, Reidel Pub. Co. 1986, pp. 767-774.
[L2] L. Console, M. Fossa, P. Torasso, G. Molino, C. Cavetto: Man-Machine Interaction in CHECK; in AIME 87, eds. J.Fox, M.Fieschi, R.Engelbrecht, Lecture Notes in Medical Informatics 33, Springer Verlag (1987), pp 205-212.
[L3] L. Console, G. Rossi: FROG: A Prolog-based system for Prolog-based Knowledge Representation; in Artificial Intelligence and Information Control Systems of Robots, ed. I. Plander, North Holland (1987), pp. 179-184.
[L4] L. Console, M. Fossa, P. Torasso: Knowledge Acquisition via a graphical Interface; in Artificial Intelligence and Information Control Systems of Robots, ed. I. Plander, North Holland (1987), pp. 173-178.
[L5] L. Console, P. Torasso: A Logical Approach to deal with Incomplete Causal Models in Diagnostic Problem Solving; in Lecture Notes in Computer Science 313, Springer Verlag 1988, pp 255-264.
[L6] L. Console, P. Torasso, G. Molino, C. Cavetto: Generating Causal Explanations on Simulated Situations; in Medical Informatics 88, British Computer Society 1988, pp.1-7.
[L7] L. Console, P. Torasso: A Multi-Level Architecture for Diagnostic Problem Solving; in Computational Intelligence, (eds. A.Martelli, G.Valle), North Holland 1988, pp. 101-112.
[L8] L. Console, A. Furno, P. Torasso: Dealing with Time in Diagnostic Reasoning based on Causal Models; in Methodologies for Intelligent Systems 3, (eds. Z. Ras, L. Saitta), North Holland 1988, pp. 230-239.
[L9] L. Console, con G. Molino, R. Pavia, M. Signorelli, P. Torasso: Simulating Generic Situations on Causal Models; in AIME 89, eds. J. Hunter, R. Cookson, J. Wyatt, Lecture Notes in Medical Informatics 38, Springer Verlag 1989, pp. 177-186.
[L10] L. Console, D. Theseider Duprè, P. Torasso: Abductive Reasoning through direct deduction from completed domain models; in Methodologies for Intelligent Systems IV, (ed. Z. Ras), North Holland 1989, pp. 175-182.
[L11] L. Console, R. Conto, G. Molino, V. Ripa di Meana e P. Torasso: CAP: A Critiquing Expert System for Medical Education; in AIME 91 (ed. L. Talmon), Lecture Notes in Medical Informatics, Springer Verlag 1991.
[L12] L. Console, A. Giordana, L. Saitta: Investigating the Relationships between Abduction and Inverse Resolution in Propositional Calculus; in Methodologies for Intelligent Systems 6, (Z. Ras, M. Zemankova eds.) Lecture Notes in Computer Science 542, Springer Verlag 1991, pp. 316-325.
[L13] L. Console, D. Theseider Duprè, P. Torasso: Towards the Integration of Different Knowledge Sources in Model-Based Diagnosis; in Lecture Notes in Computer Science 549, Springer Verlag 1991, pp. 177-186.
[L14] C. Borlo, A. Casale, L. Console, P. Torasso: Dealing With Uncertainty in a Distributed Expert System Architecture; in Uncertainty in Knowledge Bases, Lecture Notes in Computer Science 521, Springer Verlag 1991, pp. 568-577.
[L15] V. Brusoni, L. Console, B. Pernici, P. Terenziani: LaTeR: a general purpose manager of temporal information; in Methodologies for Intelligent Systems 8, Lecture Notes in Computer Science 869, Springer Verlag, 1994, pp. 255-264.
[L16] V. Brusoni, L. Console, E. Lamma, P. Mello, M. Milano, P. Terenziani: Resource-based vs. task-based approach for scheduling problems; in Methodologies for Intelligent Systems 9, Lecture Notes in Computer Science 1079, Springer Verlag, 1996.
[L17] V. Brusoni, L. Console, D. Theseider Duprè, P. Terenziani An efficient algorithm for temporal abduction, in Lecture Notes in Computer Science 1321 Springer Verlag, 1997, pp. 195-206.
[L18] L. Ardissono, L. Console, I. Torre: On the application of personalization techniques to news servers on the WWW, Lecture Notes in Computer Science, 1999.
[L19] L. Console, I. Torre, I. Lombardi, S. Gioria, V. Surano: Adaptation and personalization on-board cars: a framework and its application to tourist services; in Adaptive Hypermedia 2002, Lecture Notes in Computer Science 2347, 2002.
[L20] I. Amendola, F. Cena, L. Console, A. Crevola, C. Gena, A. Goy, S. Modeo, M. Perrero, I. Torre, A. Toso: UbiquiTO, A Multi device Adaptive Guide, in Proc. Mobile HCI 2004, Lecture Notes in Computer Science 3160, pp. 409-414.
[L21] L. Ardissono, S. Bocconi, L. Console, R. Furnari, A. Goy, G. Petrone, C. Picardi, M. Segnan and D. Theseider Dupre’. Enhancing Web Service Composition by Means of Diagnosis. Proc. of 1st International Workshop on QoS in Self-healing Web Services (QSWS-08). Milano, September 1st, 2008. To appear in LNCS.
[L22] I. Lombardi, L. Console: Common Sense Rule Inference, in AI*IA 2009: Emergent Perspectives in Artificial Intelligence, Lecture Notes in Computer Science 5883, Springer, 2009, pp. 21-30
Papers at International Conferences
[C1] P. Torasso, L. Console: Knowledge organization and approximate reasoning in medical diagnostic expert systems; in Proc. 3rd Int. Conf. on System Research, Informatics and Cybernetics, Baden-Baden 1986.
[C2] L. Console, P. Torasso: Causal Reasoning in Diagnostic Expert Systems; in Proc V Int. Conf. on Application of Artificial Intelligence, Orlando, Florida, May 1987, pp 598-605.
[C3] L. Console, P. Torasso: Approximate Reasoning and Prototypical Knowledge; in Proc. Second IFSA Congress, Tokyo 1987, pp. 686-689.
[C4] L. Console, P. Torasso: Heuristic and Causal Reasoning in Medical Diagnosis; in Proc. AAAI Symposium on Artificial Intelligence in Medicine, Stanford University, March 1988, pp. 16-17.
[C5] L. Console, P. Torasso: Heuristic and Causal Reasoning in CHECK; in Proc. 12th IMACS World Conference on Scientific Computation 88, Paris, July 1988, pp. 283-286.
[C6] L. Console, D. Theseider Duprè, P. Torasso: A Theory of Diagnosis for Incomplete Causal Models; in Proc. 11th International Joint Conference on Artificial Intelligence (IJCAI), Detroit, USA, Morgan Kaufmann, August 1989, pp. 1311-1317.
[C7] L. Console, A. Janin Rivolin, D. Theseider Duprè, P. Torasso: Integration of Causal and Temporal Reasoning in Diagnostic Problem Solving; in Proc. 9th International Workshop on Expert Systems and their Application - Specialized Conference on Second Generation Expert Systems; Avignon, France, June 1989, pp. 309-323.
[C8] L. Console, A. Janin Rivolin, P. Torasso:Fuzzy Temporal Reasoning on Causal Models; in Proc. Third IFSA Congress, Seattle, August 1989, pp. 813-816.
[C9] L. Console, G. Molino, P. Terenziani, P. Torasso: Man-Machine Interaction in Deep Diagnostic Systems; in Proc. 11th IEEE EMBS International Conference, Seattle, November 1989, 1849-1850.
[C10] L. Console, G. Molino, P. Torasso: Causal Expert Systems supporting Medical Decision Making and Medical Education: Explanations Based on Simulated Situations; in Proc. 11th IEEE EMBS International Conference, Seattle, November 1989, pp. 1827-1828.
[C11] L. Console, D. Theseider Duprè, P. Torasso: A Completion Semantics for Object-level Abduction; in Proc. AAAI Symposium on Automated Abduction, Stanford University, March 1990, pp. 72-76.
[C12] L. Console, P. Torasso: n Approach to Diagnosis on causal-Temporal Models; in Proc. AAAI Symposium on Artificial Intelligence in Medicine, Stanford University, March 1990, pp. 37-41.
[C13] C. Borlo, A. Casale, L. Console, P. Torasso: Dealing With Uncertainty in a Distributed Expert System Architecture; in Proc. Third IPMU Conference, Paris, 1990, pp. 43-45.
[C14] L. Console, P. Torasso: Integrating models of the correct Behavior into abductive diagnosis; in Proc. 9th European Conference on Arificial Intelligence (ECAI), Stockholm, August 1990, pp. 160-166. Winner of Best paper award.
[C15] L. Console, D. Theseider Duprè, P. Torasso: Introducing Test Theory into Abductive Diagnosis; in Proc. 10th International Workshop on Expert Systems and their Application - Specialized Conference on Second Generation Expert Systems; Avignon, France, May 1990, pp. 111-124.
[C16] L. Console, G. Molino, V. Ripa di Meana, P. Torasso: Evaluating clinical competence by Artificial Intelligence Methods; in Proc. 12th IEEE EMBS International Conference, Philadelphia, November 1990.
[C17] L. Console, L. Portinale, D. Theseider Duprè: Focusing Abductive Diagnosis; in Proc. 11th International Conference on Expert Systems and their Applications - Specialized Conference on Second Generation Expert Systems; Avignon, France, May 1991, pp. 231-242. Winner of Best Paper Award.
[C18] L. Console, L. Portinale: Using Petri Nets in Diagnostic Reasoning; in Proc. 13th IMACS World Conference on Scientific Computation. Dublino, Luglio 1991.
[C19] L. Console, P. Terenziani e M.L. Sapino: Dealing with Uncertain Temporal Information in the Interval Algebra; in Proc. Fourth IPMU Conference, Palma de Mallorca, 1992, pp. 521-524.
[C20] L. Console, L. Portinale, D. Theseider Duprè, P. Torasso: Diagnostic reasoning across different time points; in Proc. 10th European Conference on Arificial Intelligence (ECAI), Vienna, August 1992, pp. 369-373.
[C21] L. Console, G. Molino, F. Molino, P. Torasso, L. Ardissono: Computer Assisted Development of Diagnostic Expert Systems: A Domain Independent Package (EMPTY) for the Acquisition and Use of Expert's Medical Knowledge; in Proc. IEEE Symposium on Computer Application in Medical Care (IEEE-SCAMC-92), Baltimora, November 1992, pp. 344-348.
[C22] L. Console, G. Friedrich e D. Theseider Duprè: Model-based Diagnosis Meets Error Diagnosis in Logic Programs; in Proc. 13th International Joint Conference on Artificial Intelligence (IJCAI), Chambery, France, Morgan Kaufmann, August 1993, pp. 1494-1499.
[C23] L. Console, B. Pernici e P. Terenziani: Towards the development of a general temporal manager for Temporal Databases: A layered and modular approach; in Infrastructures for Temporal Databases 93, (Snodgrass ed.), Arlington, Texas, 1993.
[C24] V. Brusoni, L. Console, B. Pernici, P. Terenziani Answering queries efficiently in heterogeneous temporal knowledge bases; in Proc. Workshop on Algorithms, complexity and commonsense reasoning, Amsterdam, 1994.
[C25] V. Brusoni, L. Console, B. Pernici e P. Terenziani: Dealing with time in knowledge-based systems: a loosely-coupled approach; in Proc. Flairs 95 (J.H. Stewman Ed.), Melbourne FL, 1995, pp. 162-166.
[C26] V. Brusoni, L. Console, B. Pernici e P. Terenziani: Efficient query answering in LaTeR; in Proc. TIME-95 (S.D. Goodwin and H.J. Hamilton Ed.), 1995, pp. 121-128.
[C27] V. Brusoni, L. Console, B. Pernici e P. Terenziani: Characterizing Temporal Abductive Diagnosis; in Proc. 6th Int. Workshop on Principles of Diagnosis, Goslar, Germany, pp. 34-40.
[C28] V. Brusoni, L. Console, D. Theseider Duprè e P. Terenziani: An efficient algorithm for computing temporal abductive diagnoses; in Proc. 6th Int. Workshop on Principles of Diagnosis, Goslar, Germany, pp. 41-48.
[C29] V. Brusoni, L. Console, D. Theseider Duprè e P. Terenziani: A spectrum of definitions for temporal model based diagnosis. in Proc. 7th Int. Workshop on Principles of Diagnosis, val Morin, Canada, pp. 44-52.
[C30] V. Brusoni, L. Console, D. Theseider Duprè e P. Terenziani Temporal Model-Based Diagnosis: An Overview from an Abductive Perspective, in Proc. IEEE-SMC Computer Engineering in Systems Applications Conference, pp 326-331.
[C31] L. Console, R. Meo e D. Theseider Duprè: On the automatic synthesis of functional dependency graphs from libraries of component models, in Proc. 13th International Conference on Applications of Artificial Intelligence in Engineering, Galway, Irlanda, June 1998. Preliminary version in Proc. 8th Int. Workshop on Principles of Diagnosis, Mont S. Michel, France, 1997, pp. 19-26.
[C32] L. Console, D. Theseider Duprè: On the dimensions of temporal model-based diagnosis, in Proc. 9th Int. Workshop on Principles of Diagnosis, Boston, MA 1998.
[C33] L. Console, O. Dressler: Model-based Diagnosis in the Real World: lessons learned and challenges remaining, in Proc. 16th International Joint Conference on Artificial Intelligence (IJCAI), Stoccolma, Svezia, 1999, pp. 1393-1400.
[C34] F. Cascio, L. Console, M. Guagliumi, M. Osella, A. Panati, S. Sottano, D. Theseider DuprèModel-based diagnosis in automotive domains, in Proc. 10th Int. Workshop on Principles of Diagnosis, Loch Awe, Scotland, 1999.
[C35] L. Ardissono, L. Console, I. Torre: Exploiting user models for personalizing news presentations, in Proc. Second Int. Workshop on User Modeling and the WWW, Banff, Canada, Giugno 1999.
[C36] L. Console, C. Picardi, M. Ribaudo: Diagnosis and Diagnosability Analysis Using PEPA, in Proc. 14th European Conference on Artificial Intelligence (ECAI) 2000, Berlin, 2000, pp. 131-135.
[C37] L. Console, C. Picardi and M. Ribaudo. Diagnosis and Diagnosability Analysis using Process Algebras. Proc 11th International Workshop on the Principles of Diagnosis, DX00, Morelia, Mexico, June 8-10 2000.
[C38] L. Console, C. Picardi, D. Theseide Duprè: Temporal Decision Trees or the lazy ECU vindicated, in Proc. 17th International Joint Conference on Artificial Intelligence (IJCAI), Seattle, 2001, pp. 545-550.
[C39] L. Console, I. Torre, M. Guagliumi, M. Salvoni, L. Tonelli, R. Montanari MASTROcarONTE, a Multiagent Adaptive System for Tourist Recommendations Onboard the car, which Observes the Needs and Tailors the helps, in Proc IJCAI Workshop on AI in Mobile Systems, Seattle, 2001.
[C40] C. Picardi, L. Console, F. Cascio, R. Bray, P. Dague, O. Dressler, D. Millet, B. Rehfus, P. Struss Integrating Diagnosis and Design, in Proc. 15th European Conference on Artificial Intelligence (ECAI) 2002, Lyon, 2002.
[C41] L. Console, G. Correndo, C. Picardi: Deriving qualitative relations from Matlab(tm) models, in Proc. 14th International Workshop on Principles of diagnosis (DX03), Washington DC, 2003.
[C42] C. Gena, I. Torre, L. Console: Evaluation of an on-vehicle adaptive tourist service in Proc UM Workshop on Evaluation, Pittsburgh 2003.
[C43] L. Console, C. Gena, I. Torre: Personalization and adaptation for on-board information systems: a prototype and its evaluation, in Proc. HAAMAHA International Conference 2003, 2003, pp. 543-550.
[C44] L. Console, G. Correndo, C. Picardi, M. Segnan, R. Bray, A. Buffo, F. Cascio, P. Marchesini: Tools for integrating diagnosis in the design process: An applicationto the Common Rail air and fuel delivery systems; in Proc. 4th International. in Conference on Control and Diagnostics in Automotive Applications, 2003.
[C45] L. Console, C. Picardi, D. Theseider Duprè: Model Synthesis for Model-Based Fault Analysis, in Proc. 15th International Workshop on Principles of diagnosis (DX04), Carcassonne, France, 2004.
[C46] C. Picardi, L. Console, F. Berger, J. Breeman, T. Kanakis, J. Moelands, S. Collas, E. Arbaretier, N. De Domenico, E. Girardelli, O. Dressler, P. Struss, B. Zilbermann AUTAS: a tool for supporting FMECA generation in aeronautic systems , in Proc. 16th European Conference on Artificial Intelligence (ECAI) 2004, Valencia, 2004.
[C47] L. Ardissono, L. Console, A. Goy, G. Petrone, C. Picardi, M. Segnan and D. Theseider Duprè
Advanced Fault Analysis in Web Service Composition. WWW 2005, 14th World Wide Web Conference, pp. 1090-1091, Chiba, Japan, ACM, 2005.
[C48] L. Ardissono, L. Console, A. Goy, G. Petrone, C. Picardi, M. Segnan, D. Theseider Dupré. Enhancing Web Services with Diagnostic Capabilities. ECOWS 2005 - 3rd IEEE European Conference on Web Services, Vaxjo, Sweden, November 14-16, 2005.
[C49] L. Ardissono, L. Console, A. Goy, G. Petrone, C. Picardi, M. Segnan, D. Theseider Dupré. Towards self-diagnosing Web Services, IFIP/IEEE International Workshop on Self-Managed Systems & Services (SELFMAN 2005), Nice, France, May 2005.
[C50] L. Ardissono, L. Console, A. Goy, G. Petrone, C. Picardi, M. Segnan, D. Theseider Dupré.
Cooperative Model-Based Diagnosis of Web Services. Sixteenth International Workshop on the Principles of Diagnosis, DX05, Pacific Grove, California (USA), June 1-3, 2005.
[C51] L. Console, C. Picardi, D. Theseider Dupre’. Modelling Web Services for Diagnosis. In: Third Workshop on Model-Based Systems. MBS-06, all'interno di ECAI06, European Conference on Artificial Intelligence. Riva del Garda, Italia, Agosto 2006..
[C52] L. Console, C. Picardi, D. Theseider Duprè : A Framework for Decentralized Qualitative Model-based Diagnosis, Proc. 20th Proc. 17th International Joint Conference on Artificial Intelligence (IJCAI), Hyderabad, India, 2007, pp. 286-291. Preliminary version in 17th International Workshop on the Principles of Diagnosis, DX06, Penaranda de Duero, Spain, June 2006.
[C53] L. Console et al.: The WS-DIAMOND Project, in 18th International Workshop on the Principles of Diagnosis, DX07, Nashville, USA, May 2007
[C54] L. Console, R. Simeoni, F. Carmagnola, F. Cena, O. Cortassa, M. Persero, F.Vernero: iDYNamicTV: Web 2.0 and adaptation for a new television experience. Proc UXTV’08 (First International Conference on Designining Interactive Experience for Televizion and Video, Mountain View, CA, October 2008.
[C55] L. Ardissono, S. Bocconi, L. Console, R.Furnari, A. Goy, G. Petrone, C., Picardi, M. Segna, D. Thesider Dupre’: Enhancing Web Service Composition by Means of DiagnosisProc. BPM Workshop, 2008: pp. 468-479
[C56] A.Rapp, D. Cardillo, R. Simeoni, L. Console: Being a self-director: enhance user creativity with a video mash up tool. Proc. Int Conf Advances in Computer Entertainment Technology 2009: 358-361
[C57] F. Carmagnola, F. Cena, L. Console. P. Grillo, F. Vernero, R. Simeoni, M. Perrero: iDYNamicTV: a social adaptive television experience., Proc. Hypertext 2009, 2009, pp.375-376
Papers in National Journals
[I1] L. Console, L. Lesmo e P. Torasso: Interfacce flessibili e cooperative per sistemi esperti in medicina; in Medicina e Informatica, vol 5 (2) 1988: pp 72-76.
[I2] L. Console, P. Torasso: Formalismi Logici e Ragionamento Diagnostico; in Sistemi Intelligenti, vol 3 (1), 1991: pp 95-112.
[I3] L. Console, C. Picardi, D. Theseider Duprè, R. Bray, F. Cascio, A. Buffo, M. Segnan SALVO: Model-based Systems applications in automotive industry; in Intelligenza Artificiale, vol 1 (3), 2004.
[I4] L. Console, P. Torasso: Automated Diagnosis. Intelligenza Artificiale vol. 3(1-2): 42-48 (2006)
Papers at National Conferences
[N1] L. Console, A. Martelli, G. Rossi: Tecniche per l'uso del Prolog nella realizzazione di Sistemi Esperti; in Atti 1 Conferenza Nazionale sulla Programmazione Logica; Genova 1986, pp. 160-166.
[N2] L. Console, G. Rossi: Preprocessing flessibile e rappresentazione della conoscenza in Prolog; in Atti 2 Conferenza Nazionale sulla Programmazione Logica; Torino 1987: pp 45-54.
[N3] L. Console, P. Torasso: Modelli semantici per la rappresentazione della conoscenza medica; in La strutturazione del sapere biomedico, eds. C. Cobelli, M. Stefanelli, V. Tagliasco, Patron 1988, pp. 76-87.
[N4] L. Console, D. Theseider Duprè: "Verso una Teoria del Ragionamento Diagnostico integrata nella programmazione Logica"; in Atti 4 Conferenza Nazionale sulla Programmazione Logica; Bologna, 1989, pp. 99-113.
[N5] L. Console, D. Theseider Duprè, P. Torasso: Usi multipli della conoscenza profonda: un'esperienza con modelli causali; in Atti Primo Convegno nazionale AI*IA, Trento, Novembre 1989, pp. 148-157.
[N6] L. Console, D. Theseider Duprè: The Completion Approach to Abduction and its application to Classification in Taxonomic Hierarchies; in Atti 6 Conferenza Nazionale sulla Programmazione Logica; Pisa, Giugno 1991, pp. 15-27.
[N7] L. Console, B. Pernici, P. Terenziani: LATER: un approccio modulare e strtificato per la gestione di informazioni temporali in basi di dati; in SEBD 93: Sistemi Evoluti per basi di dati, Gizzeria 1993, Mediterranean Press, pp. 299-313.
[N8] L. Console: Basi di dati sanitarie temporali; in I sistemi informativi sanitari (F. Pinciroli, M. Stefanelli Eds.), Patron, 1996, pp. 25-34.
[N9] L. Ardisono, L. Console, I. Torre: Ipermedia adattativi per l'accesso a informazioni in rete; in Atti Congresso AICA 1999, Abano Terme (PD), Settembre 1999.
[N10] F. Buccafurri, L. Console, P. De Meo, M.G. Fugini, A. Goy, G. Lax, P. Lops, S. Modafferi, B. Pernici, C. Picardi, D. Redavid, G. Semeraro, D. Ursino: Modellazione della QoS in Ambienti Web-Service con Applicazioni di Video Streaming. SEBD 2007: 298-307
