Gianluca Torta

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 33

Top Topics

Temporal Planner

Top Venues

Publications

Giorgio Audrito, Gianluca Torta
FCPP to aggregate them all. Sci. Comput. Program. 231 (2024)
Giorgio Audrito, Daniele Bortoluzzi, Ferruccio Damiani, Giordano Scarso, Gianluca Torta
An Enhanced Exchange Operator for XC. COORDINATION (2024)
Roberto Casadei, Gianluca Aguzzi, Giorgio Audrito, Ferruccio Damiani, Danilo Pianini, Giordano Scarso, Gianluca Torta, Mirko Viroli
Software Engineering for Collective Cyber-Physical Ecosystems. CoRR (2024)
Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Gianluca Torta, Mirko Viroli
Programming Distributed Collective Processes in the eXchange Calculus. CoRR (2024)
Giorgio Audrito, Roberto Casadei, Gianluca Torta
A general framework and decentralised algorithms for collective computational processes. Future Gener. Comput. Syst. 158 (2024)
Gianluca Aguzzi, Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Gianluca Torta, Mirko Viroli
A field-based computing approach to sensing-driven clustering in robot swarms. Swarm Intell. 17 (1) (2023)
Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Gianluca Torta, Mirko Viroli
Programming Distributed Collective Processes for Dynamic Ensembles and Collective Tasks. COORDINATION (2023)
Liliana Ardissono, Federica Cena, Noemi Mauro, Mauro Palomba, Francesco Parizia, Luigi Perotti, Livio Scarpinati, Gianluca Torta
A Mobile App Supporting Field Trip Organization for Natural and Cultural Heritage Exploration. UMAP (Adjunct Publication) (2023)
Giorgio Audrito, Alberto Riccardo Martinelli, Gianluca Torta
Parallelising an Aggregate Programming Framework with Message-Passing Interface. ACSOS-C (2023)
Ferruccio Damiani, Gianluca Torta
On Stream Runtime Verification and Aggregate Programming. VORTEX@ISSTA (2023)
Liliana Ardissono, Gianluca Torta, Pietro Barone, Marino Segnan, Claudio Mattutino
Integration of Cultural and Natural Heritage Information in Future Mobile Guides. UMAP (Adjunct Publication) (2022)
Roberto Casadei, Danilo Pianini, Gianluca Aguzzi, Giorgio Audrito, Gianluca Torta, Marco Ottina, Ferruccio Damiani, Mirko Viroli
Towards Automated Engineering for Collective Adaptive Systems: Vision and Research Directions. DASC/PiCom/CBDCom/CyberSciTech (2022)
Andrea Basso, Daniele Bortoluzzi, Gianluca Torta
Implementation of an IoT Wearable Prototype on a Standard AI Architecture. DASC/PiCom/CBDCom/CyberSciTech (2022)
Giorgio Audrito, Luigi Rapetta, Gianluca Torta
Extensible 3D Simulation of Aggregated Systems with FCPP. COORDINATION (2022)
Lorenzo Testa, Giorgio Audrito, Ferruccio Damiani, Gianluca Torta
Aggregate processes as distributed adaptive services for the Industrial Internet of Things. Pervasive Mob. Comput. 85 (2022)
Giorgio Audrito, Roberto Casadei, Gianluca Torta
On the Dynamic Evolution of Distributed Computational Aggregates. ACSOS-C (2022)
Lorenzo Testa, Giorgio Audrito, Ferruccio Damiani, Gianluca Torta
Aggregate Processes as Distributed Adaptive Services for the Industrial Internet of Things. CoRR (2022)
Giorgio Audrito, Volker Stolz, Gianluca Torta
Predictive Semantics for Past-CTL Runtime Monitors. CoRR (2022)
Giorgio Audrito, Ferruccio Damiani, Gianluca Torta
Bringing Aggregate Programming Towards the Cloud. ISoLA (3) (2022)
Giorgio Audrito, Ferruccio Damiani, Volker Stolz, Gianluca Torta, Mirko Viroli
Distributed runtime verification by past-CTL and the field calculus. J. Syst. Softw. 187 (2022)
Giorgio Audrito, Gianluca Torta
Towards aggregate monitoring of spatio-temporal properties. VORTEX@ISSTA (2021)
Giorgio Audrito, Roberto Casadei, Gianluca Torta
Fostering resilient execution of multi-agent plans through self-organisation. ACSOS-C (2021)
Giorgio Audrito, Roberto Casadei, Gianluca Torta
Towards Integration of Multi-Agent Planning with Self-Organising Collective Processes. ACSOS-C (2021)
Giorgio Audrito, Ferruccio Damiani, Giuseppe Martino Di Giuda, Silvia Meschini, Laura Pellegrini, Elena Seghezzi, Lavinia Chiara Tagliabue, Lorenzo Testa, Gianluca Torta
RM for users' safety and security in the built environment. VORTEX@ISSTA (2021)
Gianluca Torta, Roberto Micalizio, Samuele Sormano
Explaining Failures Propagations in the Execution of Multi-Agent Temporal Plans. AAMAS (2019)
Gianluca Torta, Roberto Micalizio, Samuele Sormano
Temporal Multiagent Plan Execution: Explaining What Happened. EXTRAAMAS@AAMAS (2019)
Luca Console, Diego Magro, Roberto Micalizio, Enrico Scala, Daniele Theseider Dupré, Gianluca Torta
35 Years of Pietro Torasso's work on diagnosis. Intelligenza Artificiale 12 (1) (2018)
Gianluca Torta, Liliana Ardissono, Daniele Fea, Luigi La Riccia, Angioletta Voghera
A Semantic Approach to Constraint-Based Reasoning in Geographical Domains. IC3K (2018)
Gianluca Torta, Liliana Ardissono, Marco Corona, Luigi La Riccia, Angioletta Voghera
Ontological Representation of Constraints for Geographical Reasoning. KEOD (2018)
Gianluca Torta, Roberto Micalizio
SMT-Based Diagnosis of Multi-Agent Temporal Plans. AAMAS (2018)
Gianluca Torta, Liliana Ardissono, Marco Corona, Luigi La Riccia, Adriano Savoca, Angioletta Voghera
GeCoLan: A Constraint Language for Reasoning About Ecological Networks in the Semantic Web. IC3K (2017)
Gianluca Torta, Liliana Ardissono, Luigi La Riccia, Adriano Savoca, Angioletta Voghera
Representing Ecological Network Specifications with Semantic Web Techniques. KEOD (2017)
Roberto Micalizio, Gianluca Torta
Explaining interdependent action delays in multiagent plans execution. Auton. Agents Multi Agent Syst. 30 (4) (2016)
Roberto Micalizio, Gianluca Torta
Scheduling with Structured Preferences. SGAI Conf. (2015)
Roberto Micalizio, Gianluca Torta
A Scheduling Tool for Conditionally Independent Temporal Preferences. ICTAI (2015)
Liliana Ardissono, Giovanna Petrone, Marino Segnan, Gianluca Torta
Intelligent user interfaces for calendar management. Intelligenza Artificiale 8 (2) (2014)
Gianluca Torta, Luca Anselma, Daniele Theseider Dupré
Exploiting abstractions in cost-sensitive abductive problem solving with observations and actions. AI Commun. 27 (3) (2014)
Liliana Ardissono, Giovanna Petrone, Marino Segnan, Gianluca Torta
Interacting with the User in Calendar Management. AI*HCI@AI*IA (2013)
Marco Boccalatte, Filippo Brogi, Francesco Catalfamo, Stefania Maddaluno, Michele Martino, Valter Mellano, Paolo Rosazza Prin, Filomena Solitro, Pietro Torasso, Gianluca Torta
A Multi-UAS Cooperative Mission Over Non-Segregated Civil Areas. J. Intell. Robotic Syst. 70 (1-4) (2013)
Gianluca Torta, Pietro Torasso
Automatic component abstraction for Model-Based Diagnosis on relational models. AI Commun. 26 (2) (2013)
Roberto Micalizio, Gianluca Torta
Diagnosing Dependent Action Delays in Temporal Multiagent Plans. SGAI Conf. (2013)
Roberto Micalizio, Gianluca Torta
Diagnosing Delays in Multi-Agent Plans Execution. ECAI (2012)
Liliana Ardissono, Giovanna Petrone, Gianluca Torta, Marino Segnan
Mixed-initiative Scheduling of Tasks in user Collaboration. WEBIST (2012)
Liliana Ardissono, Giovanna Petrone, Marino Segnan, Gianluca Torta
Mixed-Initiative Management of Online Calendars. WEBIST (Selected Papers) (2012)
Alban Grastien, Gianluca Torta
Reformulation for the Diagnosis of Discrete-Event Systems. SARA (2011)
Alban Grastien, Gianluca Torta
A Theory of Abstraction for Diagnosis of Discrete-Event Systems. SARA (2011)
Pietro Torasso, Gianluca Torta
Exploiting Automatic Validation in Human Mission Planning. SGAI Conf. (2011)
Gianluca Torta, Pietro Torasso
A Structural Approach to Sensor Placement based on Symbolic Compilation of the Model. SGAI Conf. (2010)
Gianluca Torta, Pietro Torasso
Parametric abstraction of behavioral modes for model-based diagnosis. AI Commun. 22 (2) (2009)
Gianluca Torta, Daniele Theseider Dupré
Abductive Problem Solving with Abstractions. SARA (2009)
Gianluca Torta, Pietro Torasso
Computation of Minimal Sensor Sets for Conditional Testability Requirements. ECAI (2008)
Gianluca Torta, Daniele Theseider Dupré, Luca Anselma
Cost-sensitive Iterative Abductive Reasoning with abstractions. ECAI (2008)
Lorenza Saitta, Pietro Torasso, Gianluca Torta
Formalizing the Abstraction Process in Model-Based Diagnosis. SARA (2007)
Gianluca Torta, Pietro Torasso
On the role of modeling causal independence for system model compilation with OBDDs. AI Commun. 20 (1) (2007)
Gianluca Torta, Pietro Torasso
An on-line approach to the computation and presentation of preferred diagnoses for dynamic systems. AI Commun. 20 (2) (2007)
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) (2006)
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) (2006)
Pietro Torasso, Gianluca Torta
Model-Based Diagnosis Through OBDD Compilation: A Complexity Analysis. Reasoning, Action and Interaction in AI Theories and Systems (2006)
Roberto Micalizio, Pietro Torasso, Gianluca Torta
Intelligent Supervision of Plan Execution in Multi-Agent Systems. Int. Trans. Syst. Sci. Appl. 1 (3) (2006)
Roberto Micalizio, Pietro Torasso, Gianluca Torta
Synthesizing Diagnostic Explanations from Monitoring Data in Multi-Robot Systems. Artificial Intelligence and Applications (2006)
Gianluca Torta, Pietro Torasso
On the Use of OBDDs in Model Based Diagnosis: an Approach Based on the Partition of the Model. SGAI Conf. (2005)
Pietro Torasso, Gianluca Torta
Compact Diagnoses Representation in Diagnostic Problem Solving. Comput. Intell. 21 (1) (2005)
Pietro Torasso, Gianluca Torta
Automatic Abstraction of Time-Varying System Models for Model Based Diagnosis. KI (2005)
Roberto Micalizio, Pietro Torasso, Gianluca Torta
On-Line Monitoring and Diagnosis of Multi-Agent Systems: A Model Based Approach. ECAI (2004)
Gianluca Torta, Pietro Torasso
Automatic Abstraction in Component-Based Diagnosis Driven by System Observability. IJCAI (2003)
Pietro Torasso, Gianluca Torta
Computing Minimum-Cardinality Diagnoses Using OBDDs. KI (2003)