Laura Pandolfo

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 25

Top Topics

Anomaly Detection

Consistency Checking

Structured Representation

Top Venues

IPS/RiCeRcA/SPIRIT@AI*IA

Publications

Giorgio Corona, Dario Guidotti, Laura Pandolfo, Luca Pulina
Bistìris Ontology: Towards a Structured Representation of Sardinian Traditional Female Costumes. SemDH@ESWC (2024)
Dario Guidotti, Laura Pandolfo, Luca Pulina
Verifying Autoencoders for Anomaly Detection in Predictive Maintenance. IEA/AIE (2024)
Dario Guidotti, Laura Pandolfo, Luca Pulina
Formal Verification of Neural Networks: A "Step Zero" Approach for Vehicle Detection. IEA/AIE (2024)
Dario Guidotti, Laura Pandolfo, Luca Pulina
Verifying Neural Networks with SMT: An Experimental Evaluation. e-Science (2023)
Dario Guidotti, Laura Pandolfo, Luca Pulina
Detection of Component Degradation: A Study on Autoencoder-Based Approaches. e-Science (2023)
Laura Pandolfo, Luca Pulina
Unlocking Historical Insights: Developing a Dataset from Historical Archives. CILC (2023)
Dario Guidotti, Laura Pandolfo, Luca Pulina
Leveraging Satisfiability Modulo Theory Solvers for Verification of Neural Networks in Predictive Maintenance Applications. Inf. 14 (7) (2023)
Dario Guidotti, Riccardo Masiero, Laura Pandolfo, Luca Pulina
Vector Reconstruction Error for Anomaly Detection: Preliminary Results in the IMOCO4.E Project. ETFA (2023)
Dario Guidotti, Laura Pandolfo, Luca Pulina
Verifying Neural Networks with Non-Linear SMT Solvers: a Short Status Report. ICTAI (2023)
Dario Guidotti, Laura Pandolfo, Luca Pulina
Verification of NNs in the IMOCO4.E Project: Preliminary Results. ETFA (2023)
Laura Pandolfo, Lucia Cardone, Lucia Cutzu, Raffaella Perna, Beatrice Seligardi, Giulia Simi
The WOW Project: Bridging AI and Cultural Heritage for Actress Writings (short paper). IAI4CH@AI*IA (2023)
Laura Pandolfo, Lucia Cardone, Luisa Cutzu, Beatrice Seligardi, Giulia Simi
Building the Semantic Portal of Italian Divagrafie (Short Paper). IPS/RiCeRcA/SPIRIT@AI*IA (2022)
Romina Eramo, Tiziana Fanni, Dario Guidotti, Laura Pandolfo, Luca Pulina, Katiuscia Zedda
Verification of Neural Networks: Challenges and Perspectives in the AIDOaRt Project (Short Paper). IPS/RiCeRcA/SPIRIT@AI*IA (2022)
Laura Pandolfo, Luca Pulina
Building the Semantic Layer of the Józef Piłsudski Digital Archive With an Ontology-Based Approach. Int. J. Semantic Web Inf. Syst. 17 (4) (2021)
Laura Pandolfo, Luca Pulina, Simone Vuotto
SMT-Based Consistency Checking of Configuration-Based Components Specifications. IEEE Access 9 (2021)
Laura Pandolfo, Luca Pulina
ARKIVO Dataset: A Benchmark for Ontology-based Extraction Tools. WEBIST (2021)
Laura Pandolfo, Sara Spanu, Luca Pulina, Enrico Grosso
Understanding and Modeling Visitor Behaviours for Enhancing Personalized Cultural Experiences. Int. J. Technol. Hum. Interact. 16 (3) (2020)
Laura Pandolfo, Luca Pulina, Marek Zielinski
Exploring Semantic Archival Collections: The Case of Piłsudski Institute of America. IRCDL (2019)
Laura Pandolfo, Luca Pulina, Enrico Grosso
A User Model Ontology for Adaptive Systems in Cultural Tourism Domain. APPIS (2018)
Laura Pandolfo, Luca Pulina, Marek Zielinski
ARKIVO: an Ontology for Describing Archival Resources. CILC (2018)
Souad Khellat-Kihel, Laura Pandolfo, Luca Pulina, Enrico Grosso
On Leveraging Facial Emotion Recognition Techniques in Personalized Recommendations. APPIS (2018)
Laura Pandolfo, Luca Pulina, Marek Zielinski
Towards an Ontology for Describing Archival Resources. WHiSe@ISWC (2017)
Laura Pandolfo, Luca Pulina
ADnOTO: A Self-adaptive System for Automatic Ontology-Based Annotation of Unstructured Documents. IEA/AIE (1) (2017)
Laura Pandolfo, Luca Pulina, Giovanni Adorni
A Framework for Automatic Population of Ontology-Based Digital Libraries. AI*IA (2016)
Roman Kontchakov, Laura Pandolfo, Luca Pulina, Vladislav Ryzhikov, Michael Zakharyaschev
Temporal and Spatial OBDA with Many-Dimensional Halpern-Shoham Logic. IJCAI (2016)
Luca Pulina, Antonietta Mazzette, Laura Pandolfo, Elena Piga, Maria Laura Ruiu, Camillo Tidore
Leveraging semantic web technologies for analysis of crime in social science. CILC (2015)
Giovanni Adorni, Marco Maratea, Laura Pandolfo, Luca Pulina
An Ontology for Historical Research Documents. RR (2015)
Laura Pandolfo
STOLE: A Reference Ontology for Historical Research Documents. DC@AI*IA (2015)
Giovanni Adorni, Marco Maratea, Laura Pandolfo, Luca Pulina
An Ontology-Based Archive for Historical Research. Description Logics (2015)