Daniele Theseider Dupre
Daniele Theseider Dupre
Afiliación desconocida
Dirección de correo verificada de uniupo.it
TítuloCitado porAño
On the relationship between abduction and deduction
L Console, DT Dupré, P Torasso
Journal of Logic and Computation 1 (5), 661-690, 1991
3651991
A Theory of Diagnosis for Incomplete Causal Models.
L Console, DT Dupré, P Torasso
IJCAI, 1311-1317, 1989
1831989
Model-based diagnosis meets error diagnosis in logic programs
L Console, G Friedrich, DT Dupré
International Workshop on Automated and Algorithmic Debugging, 85-87, 1993
1381993
A spectrum of definitions for temporal model-based diagnosis
V Brusoni, L Console, P Terenziani, DT Dupré
Artificial Intelligence 102 (1), 39-79, 1998
1351998
Enhancing web services with diagnostic capabilities
L Ardissono, L Console, A Goy, G Petrone, C Picardi, M Segnan, ...
Third European Conference on Web Services (ECOWS'05), 10 pp., 2005
842005
The role of abduction in database view updating
L Console, ML Sapino, DT Dupré
Journal of Intelligent Information Systems 4 (3), 261-280, 1995
631995
Temporal decision trees: model-based diagnosis of dynamic systems on-board
L Console, C Picardi, DT Duprè
Journal of artificial intelligence research 19, 469-512, 2003
622003
Using compiled knowledge to guide and focus abductive diagnosis
L Console, L Portinale, DT Dupré
IEEE Transactions on Knowledge and Data Engineering 8 (5), 690-706, 1996
601996
Generating on‐board diagnostics of dynamic automotive systems based on qualitative models [1] This work was partially supported by the European Commission, DG XII (project BE …
F Cascio, L Console, M Guagliumi, M Osella, A Panati, S Sottano, ...
AI Communications 12 (1‐2), 33-43, 1999
551999
An inductive definition approach to ramifications
M Denecker, D Theseider-Dupré, K Van Belleghem
Linkoping Electronic Articles in Computer and Information Science 3 (7), 1-43, 1998
521998
A Framework for Decentralized Qualitative Model-Based Diagnosis.
L Console, C Picardi, DT Dupré
IJCAI, 286-291, 2007
452007
Focussing abductive diagnosis
L Console, L Portinale, D Theseider Dupré
AI Communications 4 (2-3), 88-97, 1991
401991
Cooperative model-based diagnosis of web services
L Ardissono, L Console, A Goy, G Petrone, C Picardi, M Segnan, ...
16th International Workshop on Principles of Diagnosis (DX 05), 125-130, 2005
372005
Abductive reasoning through direct deduction from completed domain models
L Console, D THESEIDER, P Torasso
4th International Symposium on Methodologies of Intelligent Systems 4, 175-182, 1989
36*1989
Diagnostic reasoning across different time points
L Console, L Portinale, DT Dupré, P Torasso
Proceedings of the 10th European conference on Artificial intelligence, 369-373, 1992
311992
Interacting with social networks of intelligent things and people in the world of gastronomy
L Console, F Antonelli, G Biamino, F Carmagnola, F Cena, E Chiabrando, ...
ACM Transactions on Interactive Intelligent Systems (TiiS) 3 (1), 1-38, 2013
272013
Abductive reasoning with abstraction axioms
L Console, DT Dupré
Foundations of Knowledge Representation and Reasoning, 98-112, 1994
271994
An efficient algorithm for temporal abduction
V Brusoni, L Console, P Terenziani, DT Dupré
Congress of the Italian Association for Artificial Intelligence, 195-206, 1997
261997
Verifying business process compliance by reasoning about actions
D D’Aprile, L Giordano, V Gliozzi, A Martelli, GL Pozzato, DT Dupré
International Workshop on Computational Logic in Multi-Agent Systems, 99-116, 2010
252010
Reasoning about actions with temporal answer sets
L Giordano, A Martelli, DT Dupré
Theory and Practice of Logic Programming 13 (2), 201-225, 2013
242013
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20