| 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 |
