3 citations · 8 across the 11 of their papers we have counts for
4 papers · 1 filter
Complexity of Safety and coSafety Fragments of Linear Temporal Logic
Alessandro Artale, Luca Geatti, Nicola Gigante +2
Linear Temporal Logic (LTL) is the de-facto standard temporal logic for system specification, whose foundational properties have been studied for over five decades. Safety and cosa…
An Ontology for Defect Detection in Metal Additive Manufacturing
Massimo Carraturo, Andrea Mazzullo
A key challenge for Industry 4.0 applications is to develop control systems for automated manufacturing services that are capable of addressing both data integration and semantic i…
Reasoning in Non-normal Modal Description Logics
Tiziano Dalmonte, Andrea Mazzullo, Ana Ozaki
Non-normal modal logics, interpreted on neighbourhood models which generalise the usual relational semantics, have found application in several areas, such as epistemic, deontic, a…
First-order Temporal Logic on Finite Traces: Semantic Properties, Decidable Fragments, and Applications
Alessandro Artale, Andrea Mazzullo, Ana Ozaki
Formalisms based on temporal logics interpreted over finite strict linear orders, known in the literature as finite traces, have been used for temporal specification in automated p…