Towards an Ontology-Based Framework to Generate Diagnostic Decision Support Systems. - Giuseppe Cicala; Marco Oreggia; Armando Tacchella (AI*IA, 2013)

OBDA and Intermodal Logistics: Active Projects and Applications. - Jean-Rémi Bourguet; Giuseppe Cicala; Luca Pulina; Armando Tacchella (RR, 2013)

Ontology-based data access: An application to intermodal logistics. - Matteo Casu; Giuseppe Cicala; Armando Tacchella (Inf. Syst. Frontiers, 2013)

Engineering Approaches and Methods to Verify Software in Autonomous Systems. - Giuseppe Cicala; Ali Khalili; Giorgio Metta; Lorenzo Natale; Shashank Pathak; Luca Pulina; Armando Tacchella (IAS, 2014)

A Multi-Formalism Framework To Generate Diagnostic Decision Support Systems. - Giuseppe Cicala; Marco De Luca; Marco Oreggia; Armando Tacchella (ECMS, 2016)

Telling Faults From Cyber-Attacks In A Multi-Modal Logistic System With Complex Network Analysis. - Dario Guidotti; Giuseppe Cicala; Tommaso Gili; Armando Tacchella (ECMS, 2021)

Formalizing the Execution Context of Behavior Trees for Runtime Verification of Deliberative Policies. - Michele Colledanchise; Giuseppe Cicala; Daniele E. Domenichelli; Lorenzo Natale; Armando Tacchella (IROS, 2021)

A Toolchain to Design, Execute, and Monitor Robots Behaviors. - Michele Colledanchise; Giuseppe Cicala; Daniele E. Domenichelli; Lorenzo Natale; Armando Tacchella (CoRR, 2021)

A comparison of declarative AI techniques for computer automated design of elevator systems. - Giuseppe Cicala; Stefano Demarchi; Marco Menapace; Leopoldo Annunziata; Armando Tacchella (Intelligenza Artificiale, 2022)