TORTA, GIANLUCA

TORTA, GIANLUCA  

INFORMATICA  

Mostra records
Risultati 1 - 20 di 41 (tempo di esecuzione: 0.034 secondi).
Titolo Data di pubblicazione Autore(i) File
A Structural Approach to Sensor Placement based on Symbolic Compilation of the Model 2010 Gianluca Torta; Pietro Torasso
A Symbolic Approach for Component Abstraction in Model-Based Diagnosis 2008 G. TORTA; P. TORASSO
A Theory of Abstraction for Diagnosis of Discrete-Event Systems 2011 Alban Grastien; Gianluca Torta
Abductive Problem Solving with Abstractions 2009 Torta G.; Theseider Dupré D.
Automatic Abstraction in Component-Based Diagnosis Driven by System Observability 2003 TORTA G; TORASSO P
Automatic Abstraction of Time-Varying System Models for Model Based Diagnosis 2005 P. TORASSO; G. TORTA
Computation of Minimal Sensor Sets for Conditional Testability Requirements 2008 G. TORTA; P. TORASSO
Computation of Minimal Sensor Sets from Precompiled Discriminability Relations 2007 G. TORTA; P. TORASSO
Cost-sensitive Iterative Abductive Reasoning with Abstractions 2008 Gianluca Torta; Daniele Theseider Dupré; Luca Anselma
Diagnosing Delays in Multi-Agent Plans Execution 2012 R. Micalizio; G. Torta
Diagnosing Dependent Action Delays in Temporal Multiagent Plans 2013 Roberto Micalizio; Gianluca Torta
Explaining Failures Propagations in the Execution of Multi-Agent Temporal Plans 2019 Torta, G; Micalizio, R; Sormano, S
Exploiting Automatic Validation in Human Mission Planning 2011 Pietro Torasso; Gianluca Torta
Formalizing the Abstraction Process in Model-Based Diagnosis 2007 L. SAITTA; P. TORASSO; G. TORTA
Fostering resilient execution of multi-agent plans through self-organisation 2021 Giorgio Audrito, Roberto Casadei, Gianluca Torta
GeCoLan: A constraint language for reasoning about ecological networks in the semantic web 2019 Torta, Gianluca*; Ardissono, Liliana; Corona, Marco; La Riccia, Luigi; Savoca, Adriano; Voghera, Angioletta
High Level Interpretation of Action Failures in Multi-Robot Systems 2005 P. TORASSO; G. TORTA; R. MICALIZIO
Hypothesis Discrimination with Abstractions based on Observation and Action Costs 2008 Gianluca Torta; Daniele Theseider Dupré; Luca Anselma
IMPROVING ON-BOARD DIAGNOSIS EFFICIENCY THROUGH AUTOMATIC SYSTEM MODEL ABSTRACTION 2003 G. TORTA; TORASSO P
Integration of Cultural and Natural Heritage Information in Future Mobile Guides 2022 Liliana Ardissono, Gianluca Torta, Pietro Barone, Marino Segnan, Claudio Mattutino