|
Search the dblp DataBase
Daniele Theseider Dupré:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Luca Console, Daniele Theseider Dupré, Pietro Torasso
A Theory of Diagnosis for Incomplete Causal Models. [Citation Graph (2, 0)][DBLP] IJCAI, 1989, pp:1311-1317 [Conf]
- Luca Console, Daniele Theseider Dupré, Pietro Torasso
On the Relationship between Abduction and Deduction. [Citation Graph (2, 0)][DBLP] J. Log. Comput., 1991, v:1, n:5, pp:661-690 [Journal]
- Luca Console, Luigi Portinale, Daniele Theseider Dupré
Focussing Abductive Diagnosis. [Citation Graph (1, 0)][DBLP] AI Commun., 1991, v:4, n:2/3, pp:88-97 [Journal]
- Luca Console, Maria Luisa Sapino, Daniele Theseider Dupré
The Role of Abduction in Database View Updating. [Citation Graph (1, 0)][DBLP] J. Intell. Inf. Syst., 1995, v:4, n:3, pp:261-280 [Journal]
- Luca Console, Gerhard Friedrich, Daniele Theseider Dupré
Model-Based Diagnosis Meets Error Diagnosis in Logic Programs (Extended Abstract). [Citation Graph (0, 0)][DBLP] AADEBUG, 1993, pp:85-87 [Conf]
- Vittorio Brusoni, Luca Console, Paolo Terenziani, Daniele Theseider Dupré
An Efficient Algorithm for Temporal Abduction. [Citation Graph (0, 0)][DBLP] AI*IA, 1997, pp:195-206 [Conf]
- Luca Console, Daniele Theseider Dupré, Pietro Torasso
Towards the Integration of Different Knowledge Sources in Model-Based Diagnosis. [Citation Graph (0, 0)][DBLP] AI*IA, 1991, pp:177-186 [Conf]
- Daniele Theseider Dupré, Mauro Rossotto
The Different Roles of Abstraction in Abductive Reasoning. [Citation Graph (0, 0)][DBLP] AI*IA, 1995, pp:211-216 [Conf]
- Andrea Panati, Daniele Theseider Dupré
Causal Simulation and Diagnosis of Dynamic Systems. [Citation Graph (0, 0)][DBLP] AI*IA, 2001, pp:135-146 [Conf]
- Luca Console, Maria Luisa Sapino, Daniele Theseider Dupré
Object-Level Abduction for View Updates. [Citation Graph (0, 0)][DBLP] DAISD, 1991, pp:114-127 [Conf]
- Luca Console, Daniele Theseider Dupré
Adcuctive Reasoning with Abstraction Axioms. [Citation Graph (0, 0)][DBLP] ECAI Workshop on Knowledge Representation and Reasoning, 1992, pp:98-112 [Conf]
- Luca Console, Luigi Portinale, Daniele Theseider Dupré, Pietro Torasso
Diagnostic Reasoning Across Different Time Points. [Citation Graph (0, 0)][DBLP] ECAI, 1992, pp:369-373 [Conf]
- Andrea Panati, Daniele Theseider Dupré
State-based vs Simulation-based Diagnosis of Dynamic Systems. [Citation Graph (0, 0)][DBLP] ECAI, 2000, pp:176-180 [Conf]
- Liliana Ardissono, Luca Console, Anna Goy, Giovanna Petrone, Claudia Picardi, Marino Segnan, Daniele Theseider Dupré
Enhancing Web Services with Diagnostic Capabilities. [Citation Graph (0, 0)][DBLP] ECOWS, 2005, pp:182-191 [Conf]
- Luca Console, Gerhard Friedrich, Daniele Theseider Dupré
Model-Based Diagnosis Meets Error Diagnosis in Logic Programs. [Citation Graph (0, 0)][DBLP] IJCAI, 1993, pp:1494-1501 [Conf]
- Luca Console, Claudia Picardi, Daniele Theseider Dupré
Temporal Decision Trees or the lazy ECU vindicated. [Citation Graph (0, 0)][DBLP] IJCAI, 2001, pp:545-550 [Conf]
- Luca Console, Claudia Picardi, Daniele Theseider Dupré
A Framework for Decentralized Qualitative Model-Based Diagnosis. [Citation Graph (0, 0)][DBLP] IJCAI, 2007, pp:286-291 [Conf]
- Vittorio Brusoni, Luca Console, Paolo Terenziani, Daniele Theseider Dupré
An Efficient Algorithm for Temporal Abduction. [Citation Graph (0, 0)][DBLP] TIME, 1997, pp:28-30 [Conf]
- Liliana Ardissono, Luca Console, Anna Goy, Giovanna Petrone, Claudia Picardi, Marino Segnan, Daniele Theseider Dupré
Advanced fault analysis in web service composition. [Citation Graph (0, 0)][DBLP] WWW (Special interest tracks and posters), 2005, pp:1090-1091 [Conf]
- Vittorio Brusoni, Luca Console, Paolo Terenziani, Daniele Theseider Dupré
A Spectrum of Definitions for Temporal Model-Based Diagnosis. [Citation Graph (0, 0)][DBLP] Artif. Intell., 1998, v:102, n:1, pp:39-79 [Journal]
- 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. [Citation Graph (0, 0)][DBLP] AI Commun., 1999, v:12, n:1-2, pp:33-43 [Journal]
- Luca Console, Luigi Portinale, Daniele Theseider Dupré, Pietro Torasso
Diagnosing Tim-Varying Misbehavior: An Approach Based on Model Decomposition. [Citation Graph (0, 0)][DBLP] Ann. Math. Artif. Intell., 1994, v:11, n:1-4, pp:381-398 [Journal]
- Daniele Theseider Dupré
Abductive and Consistency-Based Diagnosis Revisited: a Modeling Perspective [Citation Graph (0, 0)][DBLP] CoRR, 2000, v:0, n:, pp:- [Journal]
- Pietro Torasso, Luca Console, Luigi Portinale, Daniele Theseider Dupré
On the Role of Abduction. [Citation Graph (0, 0)][DBLP] ACM Comput. Surv., 1995, v:27, n:3, pp:353-355 [Journal]
- Marc Denecker, Daniele Theseider Dupré, Kristof Van Belleghem
An Inductive Definition Approach to Ramifications. [Citation Graph (0, 0)][DBLP] Electron. Trans. Artif. Intell., 1998, v:2, n:, pp:25-67 [Journal]
- Rosanna Bray, Alessandro Buffo, Fulvio Cascio, Luca Console, Claudia Picardi, Marino Segnan, Daniele Theseider Dupré
SALVO: model-based systems applications in automotive industry. [Citation Graph (0, 0)][DBLP] Intelligenza Artificiale, 2004, v:1, n:3, pp:13-20 [Journal]
- Luca Console, Claudia Picardi, Daniele Theseider Dupré
Temporal Decision Trees: Model-based Diagnosis of Dynamic Systems On-Board. [Citation Graph (0, 0)][DBLP] J. Artif. Intell. Res. (JAIR), 2003, v:19, n:, pp:469-512 [Journal]
- Luca Console, Luigi Portinale, Daniele Theseider Dupré
Using Compiled Knowledge to Guide and Focus Abductive Diagnosis. [Citation Graph (0, 26)][DBLP] IEEE Trans. Knowl. Data Eng., 1996, v:8, n:5, pp:690-706 [Journal]
- Luca Console, Paolo Terenziani, Daniele Theseider Dupré
Local Reasoning and Knowledge Compilation for Efficient Temporal Abduction. [Citation Graph (0, 0)][DBLP] IEEE Trans. Knowl. Data Eng., 2002, v:14, n:6, pp:1230-1248 [Journal]
- Stefano Bocconi, Claudia Picardi, Xavier Pucel, Daniele Theseider Dupré, Louise Travé-Massuyès
Model-Based Diagnosability Analysis for Web Services. [Citation Graph (0, 0)][DBLP] AI*IA, 2007, pp:24-35 [Conf]
Enhancing Web Service Composition by Means of Diagnosis. [Citation Graph (, )][DBLP]
Verifying Business Process Compliance by Reasoning about Actions. [Citation Graph (, )][DBLP]
Cost-sensitive Iterative Abductive Reasoning with abstractions. [Citation Graph (, )][DBLP]
Abductive Problem Solving with Abstractions. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.003secs
|