Search the dblp DataBase

Publications of Author

1. Roberto Micalizio, Pietro Torasso, Gianluca Torta
   Synthesizing Diagnostic Explanations from Monitoring Data in Multi-Robot Systems. [Citation Graph (0, 0)][DBLP]
   Artificial Intelligence and Applications, 2006, pp:279-286 [Conf]
   
2. Pietro Torasso, Gianluca Torta
   Model-Based Diagnosis Through OBDD Compilation: A Complexity Analysis. [Citation Graph (0, 0)][DBLP]
   Reasoning, Action and Interaction in AI Theories and Systems, 2006, pp:287-305 [Conf]
   
3. Roberto Micalizio, Pietro Torasso, Gianluca Torta
   On-Line Monitoring and Diagnosis of Multi-Agent Systems: A Model Based Approach. [Citation Graph (0, 0)][DBLP]
   ECAI, 2004, pp:848-852 [Conf]
   
4. Gianluca Torta, Pietro Torasso
   Automatic Abstraction in Component-Based Diagnosis Driven by System Observability. [Citation Graph (0, 0)][DBLP]
   IJCAI, 2003, pp:394-402 [Conf]
   
5. Pietro Torasso, Gianluca Torta
   Computing Minimum-Cardinality Diagnoses Using OBDDs. [Citation Graph (0, 0)][DBLP]
   KI, 2003, pp:224-238 [Conf]
   
6. Pietro Torasso, Gianluca Torta
   Automatic Abstraction of Time-Varying System Models for Model Based Diagnosis. [Citation Graph (0, 0)][DBLP]
   KI, 2005, pp:176-190 [Conf]
   
7. Roberto Micalizio, Pietro Torasso, Gianluca Torta
   On-line monitoring and diagnosis of a team of service robots: A model-based approach. [Citation Graph (0, 0)][DBLP]
   AI Commun., 2006, v:19, n:4, pp:313-340 [Journal]
   
8. Gianluca Torta, Pietro Torasso
   On the role of modeling causal independence for system model compilation with OBDDs. [Citation Graph (0, 0)][DBLP]
   AI Commun., 2007, v:20, n:1, pp:17-26 [Journal]
   
9. Gianluca Torta, Pietro Torasso
   On the use of OBDDs in model-based diagnosis: An approach based on the partition of the model. [Citation Graph (0, 0)][DBLP]
   Knowl.-Based Syst., 2006, v:19, n:5, pp:316-323 [Journal]
   
10. Lorenza Saitta, Pietro Torasso, Gianluca Torta
    Formalizing the Abstraction Process in Model-Based Diagnosis. [Citation Graph (0, 0)][DBLP]
    SARA, 2007, pp:314-328 [Conf]
    
11. Gianluca Torta, Pietro Torasso
    An on-line approach to the computation and presentation of preferred diagnoses for dynamic systems. [Citation Graph (0, 0)][DBLP]
    AI Commun., 2007, v:20, n:2, pp:93-116 [Journal]
    
12. Roberto Micalizio, Pietro Torasso, Gianluca Torta
    Intelligent Supervision of Plan Execution in Multi-Agent Systems. [Citation Graph (0, 0)][DBLP]
    ITSSA, 2006, v:1, n:3, pp:259-268 [Journal]
    
13. 
    Computation of Minimal Sensor Sets for Conditional Testability Requirements. [Citation Graph (, )][DBLP]
    
    
14. 
    Cost-sensitive Iterative Abductive Reasoning with abstractions. [Citation Graph (, )][DBLP]
    
    
15. 
    Abductive Problem Solving with Abstractions. [Citation Graph (, )][DBLP]
    
    
16. 
    Parametric abstraction of behavioral modes for model-based diagnosis. [Citation Graph (, )][DBLP]
    
    
17. 
    Compact Diagnoses Representation in Diagnostic Problem Solving. [Citation Graph (, )][DBLP]