TORTA, Gianluca
TORTA, Gianluca
INFORMATICA
A Mobile App Supporting Field Trip Organization for Natural and Cultural Heritage Exploration
2023-01-01 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-01-01 Micalizio, Roberto; Torta, Gianluca
A Semantic Approach to Constraint-Based Reasoning in Geographical Domains
2020-01-01 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-01-01 Gianluca Torta; Pietro Torasso
A Symbolic Approach for Component Abstraction in Model-Based Diagnosis
2008-01-01 G. TORTA; P. TORASSO
A Theory of Abstraction for Diagnosis of Discrete-Event Systems
2011-01-01 Alban Grastien; Gianluca Torta
Abductive Problem Solving with Abstractions
2009-01-01 Torta G.; Theseider Dupré D.
Automatic Abstraction in Component-Based Diagnosis Driven by System Observability
2003-01-01 TORTA G; TORASSO P
Automatic Abstraction of Time-Varying System Models for Model Based Diagnosis
2005-01-01 P. TORASSO; G. TORTA
Bringing Aggregate Programming Towards the Cloud
2022-01-01 Audrito G.; Damiani F.; Torta G.
Computation of Minimal Sensor Sets for Conditional Testability Requirements
2008-01-01 G. TORTA; P. TORASSO
Computation of Minimal Sensor Sets from Precompiled Discriminability Relations
2007-01-01 G. TORTA; P. TORASSO
Cost-sensitive Iterative Abductive Reasoning with Abstractions
2008-01-01 Gianluca Torta; Daniele Theseider Dupré; Luca Anselma
Diagnosing Delays in Multi-Agent Plans Execution
2012-01-01 R. Micalizio; G. Torta
Diagnosing Dependent Action Delays in Temporal Multiagent Plans
2013-01-01 Roberto Micalizio; Gianluca Torta
Explaining Failures Propagations in the Execution of Multi-Agent Temporal Plans
2019-01-01 Torta, G; Micalizio, R; Sormano, S
Exploiting Automatic Validation in Human Mission Planning
2011-01-01 Pietro Torasso; Gianluca Torta
Extensible 3D Simulation of Aggregated Systems with FCPP
2022-01-01 Audrito, G; Rapetta, L; Torta, G
Formalizing the Abstraction Process in Model-Based Diagnosis
2007-01-01 L. SAITTA; P. TORASSO; G. TORTA
Fostering resilient execution of multi-agent plans through self-organisation
2021-01-01 Giorgio Audrito, Roberto Casadei, Gianluca Torta