Segui
Daniele Theseider Dupré
Daniele Theseider Dupré
Affiliazione sconosciuta
Email verificata su uniupo.it
Titolo
Citata da
Citata da
Anno
On the relationship between abduction and deduction
L Console, DT Dupré, P Torasso
Journal of Logic and Computation 1 (5), 661-690, 1991
3951991
A Theory of Diagnosis for Incomplete Causal Models.
L Console, DT Dupré, P Torasso
IJCAI, 1311-1317, 1989
1991989
A spectrum of definitions for temporal model-based diagnosis
V Brusoni, L Console, P Terenziani, DT Dupré
Artificial Intelligence 102 (1), 39-79, 1998
1491998
Model-based diagnosis meets error diagnosis in logic programs
L Console, G Friedrich, DT Dupré
Automated and Algorithmic Debugging: First International Workshop, AADEBUG …, 1993
1471993
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
872005
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
722003
The role of abduction in database view updating
L Console, ML Sapino, DT Dupré
Journal of Intelligent Information Systems 4, 261-280, 1995
691995
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
621996
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
581998
A Framework for Decentralized Qualitative Model-Based Diagnosis.
L Console, C Picardi, DT Dupré
IJCAI, 286-291, 2007
542007
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
541999
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
422005
Focussing abductive diagnosis
L Console, L Portinale, D Theseider Dupré
AI Communications 4 (2-3), 88-97, 1991
401991
Reasoning about actions with temporal answer sets
L Giordano, A Martelli, DT Dupré
Theory and Practice of Logic Programming 13 (2), 201-225, 2013
362013
Diagnostic reasoning across different time points
L Console, L Portinale, DT Dupré, P Torasso
10th European Conference on Artificial Intelligence-ECAI 92, 1992
331992
Abductive reasoning through direct deduction from completed domain models
L Console, D THESEIDER DUPRE, P Torasso
Methodologies for intelligent systems 4, 175-182, 1989
331989
Weighted defeasible knowledge bases and a multipreference semantics for a deep neural network model
L Giordano, D Theseider Dupré
Logics in Artificial Intelligence: 17th European Conference, JELIA 2021 …, 2021
312021
Abductive reasoning with abstraction axioms
L Console, DT Dupré
Foundations of Knowledge Representation and Reasoning, 98-112, 2005
312005
An ASP approach for reasoning in a concept-aware multipreferential lightweight DL
L Giordano, DT Dupré
Theory and Practice of Logic Programming 20 (5), 751-766, 2020
292020
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
282013
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20