Laura Pandolfo

40 papers A* 1B 4C 5Journal 8Unranked 21
YearRankTypeTitle / Venue / Authors
2025 J jnl
A Knowledge-Driven Approach to Threat Validation and Security Reasoning in Modular Systems.
IEEE Access
Laura Pandolfo, Giorgio Corona, Dario Guidotti, Luca Pulina
2025 — conf
A Multi-Modal Knowledge Graph for Mapping Narratives of Cinema's Divas.
IRCDL
Giorgio Corona, Dario Guidotti, Laura Pandolfo
2025 J jnl
A Systematic Literature Review of Supervised Machine Learning Techniques for Predictive Maintenance in Industry 4.0.
IEEE Access
Dario Guidotti, Laura Pandolfo, Luca Pulina
2025 J jnl
Discovering sentiment insights: streamlining tourism review analysis with Large Language Models.
J. Inf. Technol. Tour.
Dario Guidotti, Laura Pandolfo, Luca Pulina
2025 — ed.
Proceedings of the 40th Italian Conference on Computational Logic, Alghero, Italy, June 25-27, 2025.
CILC
Dario Guidotti, Laura Pandolfo, Luca Pulina
2025 — conf
SKET-Monitor: A Knowledge-Driven AI System for Sustainable Environmental and Territorial Monitoring.
Green-Aware AI@ECAI
Veronica Camerada, Dario Guidotti, Salvatore Lampreu, Laura Pandolfo, Luca Pulina
2025 J jnl
SynthVal: A Framework for Validating Synthetic Medical Images.
IEEE Access
Dario Guidotti, Laura Pandolfo, Alberto Gutierrez-Torre, Omar Lopez-Rubio, Luca Pulina
2024 — conf
Anomaly Recognition with Trustworthy Neural Networks: a Case Study in Elevator Control.
AI4CC-IPS-RCRA-SPIRIT@AI*IA
Dario Guidotti, Laura Pandolfo, Luca Pulina
2024 — conf
Bistìris Ontology: Towards a Structured Representation of Sardinian Traditional Female Costumes.
SemDH@ESWC
Giorgio Corona, Dario Guidotti, Laura Pandolfo, Luca Pulina
2024 — conf
Constructing a Knowledge Graph for Italian Cinema Divas' Autobiographies (short paper).
IAI4CH@AI*IA
Giorgio Corona, Dario Guidotti, Laura Pandolfo
2024 C conf
Formal Verification of Neural Networks: A "Step Zero" Approach for Vehicle Detection.
IEA/AIE
Dario Guidotti, Laura Pandolfo, Luca Pulina
2024 B conf
LLMs for Sentiment Analysis in Tourism Reviews: A Resource-Efficient Approach.
ICTAI
Dario Guidotti, Laura Pandolfo, Luca Pulina
2024 — conf
Translating Requirements in Property Specification Patterns using LLMs.
AI4CC-IPS-RCRA-SPIRIT@AI*IA
Dario Guidotti, Laura Pandolfo, Tiziana Fanni, Katiuscia Zedda, Luca Pulina
2024 C conf
Verifying Autoencoders for Anomaly Detection in Predictive Maintenance.
IEA/AIE
Dario Guidotti, Laura Pandolfo, Luca Pulina
2023 B conf
Detection of Component Degradation: A Study on Autoencoder-Based Approaches.
e-Science
Dario Guidotti, Laura Pandolfo, Luca Pulina
2023 J jnl
Leveraging Satisfiability Modulo Theory Solvers for Verification of Neural Networks in Predictive Maintenance Applications.
Inf.
Dario Guidotti, Laura Pandolfo, Luca Pulina
2023 — conf
The WOW Project: Bridging AI and Cultural Heritage for Actress Writings (short paper).
IAI4CH@AI*IA
Laura Pandolfo, Lucia Cardone, Lucia Cutzu, Raffaella Perna, Beatrice Seligardi, Giulia Simi
2023 — conf
Unlocking Historical Insights: Developing a Dataset from Historical Archives.
CILC
Laura Pandolfo, Luca Pulina
2023 C conf
Vector Reconstruction Error for Anomaly Detection: Preliminary Results in the IMOCO4.E Project.
ETFA
Dario Guidotti, Riccardo Masiero, Laura Pandolfo, Luca Pulina
2023 C conf
Verification of NNs in the IMOCO4.E Project: Preliminary Results.
ETFA
Dario Guidotti, Laura Pandolfo, Luca Pulina
2023 B conf
Verifying Neural Networks with Non-Linear SMT Solvers: a Short Status Report.
ICTAI
Dario Guidotti, Laura Pandolfo, Luca Pulina
2023 B conf
Verifying Neural Networks with SMT: An Experimental Evaluation.
e-Science
Dario Guidotti, Laura Pandolfo, Luca Pulina
2022 — conf
Building the Semantic Portal of Italian Divagrafie (Short Paper).
IPS/RiCeRcA/SPIRIT@AI*IA
Laura Pandolfo, Lucia Cardone, Luisa Cutzu, Beatrice Seligardi, Giulia Simi
2022 — conf
Verification of Neural Networks: Challenges and Perspectives in the AIDOaRt Project (Short Paper).
IPS/RiCeRcA/SPIRIT@AI*IA
Romina Eramo, Tiziana Fanni, Dario Guidotti, Laura Pandolfo, Luca Pulina, Katiuscia Zedda
2021 C conf
ARKIVO Dataset: A Benchmark for Ontology-based Extraction Tools.
WEBIST
Laura Pandolfo, Luca Pulina
2021 J jnl
Building the Semantic Layer of the Józef Piłsudski Digital Archive With an Ontology-Based Approach.
Int. J. Semantic Web Inf. Syst.
Laura Pandolfo, Luca Pulina
2021 J jnl
SMT-Based Consistency Checking of Configuration-Based Components Specifications.
IEEE Access
Laura Pandolfo, Luca Pulina, Simone Vuotto
2020 J jnl
Understanding and Modeling Visitor Behaviours for Enhancing Personalized Cultural Experiences.
Int. J. Technol. Hum. Interact.
Laura Pandolfo, Sara Spanu, Luca Pulina, Enrico Grosso
2019 — conf
Exploring Semantic Archival Collections: The Case of Piłsudski Institute of America.
IRCDL
Laura Pandolfo, Luca Pulina, Marek Zielinski
2018 — conf
A User Model Ontology for Adaptive Systems in Cultural Tourism Domain.
APPIS
Laura Pandolfo, Luca Pulina, Enrico Grosso
2018 — conf
ARKIVO: an Ontology for Describing Archival Resources.
CILC
Laura Pandolfo, Luca Pulina, Marek Zielinski
2018 — conf
On Leveraging Facial Emotion Recognition Techniques in Personalized Recommendations.
APPIS
Souad Khellat-Kihel, Laura Pandolfo, Luca Pulina, Enrico Grosso
2017 — conf
ADnOTO: A Self-adaptive System for Automatic Ontology-Based Annotation of Unstructured Documents.
IEA/AIE (1)
Laura Pandolfo, Luca Pulina
2017 — conf
Towards an Ontology for Describing Archival Resources.
WHiSe@ISWC
Laura Pandolfo, Luca Pulina, Marek Zielinski
2016 — conf
A Framework for Automatic Population of Ontology-Based Digital Libraries.
AI*IA
Laura Pandolfo, Luca Pulina, Giovanni Adorni
2016 A* conf
Temporal and Spatial OBDA with Many-Dimensional Halpern-Shoham Logic.
IJCAI
Roman Kontchakov, Laura Pandolfo, Luca Pulina, Vladislav Ryzhikov, Michael Zakharyaschev
2015 — conf
An Ontology for Historical Research Documents.
RR
Giovanni Adorni, Marco Maratea, Laura Pandolfo, Luca Pulina
2015 — conf
An Ontology-Based Archive for Historical Research.
Description Logics
Giovanni Adorni, Marco Maratea, Laura Pandolfo, Luca Pulina
2015 — conf
Leveraging semantic web technologies for analysis of crime in social science.
CILC
Luca Pulina, Antonietta Mazzette, Laura Pandolfo, Elena Piga, Maria Laura Ruiu, Camillo Tidore
2015 — conf
STOLE: A Reference Ontology for Historical Research Documents.
DC@AI*IA
Laura Pandolfo