TORTA, Gianluca

TORTA, Gianluca  

INFORMATICA  

Mostra records
Risultati 1 - 20 di 49 (tempo di esecuzione: 0.022 secondi).
Titolo Data di pubblicazione Autore(i) File
A Mobile App Supporting Field Trip Organization for Natural and Cultural Heritage Exploration 2023 Ardissono L.; Cena F.; Mauro N.; Palomba M.; Parizia F.; Perotti L.; Scarpinati L.; Torta G.
A Scheduling Tool for Conditionally Independent Temporal Preferences 2015 Micalizio, Roberto; Torta, Gianluca
A Semantic Approach to Constraint-Based Reasoning in Geographical Domains 2020 Torta, Gianluca; Ardissono, Liliana; Fea, Daniele; La Riccia, Luigi; Voghera, Angioletta
A Structural Approach to Sensor Placement based on Symbolic Compilation of the Model 2011 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
Bringing Aggregate Programming Towards the Cloud 2022 Audrito G.; Damiani F.; Torta G.
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
Extensible 3D Simulation of Aggregated Systems with FCPP 2022 Audrito, G; Rapetta, L; Torta, G
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