THESEIDER DUPRE', Daniele

THESEIDER DUPRE', Daniele  

Dipartimento di Scienze e Innovazione Tecnologica  

Mostra records
Risultati 1 - 20 di 111 (tempo di esecuzione: 0.063 secondi).
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 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
Analyse de la diagnosticabilité des services web 1-gen-2007 X., Pucel; S., Bocconi; C., Picardi; THESEIDER DUPRE', Daniele; D., THESEIDER DUPRE'