Laura Pandolfo

40 papers A* 1B 4C 5Journal 8Unranked 21

Year	Rank	Type	Title / 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