THESEIDER DUPRE', Daniele

THESEIDER DUPRE', Daniele  

Mostra records
Risultati 1 - 20 di 24 (tempo di esecuzione: 0.02 secondi).
Titolo Data di pubblicazione Autore(i) File
A Framework for Decentralized Qualitative Model-Based Diagnosis 2007 L. CONSOLE; C. PICARDI; D. THESEIDER DUPRE'
A Framework for Decentralized Qualitative Model-Based Diagnosis (preliminary report) 2006 L. CONSOLE; C. PICARDI; D. THESEIDER DUPRE'
A Theory of Diagnosis for Incomplete Causal Models 1989 L. CONSOLE; D. THESEIDER DUPRE'; P. TORASSO
Abductive Reasoning through Direct Deduction from Completed Domain Models 1989 L. CONSOLE; D. THESEIDER DUPRE'; P. TORASSO
Achieving completeness in the verification of action theories by Bounded Model Checking in ASP 2015 L. GIORDANO; A. MARTELLI; D. THESEIDER DUPRE'
Advanced Fault Analysis in Web Service Composition 2005 L. ARDISSONO; L. CONSOLE; A. GOY; G. PETRONE; C. PICARDI; M. SEGNAN; D. THESEIDER DUPRE'
Business process verification with constraint temporal answer set programming 2013 L. Giordano; A. Martelli; M. Spiotta; D. Theseider Dupre'
Combining heuristic reasoning with causal reasoning in diagnostic problem solving 1993 L. Console; L. Portinale; D. Theseider Duprè; P. Torasso
Cooperative Model-Based Diagnosis of Web Services 2005 L. ARDISSONO; L. CONSOLE; A. GOY; G. PETRONE; C. PICARDI; M. SEGNAN; D. THESEIDER DUPRE'
Diagnosing time-varying misbehavior: an approach based on model decomposition 1994 L. CONSOLE; L. PORTINALE; D. THESEIDER DUPRE'; P. TORASSO
Diagnostic reasoning across different time points 1992 L. CONSOLE; L. PORTINALE; D. THESEIDER DUPRE'; P. TORASSO
Enhancing Web Service Composition by Means of Diagnosis 2009 L. Ardissono; S. Bocconi; L. Console; R. Furnari; A. Goy; G. Petrone; C. Picardi; M. Segnan; D. Theseider Dupre'
Enhancing Web Services with Diagnostic Capabilities 2005 L. ARDISSONO; L. CONSOLE; A. GOY; G. PETRONE; C. PICARDI; M. SEGNAN; D. THESEIDER DUPRE'
Interacting with a Social Web of Smart Objects for Enhancing Tourist Experiences 2012 Federica Cena; Fabrizio Antonelli; Giulia Biamino; Francesca Carmagnola; Elisa Chiabrando; Luca Console; Vincenzo Cuciti; Matteo Demichelis; Franco Fassio; Fabrizio Franceschi; Roberto Furnari; Cristina Gena; Marina Geymonat; Piercarlo Grimaldi; Pierluigi Grillo; Elena Guercio; Silvia Likavec; Ilaria Lombardi; Dario Mana; Alessandro Marcengo; Michele Mioli; Mario Mirabelli; Monica Perrero; Claudia Picardi; Federica Protti; Amon Rapp; Roberta Sandon; Rossana Simeoni; Daniele Theseider Dupré; Ilaria Torre; Andrea Toso; Fabio Torta; Fabiana Vernero
Model Synthesis for Model-based Fault Analysis 2004 C. PICARDI; L. CONSOLE; D. THESEIDER DUPRE'
Modeling Web Services for Diagnosis 2006 L. CONSOLE; C. PICARDI; D. THESEIDER DUPRE'
On the Relationship between Abduction and Deduction 1991 L. CONSOLE; D. THESEIDER DUPRE'; P. TORASSO
Salvo: Model-based Systems Applications in Automotive Industry 2004 R. BRAY; A. BUFFO; F. CASCIO; L. CONSOLE; C. PICARDI; M. SEGNAN; D. THESEIDER DUPRE'
Temporal deontic action logic for the verification of compliance to norms in ASP 2013 L. GIORDANO; A. MARTELLI; D. THESEIDER DUPRE'
Threading Facts into a Collective Narrative World 2010 Silvia Likavec; Ilaria Lombardi; Alberto Nantiat; Claudia Picardi; Daniele Theseider Dupré