Laura Pandolfo

Proceedings of the International Workshop on Artificial Intelligence for Climate Change, 2024

Translating Requirements in Property Specification Patterns using LLMs.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Artificial Intelligence for Climate Change, 2024

Formal Verification of Neural Networks: A "Step Zero" Approach for Vehicle Detection.

[BibT_eX]

[DOI]

Proceedings of the Advances and Trends in Artificial Intelligence. Theory and Applications, 2024

Verifying Autoencoders for Anomaly Detection in Predictive Maintenance.

[BibT_eX]

[DOI]

Proceedings of the Advances and Trends in Artificial Intelligence. Theory and Applications, 2024

Constructing a Knowledge Graph for Italian Cinema Divas' Autobiographies (short paper).

[BibT_eX]

[DOI]

Giorgio Corona

Proceedings of the 3rd Workshop on Artificial Intelligence for Cultural Heritage (IAI4CH 2024) co-located with the 23rd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2024), 2024

2023

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

[BibT_eX]

[DOI]

Inf., 2023

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

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

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

Verifying Neural Networks with SMT: An Experimental Evaluation.

[BibT_eX]

[DOI]

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

Unlocking Historical Insights: Developing a Dataset from Historical Archives.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

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).

[BibT_eX]

[DOI]

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).

[BibT_eX]

[DOI]

2021

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

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

Simone Vuotto

IEEE Access, 2021

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

[BibT_eX]

[DOI]

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

2020

Understanding and Modeling Visitor Behaviours for Enhancing Personalized Cultural Experiences.

[BibT_eX]

[DOI]

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

2019

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

[BibT_eX]

[DOI]

Marek Zielinski

Proceedings of the Digital Libraries: Supporting Open Science, 2019

2018

ARKIVO: an Ontology for Describing Archival Resources.

[BibT_eX]

[DOI]

Marek Zielinski

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

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

[BibT_eX]

[DOI]

Enrico Grosso

Proceedings of the Applications of Intelligent Systems, 2018

On Leveraging Facial Emotion Recognition Techniques in Personalized Recommendations.

[BibT_eX]

[DOI]

Proceedings of the Applications of Intelligent Systems, 2018

2017

Towards an Ontology for Describing Archival Resources.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

2016

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

[BibT_eX]

[DOI]

Michael Zakharyaschev

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

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

An Ontology-Based Archive for Historical Research.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

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

STOLE: A Reference Ontology for Historical Research Documents.

[BibT_eX]

[DOI]