Daniele Theseider Dupré

	2011
38		Elisa Chiabrando, Silvia Likavec, Ilaria Lombardi, Claudia Picardi, Daniele Theseider Dupré: Semantic similarity in heterogeneous ontologies. HT 2011: 153-160
37		Luca Console, Claudia Picardi, Daniele Theseider Dupré: Temporal Decision Trees: Model-based Diagnosis of Dynamic Systems On-Board CoRR abs/1106.5268: (2011)
36		Laura Giordano, Alberto Martelli, Daniele Theseider Dupré: Reasoning about Actions with Temporal Answer Sets CoRR abs/1110.3672: (2011)
	2010
35		Davide D'Aprile, Laura Giordano, Valentina Gliozzi, Alberto Martelli, Gian Luca Pozzato, Daniele Theseider Dupré: Verifying Business Process Compliance by Reasoning about Actions. CLIMA 2010: 99-116
34		Silvia Likavec, Ilaria Lombardi, Alberto Nantiat, Claudia Picardi, Daniele Theseider Dupré: Threading Facts into a Collective Narrative World. ICIDS 2010: 86-97
	2009
33		Gianluca Torta, Daniele Theseider Dupré: Abductive Problem Solving with Abstractions. SARA 2009
	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

Coauthor Index

1	Luca Anselma	[31]
2	Liliana Ardissono	[27] [28] [32]
3	Kristof Van Belleghem	[17]
4	Stefano Bocconi	[30] [32]
5	Rosanna Bray	[26]
6	Vittorio Brusoni	[15] [16] [18]
7	Alessandro Buffo	[26]
8	Fulvio Cascio	[19] [26]
9	Elisa Chiabrando	[38]
10	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] [32] [37]
11	Davide D'Aprile	[35]
12	Marc Denecker	[17]
13	Gerhard Friedrich	[8] [9]
14	Roberto Furnari	[32]
15	Laura Giordano	[35] [36]
16	Valentina Gliozzi	[35]
17	Anna Goy	[27] [28] [32]
18	Silvia Likavec	[34] [38]
19	Ilaria Lombardi	[34] [38]
20	Alberto Martelli	[35] [36]
21	Alberto Nantiat	[34]
22	Marcella Guagliumi Massimo Osella	[19]
23	Andrea Panati	[19] [21] [23]
24	Giovanna Petrone	[27] [28] [32]
25	Claudia Picardi	[22] [25] [26] [27] [28] [29] [30] [32] [34] [37] [38]
26	Luigi Portinale	[3] [7] [10] [12] [14]
27	Gian Luca Pozzato	[35]
28	Xavier Pucel	[30]
29	Mauro Rossotto	[13]
30	Maria Luisa Sapino	[4] [11]
31	Marino Segnan	[26] [27] [28] [32]
32	Sara Sottano	[19]
33	Paolo Terenziani	[15] [16] [18] [24]
34	Pietro Torasso	[1] [2] [5] [7] [10] [12]
35	Gianluca Torta	[31] [33]
36	Louise Travé-Massuyès	[30]

Colors in the list of coauthors

Last update Sun Feb 12 22:50:56 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page