Trust Signal Map
Public graph snapshot linking moderation, structured review and trust-aware ranking.
Graph explorer
Research map
Explore the papers, people and topics connected to your research.
Drag to move · Scroll or pinch to zoom · Select a node for details
6 links
Alessandro Artale
Researcher
PaperFirst-order Temporal Logic on Finite Traces: Semantic Properties, Decidable Fragments, and ApplicationsAuthorship / preprint / 2022PaperTemporal Description Logic for Ontology-Based Data Access (Extended Version)Authorship / preprint / 2013PaperThe DL-Lite Family and RelationsAuthorship / preprint / 2014PaperA Cookbook for Temporal Conceptual Data Modelling with Description LogicsAuthorship / preprint / 2014PaperExtending DLR with Labelled Tuples, Projections, Functional Dependencies and Objectification (full version)Authorship / preprint / 2016PaperAutomated Reasoning in Temporal DL-LiteAuthorship / preprint / 2020