Laura Pandolfo

According to our database, Laura Pandolfo authored at least 26 papers between 2015 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Leveraging Satisfiability Modulo Theory Solvers for Verification of Neural Networks in Predictive Maintenance Applications.

Dario Guidotti, Laura Pandolfo, Luca Pulina

Inf., 2023

Verifying Neural Networks with Non-Linear SMT Solvers: a Short Status Report.

Dario Guidotti, Laura Pandolfo, Luca Pulina

Proceedings of the 35th IEEE International Conference on Tools with Artificial Intelligence, 2023

Verification of NNs in the IMOCO4.E Project: Preliminary Results.

Dario Guidotti, Laura Pandolfo, Luca Pulina

Proceedings of the 28th IEEE International Conference on Emerging Technologies and Factory Automation, 2023

Vector Reconstruction Error for Anomaly Detection: Preliminary Results in the IMOCO4.E Project.

Dario Guidotti, Riccardo Masiero, Laura Pandolfo, Luca Pulina

Proceedings of the 28th IEEE International Conference on Emerging Technologies and Factory Automation, 2023

Detection of Component Degradation: A Study on Autoencoder-Based Approaches.

Dario Guidotti, Laura Pandolfo, Luca Pulina

Proceedings of the 19th IEEE International Conference on e-Science, 2023

Verifying Neural Networks with SMT: An Experimental Evaluation.

Dario Guidotti, Laura Pandolfo, Luca Pulina

Proceedings of the 19th IEEE International Conference on e-Science, 2023

Unlocking Historical Insights: Developing a Dataset from Historical Archives.

Laura Pandolfo, Luca Pulina

Proceedings of the 38th Italian Conference on Computational Logic, 2023

The WOW Project: Bridging AI and Cultural Heritage for Actress Writings (short paper).

Laura Pandolfo, Lucia Cardone, Lucia Cutzu, Raffaella Perna, Beatrice Seligardi, Giulia Simi

Proceedings of the 2nd Workshop on Artificial Intelligence for Cultural Heritage (IAI4CH 2023) co-located with the 22nd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2023), 2023

2022

Building the Semantic Portal of Italian Divagrafie (Short Paper).

Laura Pandolfo, Lucia Cardone, Luisa Cutzu, Beatrice Seligardi, Giulia Simi

Proceedings of the 10th Italian workshop on Planning and Scheduling (IPS 2022), RCRA Incontri E Confronti (RiCeRcA 2022), and the workshop on Strategies, Prediction, Interaction, and Reasoning in Italy (SPIRIT 2022) co-located with 21st International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022), November 28, 2022

Verification of Neural Networks: Challenges and Perspectives in the AIDOaRt Project (Short Paper).

Romina Eramo, Tiziana Fanni, Dario Guidotti, Laura Pandolfo, Luca Pulina, Katiuscia Zedda

Proceedings of the 10th Italian workshop on Planning and Scheduling (IPS 2022), RCRA Incontri E Confronti (RiCeRcA 2022), and the workshop on Strategies, Prediction, Interaction, and Reasoning in Italy (SPIRIT 2022) co-located with 21st International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022), November 28, 2022

2021

Building the Semantic Layer of the Józef Piłsudski Digital Archive With an Ontology-Based Approach.

Laura Pandolfo, Luca Pulina

Int. J. Semantic Web Inf. Syst., 2021

SMT-Based Consistency Checking of Configuration-Based Components Specifications.

Laura Pandolfo, Luca Pulina, Simone Vuotto

IEEE Access, 2021

ARKIVO Dataset: A Benchmark for Ontology-based Extraction Tools.

Laura Pandolfo, Luca Pulina

Proceedings of the 17th International Conference on Web Information Systems and Technologies, 2021

2020

Understanding and Modeling Visitor Behaviours for Enhancing Personalized Cultural Experiences.

Laura Pandolfo, Sara Spanu, Luca Pulina, Enrico Grosso

Int. J. Technol. Hum. Interact., 2020

2019

Exploring Semantic Archival Collections: The Case of Piłsudski Institute of America.

Laura Pandolfo, Luca Pulina, Marek Zielinski

Proceedings of the Digital Libraries: Supporting Open Science, 2019

2018

ARKIVO: an Ontology for Describing Archival Resources.

Laura Pandolfo, Luca Pulina, Marek Zielinski

Proceedings of the 33rd Italian Conference on Computational Logic, 2018

A User Model Ontology for Adaptive Systems in Cultural Tourism Domain.

Laura Pandolfo, Luca Pulina, Enrico Grosso

Proceedings of the Applications of Intelligent Systems, 2018

On Leveraging Facial Emotion Recognition Techniques in Personalized Recommendations.

Souad Khellat-Kihel, Laura Pandolfo, Luca Pulina, Enrico Grosso

Proceedings of the Applications of Intelligent Systems, 2018

2017

Towards an Ontology for Describing Archival Resources.

Laura Pandolfo, Luca Pulina, Marek Zielinski

Proceedings of the Second Workshop on Humanities in the Semantic Web (WHiSe II) co-located with 16th International Semantic Web Conference (ISWC 2017), 2017

ADnOTO: A Self-adaptive System for Automatic Ontology-Based Annotation of Unstructured Documents.

Laura Pandolfo, Luca Pulina

Proceedings of the Advances in Artificial Intelligence: From Theory to Practice, 2017

2016

Temporal and Spatial OBDA with Many-Dimensional Halpern-Shoham Logic.

Roman Kontchakov, Laura Pandolfo, Luca Pulina, Vladislav Ryzhikov, Michael Zakharyaschev

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

A Framework for Automatic Population of Ontology-Based Digital Libraries.

Laura Pandolfo, Luca Pulina, Giovanni Adorni

Proceedings of the AI*IA 2016: Advances in Artificial Intelligence - XVth International Conference of the Italian Association for Artificial Intelligence, Genova, Italy, November 29, 2016

2015

An Ontology for Historical Research Documents.

Giovanni Adorni, Marco Maratea, Laura Pandolfo, Luca Pulina

Proceedings of the Web Reasoning and Rule Systems - 9th International Conference, 2015

An Ontology-Based Archive for Historical Research.

Giovanni Adorni, Marco Maratea, Laura Pandolfo, Luca Pulina

Proceedings of the 28th International Workshop on Description Logics, 2015

Leveraging semantic web technologies for analysis of crime in social science.

Luca Pulina, Antonietta Mazzette, Laura Pandolfo, Elena Piga, Maria Laura Ruiu, Camillo Tidore

Proceedings of the 30th Italian Conference on Computational Logic, 2015

STOLE: A Reference Ontology for Historical Research Documents.

Laura Pandolfo

Proceedings of the Doctoral Consortium (DC) co-located with the 14th Conference of the Italian Association for Artificial Intelligence (AI*IA 2015), 2015