On the relationship between abduction and deduction L Console, DT Dupré, P Torasso Journal of Logic and Computation 1 (5), 661-690, 1991 | 395 | 1991 |
A Theory of Diagnosis for Incomplete Causal Models. L Console, DT Dupré, P Torasso IJCAI, 1311-1317, 1989 | 199 | 1989 |
A spectrum of definitions for temporal model-based diagnosis V Brusoni, L Console, P Terenziani, DT Dupré Artificial Intelligence 102 (1), 39-79, 1998 | 149 | 1998 |
Model-based diagnosis meets error diagnosis in logic programs L Console, G Friedrich, DT Dupré Automated and Algorithmic Debugging: First International Workshop, AADEBUG …, 1993 | 147 | 1993 |
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 | 87 | 2005 |
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 | 72 | 2003 |
The role of abduction in database view updating L Console, ML Sapino, DT Dupré Journal of Intelligent Information Systems 4, 261-280, 1995 | 69 | 1995 |
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 | 62 | 1996 |
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 | 58 | 1998 |
A Framework for Decentralized Qualitative Model-Based Diagnosis. L Console, C Picardi, DT Dupré IJCAI, 286-291, 2007 | 54 | 2007 |
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 | 54 | 1999 |
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 | 42 | 2005 |
Focussing abductive diagnosis L Console, L Portinale, D Theseider Dupré AI Communications 4 (2-3), 88-97, 1991 | 40 | 1991 |
Reasoning about actions with temporal answer sets L Giordano, A Martelli, DT Dupré Theory and Practice of Logic Programming 13 (2), 201-225, 2013 | 36 | 2013 |
Diagnostic reasoning across different time points L Console, L Portinale, DT Dupré, P Torasso 10th European Conference on Artificial Intelligence-ECAI 92, 1992 | 33 | 1992 |
Abductive reasoning through direct deduction from completed domain models L Console, D THESEIDER DUPRE, P Torasso Methodologies for intelligent systems 4, 175-182, 1989 | 33 | 1989 |
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 | 31 | 2021 |
Abductive reasoning with abstraction axioms L Console, DT Dupré Foundations of Knowledge Representation and Reasoning, 98-112, 2005 | 31 | 2005 |
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 | 29 | 2020 |
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 | 29 | 2013 |