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