 | 2008 |
|---|
| 32 |       | Liliana Ardissono,
Stefano Bocconi,
Luca Console,
Roberto Furnari,
Anna Goy,
Giovanna Petrone,
Claudia Picardi,
Marino Segnan,
Daniele Theseider Dupré:
Enhancing Web Service Composition by Means of Diagnosis.
Business Process Management Workshops 2008: 468-479 |
| 31 | | Gianluca Torta,
Daniele Theseider Dupré,
Luca Anselma:
Cost-sensitive Iterative Abductive Reasoning with abstractions.
ECAI 2008: 803-804 |
| 2007 |
|---|
| 30 | | Stefano Bocconi,
Claudia Picardi,
Xavier Pucel,
Daniele Theseider Dupré,
Louise Travé-Massuyès:
Model-Based Diagnosability Analysis for Web Services.
AI*IA 2007: 24-35 |
| 29 | | Luca Console,
Claudia Picardi,
Daniele Theseider Dupré:
A Framework for Decentralized Qualitative Model-Based Diagnosis.
IJCAI 2007: 286-291 |
| 2005 |
|---|
| 28 | | 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 |
| 27 | | 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 |
|---|
| 26 |  | 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 |
|---|
| 25 | | 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) |
| 2002 |
|---|
| 24 | | 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 |
|---|
| 23 | | Andrea Panati,
Daniele Theseider Dupré:
Causal Simulation and Diagnosis of Dynamic Systems.
AI*IA 2001: 135-146 |
| 22 | | Luca Console,
Claudia Picardi,
Daniele Theseider Dupré:
Temporal Decision Trees or the lazy ECU vindicated.
IJCAI 2001: 545-550 |
| 2000 |
|---|
| 21 | | Andrea Panati,
Daniele Theseider Dupré:
State-based vs Simulation-based Diagnosis of Dynamic Systems.
ECAI 2000: 176-180 |
| 20 | | Daniele Theseider Dupré:
Abductive and Consistency-Based Diagnosis Revisited: a Modeling Perspective
CoRR cs.AI/0003016: (2000) |
| 1999 |
|---|
| 19 | | 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) |
| 1998 |
|---|
| 18 | | 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) |
| 17 | | Marc Denecker,
Daniele Theseider Dupré,
Kristof Van Belleghem:
An Inductive Definition Approach to Ramifications.
Electron. Trans. Artif. Intell. 2: 25-67 (1998) |
| 1997 |
|---|
| 16 | | Vittorio Brusoni,
Luca Console,
Paolo Terenziani,
Daniele Theseider Dupré:
An Efficient Algorithm for Temporal Abduction.
AI*IA 1997: 195-206 |
| 15 | | Vittorio Brusoni,
Luca Console,
Paolo Terenziani,
Daniele Theseider Dupré:
An Efficient Algorithm for Temporal Abduction.
TIME 1997: 28-30 |
| 1996 |
|---|
| 14 | | 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 |
|---|
| 13 | | Daniele Theseider Dupré,
Mauro Rossotto:
The Different Roles of Abstraction in Abductive Reasoning.
AI*IA 1995: 211-216 |
| 12 | | Pietro Torasso,
Luca Console,
Luigi Portinale,
Daniele Theseider Dupré:
On the Role of Abduction.
ACM Comput. Surv. 27(3): 353-355 (1995) |
| 11 | | 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 |
|---|
| 10 | | 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 |
|---|
| 9 | | Luca Console,
Gerhard Friedrich,
Daniele Theseider Dupré:
Model-Based Diagnosis Meets Error Diagnosis in Logic Programs (Extended Abstract).
AADEBUG 1993: 85-87 |
| 8 | | Luca Console,
Gerhard Friedrich,
Daniele Theseider Dupré:
Model-Based Diagnosis Meets Error Diagnosis in Logic Programs.
IJCAI 1993: 1494-1501 |
| 1992 |
|---|
| 7 | | Luca Console,
Luigi Portinale,
Daniele Theseider Dupré,
Pietro Torasso:
Diagnostic Reasoning Across Different Time Points.
ECAI 1992: 369-373 |
| 6 | | Luca Console,
Daniele Theseider Dupré:
Adcuctive Reasoning with Abstraction Axioms.
ECAI Workshop on Knowledge Representation and Reasoning 1992: 98-112 |
| 1991 |
|---|
| 5 | | Luca Console,
Daniele Theseider Dupré,
Pietro Torasso:
Towards the Integration of Different Knowledge Sources in Model-Based Diagnosis.
AI*IA 1991: 177-186 |
| 4 | | Luca Console,
Maria Luisa Sapino,
Daniele Theseider Dupré:
Object-Level Abduction for View Updates.
DAISD 1991: 114-127 |
| 3 | | Luca Console,
Luigi Portinale,
Daniele Theseider Dupré:
Focussing Abductive Diagnosis.
AI Commun. 4(2/3): 88-97 (1991) |
| 2 | | Luca Console,
Daniele Theseider Dupré,
Pietro Torasso:
On the Relationship between Abduction and Deduction.
J. Log. Comput. 1(5): 661-690 (1991) |
| 1989 |
|---|
| 1 | | Luca Console,
Daniele Theseider Dupré,
Pietro Torasso:
A Theory of Diagnosis for Incomplete Causal Models.
IJCAI 1989: 1311-1317 |
