Daniele Theseider Dupré

2008
31	EE	Gianluca Torta, Daniele Theseider Dupré, Luca Anselma: Cost-sensitive Iterative Abductive Reasoning with abstractions. ECAI 2008: 803-804
2007
30	EE	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	EE	Luca Console, Claudia Picardi, Daniele Theseider Dupré: A Framework for Decentralized Qualitative Model-Based Diagnosis. IJCAI 2007: 286-291
2005
28	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
27	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
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	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)
2002
24	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
23	EE	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	EE	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	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)
17	EE	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	EE	Vittorio Brusoni, Luca Console, Paolo Terenziani, Daniele Theseider Dupré: An Efficient Algorithm for Temporal Abduction. TIME 1997: 28-30
1996
14	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
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

Coauthor Index

1	Luca Anselma	[31]
2	Liliana Ardissono	[27] [28]
3	Kristof Van Belleghem	[17]
4	Stefano Bocconi	[30]
5	Rosanna Bray	[26]
6	Vittorio Brusoni	[15] [16] [18]
7	Alessandro Buffo	[26]
8	Fulvio Cascio	[19] [26]
9	Luca Console	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [14] [15] [16] [18] [19] [22] [24] [25] [26] [27] [28] [29]
10	Marc Denecker	[17]
11	Gerhard Friedrich	[8] [9]
12	Anna Goy	[27] [28]
13	Marcella Guagliumi Massimo Osella	[19]
14	Andrea Panati	[19] [21] [23]
15	Giovanna Petrone	[27] [28]
16	Claudia Picardi	[22] [25] [26] [27] [28] [29] [30]
17	Luigi Portinale	[3] [7] [10] [12] [14]
18	Xavier Pucel	[30]
19	Mauro Rossotto	[13]
20	Maria Luisa Sapino	[4] [11]
21	Marino Segnan	[26] [27] [28]
22	Sara Sottano	[19]
23	Paolo Terenziani	[15] [16] [18] [24]
24	Pietro Torasso	[1] [2] [5] [7] [10] [12]
25	Gianluca Torta	[31]
26	Louise Travé-Massuyès	[30]

Colors in the list of coauthors