THESEIDER DUPRE', Daniele
THESEIDER DUPRE', Daniele
Dipartimento di Scienze e Innovazione Tecnologica
35 Years of Pietro Torasso’s work on diagnosis
2018-01-01 Console, Luca; Magro, Diego; Micalizio, Roberto; Scala, Enrico; Theseider Dupré, Daniele; Torta, Gianluca
A conditional, a fuzzy and a probabilistic interpretation of self-organizing maps
2022-01-01 Giordano, Laura; Gliozzi, Valentina; THESEIDER DUPRE', Daniele
A framework for a modular multi-concept lexicographic closure semantics (an abridged report)
2021-01-01 Giordano, Laura; THESEIDER DUPRE', Daniele
A Framework for Decentralized Qualitative Model-Based Diagnosis
2007-01-01 L., Console; C., Picardi; THESEIDER DUPRE', Daniele
A multipreference semantics from common sense reasoning to neural network models: An overview
2021-01-01 Giordano, L.; Gliozzi, V.; Theseider Dupre', Daniele.
A preferential interpretation of MultiLayer Perceptrons in a conditional logic with typicality
2024-01-01 Alviano, M.; Bartoli, F.; Botta, M.; Esposito, R.; Giordano, L.; Theseider Dupre', D.
A spectrum of definitions for temporal model-based diagnosis
1998-01-01 Brusoni, V; Console, L; Terenziani, Paolo; THESEIDER DUPRE', Daniele
A Theory of Diagnosis for Incomplete Causal Models
1989-01-01 L., Console; THESEIDER DUPRE', Daniele; P., Torasso
Abductive and Consistency-Based Diagnosis Revisited: a Modeling Perspective
2000-01-01 THESEIDER DUPRE', Daniele
Abductive Diagnosis and its Application to a Mechanical Troubleshooting Problem
1992-01-01 Console, L; Mossino, D; Portinale, Luigi; THESEIDER DUPRE', Daniele; Torasso, P.
Abductive Problem Solving with Abstractions
2009-01-01 G., Torta; THESEIDER DUPRE', Daniele
Abductive Reasoning with Abstraction Axioms
1994-01-01 L., Console; THESEIDER DUPRE', Daniele
Achieving completeness in bounded model checking of action theories in ASP
2012-01-01 Giordano, Laura; A., Martelli; THESEIDER DUPRE', Daniele
Achieving completeness in the verification of action theories by Bounded Model Checking in ASP
2015-01-01 Giordano, Laura; A., Martelli; THESEIDER DUPRE', Daniele
Advanced Fault Analysis in Web Service Composition
2005-01-01 L., Ardissono; L., Console; A., Goy; G., Petrone; C., Picardi; M., Segnan; THESEIDER DUPRE', Daniele
Advances in the GINSENG project
2014-01-01 Terenziani, Paolo; Bottrighi, Alessio; Giordano, Laura; Franceschinis, Giuliana Annamaria; Montani, Stefania; Piovesan, Luca; Portinale, Luigi; S., Rubrichi; M., Spiotta; THESEIDER DUPRE', Daniele
An ASP approach for reasoning in a concept-Aware multipreferential lightweight DL
2020-01-01 Giordano, L.; Theseider Dupre', D.
An ASP Approach for Reasoning on Neural Networks under a Finitely Many-Valued Semantics for Weighted Conditional Knowledge Bases
2022-01-01 Giordano, L; THESEIDER DUPRE', Daniele
An efficient algorithm for computing temporal abductive diagnoses
1997-01-01 V., Brusoni; L., Console; Terenziani, Paolo; THESEIDER DUPRE', Daniele
An Inductive Definition Approach to Ramifications
1998-01-01 M., Denecker; THESEIDER DUPRE', Daniele; K., VAN BELLEGHEM
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| 35 Years of Pietro Torasso’s work on diagnosis | 1-gen-2018 | Console, Luca; Magro, Diego; Micalizio, Roberto; Scala, Enrico; Theseider Dupré, Daniele; Torta, Gianluca | |
| A conditional, a fuzzy and a probabilistic interpretation of self-organizing maps | 1-gen-2022 | Giordano, Laura; Gliozzi, Valentina; THESEIDER DUPRE', Daniele | |
| A framework for a modular multi-concept lexicographic closure semantics (an abridged report) | 1-gen-2021 | Giordano, Laura; THESEIDER DUPRE', Daniele | |
| A Framework for Decentralized Qualitative Model-Based Diagnosis | 1-gen-2007 | L., Console; C., Picardi; THESEIDER DUPRE', Daniele | |
| A multipreference semantics from common sense reasoning to neural network models: An overview | 1-gen-2021 | Giordano, L.; Gliozzi, V.; Theseider Dupre', Daniele. | |
| A preferential interpretation of MultiLayer Perceptrons in a conditional logic with typicality | 1-gen-2024 | Alviano, M.; Bartoli, F.; Botta, M.; Esposito, R.; Giordano, L.; Theseider Dupre', D. | |
| A spectrum of definitions for temporal model-based diagnosis | 1-gen-1998 | Brusoni, V; Console, L; Terenziani, Paolo; THESEIDER DUPRE', Daniele | |
| A Theory of Diagnosis for Incomplete Causal Models | 1-gen-1989 | L., Console; THESEIDER DUPRE', Daniele; P., Torasso | |
| Abductive and Consistency-Based Diagnosis Revisited: a Modeling Perspective | 1-gen-2000 | THESEIDER DUPRE', Daniele | |
| Abductive Diagnosis and its Application to a Mechanical Troubleshooting Problem | 1-gen-1992 | Console, L; Mossino, D; Portinale, Luigi; THESEIDER DUPRE', Daniele; Torasso, P. | |
| Abductive Problem Solving with Abstractions | 1-gen-2009 | G., Torta; THESEIDER DUPRE', Daniele | |
| Abductive Reasoning with Abstraction Axioms | 1-gen-1994 | L., Console; THESEIDER DUPRE', Daniele | |
| Achieving completeness in bounded model checking of action theories in ASP | 1-gen-2012 | Giordano, Laura; A., Martelli; THESEIDER DUPRE', Daniele | |
| Achieving completeness in the verification of action theories by Bounded Model Checking in ASP | 1-gen-2015 | Giordano, Laura; A., Martelli; THESEIDER DUPRE', Daniele | |
| Advanced Fault Analysis in Web Service Composition | 1-gen-2005 | L., Ardissono; L., Console; A., Goy; G., Petrone; C., Picardi; M., Segnan; THESEIDER DUPRE', Daniele | |
| Advances in the GINSENG project | 1-gen-2014 | Terenziani, Paolo; Bottrighi, Alessio; Giordano, Laura; Franceschinis, Giuliana Annamaria; Montani, Stefania; Piovesan, Luca; Portinale, Luigi; S., Rubrichi; M., Spiotta; THESEIDER DUPRE', Daniele | |
| An ASP approach for reasoning in a concept-Aware multipreferential lightweight DL | 1-gen-2020 | Giordano, L.; Theseider Dupre', D. | |
| An ASP Approach for Reasoning on Neural Networks under a Finitely Many-Valued Semantics for Weighted Conditional Knowledge Bases | 1-gen-2022 | Giordano, L; THESEIDER DUPRE', Daniele | |
| An efficient algorithm for computing temporal abductive diagnoses | 1-gen-1997 | V., Brusoni; L., Console; Terenziani, Paolo; THESEIDER DUPRE', Daniele | |
| An Inductive Definition Approach to Ramifications | 1-gen-1998 | M., Denecker; THESEIDER DUPRE', Daniele; K., VAN BELLEGHEM |