2008 | ||
---|---|---|
58 | EE | Francesca Carmagnola, Federica Cena, Luca Console, Omar Cortassa, Cristina Gena, Anna Goy, Ilaria Torre, Andrea Toso, Fabiana Vernero: Tag-based user modeling for social multi-device adaptive guides. User Model. User-Adapt. Interact. 18(5): 497-538 (2008) |
2007 | ||
57 | EE | Luca Console, Claudia Picardi, Daniele Theseider Dupré: A Framework for Decentralized Qualitative Model-Based Diagnosis. IJCAI 2007: 286-291 |
56 | Francesco Buccafurri, Luca Console, Pasquale De Meo, Maria Grazia Fugini, Anna Goy, Gianluca Lax, Pasquale Lops, Stefano Modafferi, Barbara Pernici, Claudia Picardi, Domenico Redavid, Giovanni Semeraro, Domenico Ursino: Modellazione della QoS in Ambienti Web-Service con Applicazioni di Video Streaming. SEBD 2007: 298-307 | |
2006 | ||
55 | EE | Federica Cena, Luca Console, Cristina Gena, Anna Goy, Guido Levi, Sonia Modeo, Ilaria Torre: Integrating heterogeneous adaptation techniques to build a flexible and usable mobile tourist guide. AI Commun. 19(4): 369-384 (2006) |
54 | Luca Console, Pietro Torasso: Automated Diagnosis. Intelligenza Artificiale 3(1-2): 42-48 (2006) | |
2005 | ||
53 | EE | Liliana Ardissono, Luca Console, Anna Goy, Giovanna Petrone, Claudia Picardi, Marino Segnan, Daniele Theseider Dupré: Enhancing Web Services with Diagnostic Capabilities. ECOWS 2005: 182-191 |
52 | EE | Liliana Ardissono, Luca Console, Anna Goy, Giovanna Petrone, Claudia Picardi, Marino Segnan, Daniele Theseider Dupré: Advanced fault analysis in web service composition. WWW (Special interest tracks and posters) 2005: 1090-1091 |
2004 | ||
51 | Claudia Picardi, Luca Console, Frederic Berger, Jan Breeman, Tony Kanakis, Jeroen Moelands, Stephan Collas, Emmanuel Arbaretier, Nino De Domenico, Ermanno Girardelli, Oskar Dressler, Peter Struss, Benjamin Zilbermann: AUTAS: A Tool for Supporting FMECA Generation in Aeronautic Systems. ECAI 2004: 750-754 | |
50 | EE | Ilaria Amendola, Federica Cena, Luca Console, Andrea Crevola, Cristina Gena, Anna Goy, Sonia Modeo, Monica Perrero, Ilaria Torre, Andrea Toso: UbiquiTO: A Multi-device Adaptive Guide. Mobile HCI 2004: 409-414 |
49 | Rosanna Bray, Alessandro Buffo, Fulvio Cascio, Luca Console, Claudia Picardi, Marino Segnan, Daniele Theseider Dupré: SALVO: model-based systems applications in automotive industry. Intelligenza Artificiale 1(3): 13-20 (2004) | |
2003 | ||
48 | EE | Luca Console, Claudia Picardi, Daniele Theseider Dupré: Temporal Decision Trees: Model-based Diagnosis of Dynamic Systems On-Board. J. Artif. Intell. Res. (JAIR) 19: 469-512 (2003) |
47 | Luca Console, Ilaria Torre, Ilaria Lombardi, Sara Gioria, Valentina Surano: Personalized and Adaptive Services on Board a Car: An Application for Tourist Information. J. Intell. Inf. Syst. 21(3): 249-284 (2003) | |
2002 | ||
46 | EE | Luca Console, Sara Gioria, Ilaria Lombardi, Valentina Surano, Ilaria Torre: Adaptation and Personalization on Board Cars: A Framework and Its Application to Tourist Services. AH 2002: 112-121 |
45 | Claudia Picardi, Rosanna Bray, Fulvio Cascio, Luca Console, Philippe Dague, David Millet, Bernd Rehfus, Peter Struss, Christian Vallée: IDD: Integrating Diagnosis in the Design of automotive systems. ECAI 2002: 628-632 | |
44 | EE | Luca Console, Claudia Picardi, Marina Ribaudo: Process algebras for systems diagnosis. Artif. Intell. 142(1): 19-51 (2002) |
43 | EE | Luca Console, Paolo Terenziani, Daniele Theseider Dupré: Local Reasoning and Knowledge Compilation for Efficient Temporal Abduction. IEEE Trans. Knowl. Data Eng. 14(6): 1230-1248 (2002) |
2001 | ||
42 | EE | Liliana Ardissono, Anna Goy, Giovanna Petrone, Marino Segnan, Luca Console, Leonardo Lesmo, Carla Simone, Pietro Torasso: Agent Technologies for the Development of Adaptive Web Stores. AgentLink 2001: 194-213 |
41 | Luca Console, Claudia Picardi, Daniele Theseider Dupré: Temporal Decision Trees or the lazy ECU vindicated. IJCAI 2001: 545-550 | |
40 | EE | Liliana Ardissono, Luca Console, Ilaria Torre: An adaptive system for the personalized access to news. AI Commun. 14(3): 129-147 (2001) |
2000 | ||
39 | Luca Console, Claudia Picardi, Marina Ribaudo: Diagnosis and Diagnosability Analysis Using PEPA. ECAI 2000: 131-135 | |
38 | EE | Sibel Adali, Luca Console, Maria Luisa Sapino, Massimo Schenone, Paolo Terenziani: Representing and Reasoning with Temporal Constraints in Multimedia Presentations. TIME 2000: 3-12 |
1999 | ||
37 | EE | Liliana Ardissono, Luca Console, Ilaria Torre: On the Application of Personalization Techniques to News Servers on the WWW. AI*IA 1999: 261-272 |
36 | Luca Console, Oskar Dressler: Model-based Diagnosis in the Real World: Lessons Learned and Challenges Remaining. IJCAI 1999: 1393-1400 | |
35 | Fulvio Cascio, Luca Console, Marcella Guagliumi Massimo Osella, Andrea Panati, Sara Sottano, Daniele Theseider Dupré: Generating On-Board Diagnostics of Dynamic Automotive Systems Based on Qualitative Models. AI Commun. 12(1-2): 33-43 (1999) | |
34 | EE | Vittorio Brusoni, Luca Console, Paolo Terenziani, Barbara Pernici: Qualitative and Quantitative Temporal Constraints and Relational Databases: Theory, Architecture, and Applications. IEEE Trans. Knowl. Data Eng. 11(6): 948-968 (1999) |
33 | Liliana Ardissono, Anna Goy, Rosa Meo, Giovanna Petrone, Luca Console, Leonardo Lesmo, Carla Simone, Pietro Torasso: A Configurable System for the Construction of Adaptive Virtual Stores. World Wide Web 2(3): 143-159 (1999) | |
1998 | ||
32 | EE | Vittorio Brusoni, Luca Console, Paolo Terenziani, Daniele Theseider Dupré: A Spectrum of Definitions for Temporal Model-Based Diagnosis. Artif. Intell. 102(1): 39-79 (1998) |
1997 | ||
31 | Vittorio Brusoni, Luca Console, Paolo Terenziani, Daniele Theseider Dupré: An Efficient Algorithm for Temporal Abduction. AI*IA 1997: 195-206 | |
30 | EE | Vittorio Brusoni, Luca Console, Paolo Terenziani, Daniele Theseider Dupré: An Efficient Algorithm for Temporal Abduction. TIME 1997: 28-30 |
29 | Vittorio Brusoni, Luca Console, Paolo Terenziani, Barbara Pernici: Later: Managing Temporal Information Efficiently. IEEE Expert 12(4): 56-64 (1997) | |
1996 | ||
28 | Vittorio Brusoni, Luca Console, Evelina Lamma, Paola Mello, Michela Milano, Paolo Terenziani: Resource-Based vs. Task-Based Approaches for Scheduling Problems. ISMIS 1996: 325-334 | |
27 | EE | Luca Console, Luigi Portinale, Daniele Theseider Dupré: Using Compiled Knowledge to Guide and Focus Abductive Diagnosis. IEEE Trans. Knowl. Data Eng. 8(5): 690-706 (1996) |
1995 | ||
26 | Vittorio Brusoni, Luca Console, Paolo Terenziani, Barbara Pernici: Extending Temporal Relational Databases to Deal with Imprecise and Qualitative Temporal Information Temporal Databases 1995: 3-22 | |
25 | Pietro Torasso, Luca Console, Luigi Portinale, Daniele Theseider Dupré: On the Role of Abduction. ACM Comput. Surv. 27(3): 353-355 (1995) | |
24 | EE | Vittorio Brusoni, Luca Console, Paolo Terenziani: On the Computational Complexity of Querying Bounds on Differences Constraints. Artif. Intell. 74(2): 367-379 (1995) |
23 | Luca Console, Maria Luisa Sapino, Daniele Theseider Dupré: The Role of Abduction in Database View Updating. J. Intell. Inf. Syst. 4(3): 261-280 (1995) | |
1994 | ||
22 | Vittorio Brusoni, Luca Console, Barbara Pernici, Paolo Terenziani: LaTeR: A General Purpose Manager of Temporal Information. ISMIS 1994: 255-264 | |
21 | Luca Console, Gerhard Friedrich: Introduction. Ann. Math. Artif. Intell. 11(1-4): 1-10 (1994) | |
20 | Luca Console, Luigi Portinale, Daniele Theseider Dupré, Pietro Torasso: Diagnosing Tim-Varying Misbehavior: An Approach Based on Model Decomposition. Ann. Math. Artif. Intell. 11(1-4): 381-398 (1994) | |
1993 | ||
19 | Luca Console, Gerhard Friedrich, Daniele Theseider Dupré: Model-Based Diagnosis Meets Error Diagnosis in Logic Programs (Extended Abstract). AADEBUG 1993: 85-87 | |
18 | Luca Console, Gerhard Friedrich, Daniele Theseider Dupré: Model-Based Diagnosis Meets Error Diagnosis in Logic Programs. IJCAI 1993: 1494-1501 | |
17 | Luca Console, Barbara Pernici, Paolo Terenziani: LATER: Un Approccio Modulare e Stratificato per la Gestione di Informazioni Temporali in basi di dati. SEBD 1993: 299-313 | |
16 | EE | Luca Console, Pietro Torasso: Temporal constraint satisfaction on causal models. Inf. Sci. 68(1-2): 1-32 (1993) |
1992 | ||
15 | Luca Console, Luigi Portinale, Daniele Theseider Dupré, Pietro Torasso: Diagnostic Reasoning Across Different Time Points. ECAI 1992: 369-373 | |
14 | Luca Console, Daniele Theseider Dupré: Adcuctive Reasoning with Abstraction Axioms. ECAI Workshop on Knowledge Representation and Reasoning 1992: 98-112 | |
1991 | ||
13 | Luca Console, Daniele Theseider Dupré, Pietro Torasso: Towards the Integration of Different Knowledge Sources in Model-Based Diagnosis. AI*IA 1991: 177-186 | |
12 | Luca Console, Maria Luisa Sapino, Daniele Theseider Dupré: Object-Level Abduction for View Updates. DAISD 1991: 114-127 | |
11 | Luca Console, Attilio Giordana, Lorenza Saitta: Investigating the Relationships between Abduction and Inverse Resolution in Proposition Calculus. ISMIS 1991: 316-325 | |
10 | Luca Console, Luigi Portinale, Daniele Theseider Dupré: Focussing Abductive Diagnosis. AI Commun. 4(2/3): 88-97 (1991) | |
9 | Luca Console, Pietro Torasso: A spectrum of logical definitions of model-based diagnosis. Computational Intelligence 7: 133-141 (1991) | |
8 | Luca Console, Daniele Theseider Dupré, Pietro Torasso: On the Relationship between Abduction and Deduction. J. Log. Comput. 1(5): 661-690 (1991) | |
1990 | ||
7 | Luca Console, Pietro Torasso: Integrating Models of the Correct Behavior into Abductive Diagnosis. ECAI 1990: 160-166 | |
6 | Luca Console, Claudio Borlo, Alberto Casale, Pietro Torasso: Dealing With Uncertainty in a Distributed Expert System Architecture. IPMU 1990: 568-577 | |
1989 | ||
5 | Luca Console, Daniele Theseider Dupré, Pietro Torasso: A Theory of Diagnosis for Incomplete Causal Models. IJCAI 1989: 1311-1317 | |
4 | EE | Pietro Torasso, Luca Console: Approximate reasoning and prototypical knowledge. Int. J. Approx. Reasoning 3(2): 157-177 (1989) |
3 | Luca Console, Gianfranco Rossi: Using Prolog for Building Frog, a Hybrid Knowledge Representation System. New Generation Comput. 6(4): 361-388 (1989) | |
1988 | ||
2 | Luca Console, Pietro Torasso: A Logical Approach to Deal with Incomplete Causal Models in Diagnostic Problem Solving. IPMU 1988: 255-264 | |
1 | Luca Console, Anna Furno, Pietro Torasso: Dealing with Time in Diagnostic Reasoning Based on Causal Models. ISMIS 1988: 230-239 |