Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Laura Pandolfo
@article{DBLP:journals/information/GuidottiPP23, author = {Dario Guidotti and Laura Pandolfo and Luca Pulina}, title = {Leveraging Satisfiability Modulo Theory Solvers for Verification of Neural Networks in Predictive Maintenance Applications}, journal = {Inf.}, volume = {14}, number = {7}, pages = {397}, year = {2023}, url = {https://doi.org/10.3390/info14070397}, doi = {10.3390/INFO14070397}, timestamp = {Fri, 18 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/information/GuidottiPP23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aiia/PandolfoCCPSS23, author = {Laura Pandolfo and Lucia Cardone and Lucia Cutzu and Raffaella Perna and Beatrice Seligardi and Giulia Simi}, editor = {Rossana Damiano and Stefano Ferilli and Manuel Striani and Gianmaria Silvello}, title = {The {WOW} Project: Bridging {AI} and Cultural Heritage for Actress Writings (short paper)}, booktitle = {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), Roma, Italy, November 6, 2023}, series = {{CEUR} Workshop Proceedings}, volume = {3536}, pages = {34--41}, publisher = {CEUR-WS.org}, year = {2023}, url = {https://ceur-ws.org/Vol-3536/04\_paper.pdf}, timestamp = {Mon, 04 Dec 2023 14:02:45 +0100}, biburl = {https://dblp.org/rec/conf/aiia/PandolfoCCPSS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/PandolfoP23, author = {Laura Pandolfo and Luca Pulina}, editor = {Agostino Dovier and Andrea Formisano}, title = {Unlocking Historical Insights: Developing a Dataset from Historical Archives}, booktitle = {Proceedings of the 38th Italian Conference on Computational Logic, Udine, Italy, June 21-23, 2023}, series = {{CEUR} Workshop Proceedings}, volume = {3428}, publisher = {CEUR-WS.org}, year = {2023}, url = {https://ceur-ws.org/Vol-3428/paper17.pdf}, timestamp = {Wed, 05 Jul 2023 16:52:15 +0200}, biburl = {https://dblp.org/rec/conf/cilc/PandolfoP23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eScience/GuidottiPP23, author = {Dario Guidotti and Laura Pandolfo and Luca Pulina}, title = {Verifying Neural Networks with {SMT:} An Experimental Evaluation}, booktitle = {19th {IEEE} International Conference on e-Science, e-Science 2023, Limassol, Cyprus, October 9-13, 2023}, pages = {1--2}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/e-Science58273.2023.10254877}, doi = {10.1109/E-SCIENCE58273.2023.10254877}, timestamp = {Fri, 29 Sep 2023 13:35:31 +0200}, biburl = {https://dblp.org/rec/conf/eScience/GuidottiPP23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eScience/GuidottiPP23a, author = {Dario Guidotti and Laura Pandolfo and Luca Pulina}, title = {Detection of Component Degradation: {A} Study on Autoencoder-Based Approaches}, booktitle = {19th {IEEE} International Conference on e-Science, e-Science 2023, Limassol, Cyprus, October 9-13, 2023}, pages = {1--2}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/e-Science58273.2023.10254890}, doi = {10.1109/E-SCIENCE58273.2023.10254890}, timestamp = {Fri, 29 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eScience/GuidottiPP23a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/etfa/GuidottiMPP23, author = {Dario Guidotti and Riccardo Masiero and Laura Pandolfo and Luca Pulina}, title = {Vector Reconstruction Error for Anomaly Detection: Preliminary Results in the {IMOCO4.E} Project}, booktitle = {28th {IEEE} International Conference on Emerging Technologies and Factory Automation, {ETFA} 2023, Sinaia, Romania, September 12-15, 2023}, pages = {1--4}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/ETFA54631.2023.10275396}, doi = {10.1109/ETFA54631.2023.10275396}, timestamp = {Mon, 23 Oct 2023 09:15:55 +0200}, biburl = {https://dblp.org/rec/conf/etfa/GuidottiMPP23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/etfa/GuidottiPP23, author = {Dario Guidotti and Laura Pandolfo and Luca Pulina}, title = {Verification of NNs in the {IMOCO4.E} Project: Preliminary Results}, booktitle = {28th {IEEE} International Conference on Emerging Technologies and Factory Automation, {ETFA} 2023, Sinaia, Romania, September 12-15, 2023}, pages = {1--4}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/ETFA54631.2023.10275345}, doi = {10.1109/ETFA54631.2023.10275345}, timestamp = {Mon, 23 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/etfa/GuidottiPP23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ictai/GuidottiPP23, author = {Dario Guidotti and Laura Pandolfo and Luca Pulina}, title = {Verifying Neural Networks with Non-Linear {SMT} Solvers: a Short Status Report}, booktitle = {35th {IEEE} International Conference on Tools with Artificial Intelligence, {ICTAI} 2023, Atlanta, GA, USA, November 6-8, 2023}, pages = {423--428}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/ICTAI59109.2023.00068}, doi = {10.1109/ICTAI59109.2023.00068}, timestamp = {Tue, 09 Jan 2024 16:43:57 +0100}, biburl = {https://dblp.org/rec/conf/ictai/GuidottiPP23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aiia/EramoFGPPZ22, author = {Romina Eramo and Tiziana Fanni and Dario Guidotti and Laura Pandolfo and Luca Pulina and Katiuscia Zedda}, editor = {Riccardo De Benedictis and Nicola Gatti and Marco Maratea and Andrea Micheli and Aniello Murano and Enrico Scala and Luciano Serafini and Ivan Serina and Alessandro Umbrico and Mauro Vallati}, title = {Verification of Neural Networks: Challenges and Perspectives in the AIDOaRt Project (Short Paper)}, booktitle = {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 - December 2, 2022, University of Udine, Udine, Italy}, series = {{CEUR} Workshop Proceedings}, volume = {3345}, publisher = {CEUR-WS.org}, year = {2022}, url = {https://ceur-ws.org/Vol-3345/paper9\_RiCeRCa2.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:01 +0100}, biburl = {https://dblp.org/rec/conf/aiia/EramoFGPPZ22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aiia/PandolfoCCSS22, author = {Laura Pandolfo and Lucia Cardone and Luisa Cutzu and Beatrice Seligardi and Giulia Simi}, editor = {Riccardo De Benedictis and Nicola Gatti and Marco Maratea and Andrea Micheli and Aniello Murano and Enrico Scala and Luciano Serafini and Ivan Serina and Alessandro Umbrico and Mauro Vallati}, title = {Building the Semantic Portal of Italian Divagrafie (Short Paper)}, booktitle = {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 - December 2, 2022, University of Udine, Udine, Italy}, series = {{CEUR} Workshop Proceedings}, volume = {3345}, publisher = {CEUR-WS.org}, year = {2022}, url = {https://ceur-ws.org/Vol-3345/paper11\_RiCeRCa4.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aiia/PandolfoCCSS22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/access/PandolfoPV21, author = {Laura Pandolfo and Luca Pulina and Simone Vuotto}, title = {SMT-Based Consistency Checking of Configuration-Based Components Specifications}, journal = {{IEEE} Access}, volume = {9}, pages = {83718--83726}, year = {2021}, url = {https://doi.org/10.1109/ACCESS.2021.3085911}, doi = {10.1109/ACCESS.2021.3085911}, timestamp = {Tue, 13 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/access/PandolfoPV21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijswis/PandolfoP21, author = {Laura Pandolfo and Luca Pulina}, title = {Building the Semantic Layer of the J{\'{o}}zef Pi{\l}sudski Digital Archive With an Ontology-Based Approach}, journal = {Int. J. Semantic Web Inf. Syst.}, volume = {17}, number = {4}, pages = {1--21}, year = {2021}, url = {https://doi.org/10.4018/ijswis.2021100101}, doi = {10.4018/IJSWIS.2021100101}, timestamp = {Mon, 22 Nov 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ijswis/PandolfoP21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/webist/PandolfoP21, author = {Laura Pandolfo and Luca Pulina}, editor = {Francisco Jos{\'{e}} Dom{\'{\i}}nguez Mayo and Massimo Marchiori and Joaquim Filipe}, title = {{ARKIVO} Dataset: {A} Benchmark for Ontology-based Extraction Tools}, booktitle = {Proceedings of the 17th International Conference on Web Information Systems and Technologies, {WEBIST} 2021, October 26-28, 2021}, pages = {341--345}, publisher = {{SCITEPRESS}}, year = {2021}, url = {https://doi.org/10.5220/0010677000003058}, doi = {10.5220/0010677000003058}, timestamp = {Tue, 06 Jun 2023 14:58:02 +0200}, biburl = {https://dblp.org/rec/conf/webist/PandolfoP21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijthi/PandolfoSPG20, author = {Laura Pandolfo and Sara Spanu and Luca Pulina and Enrico Grosso}, title = {Understanding and Modeling Visitor Behaviours for Enhancing Personalized Cultural Experiences}, journal = {Int. J. Technol. Hum. Interact.}, volume = {16}, number = {3}, pages = {24--38}, year = {2020}, url = {https://doi.org/10.4018/IJTHI.2020070102}, doi = {10.4018/IJTHI.2020070102}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijthi/PandolfoSPG20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ircdl/PandolfoPZ19, author = {Laura Pandolfo and Luca Pulina and Marek Zielinski}, editor = {Paolo Manghi and Leonardo Candela and Gianmaria Silvello}, title = {Exploring Semantic Archival Collections: The Case of Pi{\l}sudski Institute of America}, booktitle = {Digital Libraries: Supporting Open Science - 15th Italian Research Conference on Digital Libraries, {IRCDL} 2019, Pisa, Italy, January 31 - February 1, 2019, Proceedings}, series = {Communications in Computer and Information Science}, volume = {988}, pages = {107--121}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-11226-4\_9}, doi = {10.1007/978-3-030-11226-4\_9}, timestamp = {Tue, 21 Mar 2023 21:00:12 +0100}, biburl = {https://dblp.org/rec/conf/ircdl/PandolfoPZ19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/appis/PandolfoPG18, author = {Laura Pandolfo and Luca Pulina and Enrico Grosso}, editor = {Nicolai Petkov and Nicola Strisciuglio and Carlos Manuel Travieso{-}Gonz{\'{a}}lez}, title = {A User Model Ontology for Adaptive Systems in Cultural Tourism Domain}, booktitle = {Applications of Intelligent Systems - Proceedings of the 1st International {APPIS} Conference 2018, Las Palmas de Gran Canaria, Spain, 8-12 January 2018}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {310}, pages = {212--219}, publisher = {{IOS} Press}, year = {2018}, url = {https://doi.org/10.3233/978-1-61499-929-4-212}, doi = {10.3233/978-1-61499-929-4-212}, timestamp = {Wed, 20 Feb 2019 08:54:36 +0100}, biburl = {https://dblp.org/rec/conf/appis/PandolfoPG18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/appis/Khellat-KihelPP18, author = {Souad Khellat{-}Kihel and Laura Pandolfo and Luca Pulina and Enrico Grosso}, editor = {Nicolai Petkov and Nicola Strisciuglio and Carlos Manuel Travieso{-}Gonz{\'{a}}lez}, title = {On Leveraging Facial Emotion Recognition Techniques in Personalized Recommendations}, booktitle = {Applications of Intelligent Systems - Proceedings of the 1st International {APPIS} Conference 2018, Las Palmas de Gran Canaria, Spain, 8-12 January 2018}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {310}, pages = {220--230}, publisher = {{IOS} Press}, year = {2018}, url = {https://doi.org/10.3233/978-1-61499-929-4-220}, doi = {10.3233/978-1-61499-929-4-220}, timestamp = {Wed, 20 Feb 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/appis/Khellat-KihelPP18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/PandolfoPZ18, author = {Laura Pandolfo and Luca Pulina and Marek Zielinski}, editor = {Paolo Felli and Marco Montali}, title = {{ARKIVO:} an Ontology for Describing Archival Resources}, booktitle = {Proceedings of the 33rd Italian Conference on Computational Logic, Bolzano, Italy, September 20-22, 2018}, series = {{CEUR} Workshop Proceedings}, volume = {2214}, pages = {112--116}, publisher = {CEUR-WS.org}, year = {2018}, url = {https://ceur-ws.org/Vol-2214/paper12.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:46 +0100}, biburl = {https://dblp.org/rec/conf/cilc/PandolfoPZ18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ieaaie/PandolfoP17, author = {Laura Pandolfo and Luca Pulina}, editor = {Salem Benferhat and Karim Tabia and Moonis Ali}, title = {ADnOTO: {A} Self-adaptive System for Automatic Ontology-Based Annotation of Unstructured Documents}, booktitle = {Advances in Artificial Intelligence: From Theory to Practice - 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, {IEA/AIE} 2017, Arras, France, June 27-30, 2017, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {10350}, pages = {495--501}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-60042-0\_54}, doi = {10.1007/978-3-319-60042-0\_54}, timestamp = {Tue, 14 May 2019 10:00:37 +0200}, biburl = {https://dblp.org/rec/conf/ieaaie/PandolfoP17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/semweb/PandolfoPZ17, author = {Laura Pandolfo and Luca Pulina and Marek Zielinski}, editor = {Alessandro Adamou and Enrico Daga and Leif Isaksen}, title = {Towards an Ontology for Describing Archival Resources}, booktitle = {Proceedings of the Second Workshop on Humanities in the Semantic Web (WHiSe {II)} co-located with 16th International Semantic Web Conference {(ISWC} 2017), Vienna, Austria, October 22, 2017}, series = {{CEUR} Workshop Proceedings}, volume = {2014}, pages = {111--116}, publisher = {CEUR-WS.org}, year = {2017}, url = {https://ceur-ws.org/Vol-2014/paper-12.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:05 +0100}, biburl = {https://dblp.org/rec/conf/semweb/PandolfoPZ17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aiia/PandolfoPA16, author = {Laura Pandolfo and Luca Pulina and Giovanni Adorni}, editor = {Giovanni Adorni and Stefano Cagnoni and Marco Gori and Marco Maratea}, title = {A Framework for Automatic Population of Ontology-Based Digital Libraries}, booktitle = {AI*IA 2016: Advances in Artificial Intelligence - XVth International Conference of the Italian Association for Artificial Intelligence, Genova, Italy, November 29 - December 1, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10037}, pages = {406--417}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-49130-1\_30}, doi = {10.1007/978-3-319-49130-1\_30}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/aiia/PandolfoPA16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/KontchakovPPRZ16, author = {Roman Kontchakov and Laura Pandolfo and Luca Pulina and Vladislav Ryzhikov and Michael Zakharyaschev}, editor = {Subbarao Kambhampati}, title = {Temporal and Spatial {OBDA} with Many-Dimensional Halpern-Shoham Logic}, booktitle = {Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, {IJCAI} 2016, New York, NY, USA, 9-15 July 2016}, pages = {1160--1166}, publisher = {{IJCAI/AAAI} Press}, year = {2016}, url = {http://www.ijcai.org/Abstract/16/168}, timestamp = {Tue, 20 Aug 2019 16:19:00 +0200}, biburl = {https://dblp.org/rec/conf/ijcai/KontchakovPPRZ16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aiia/Pandolfo15, author = {Laura Pandolfo}, editor = {Elena Bellodi and Alessio Bonfietti}, title = {{STOLE:} {A} Reference Ontology for Historical Research Documents}, booktitle = {Proceedings of the Doctoral Consortium {(DC)} co-located with the 14th Conference of the Italian Association for Artificial Intelligence (AI*IA 2015), Ferrara, Italy, September 23-24, 2015}, series = {{CEUR} Workshop Proceedings}, volume = {1485}, pages = {13--18}, publisher = {CEUR-WS.org}, year = {2015}, url = {https://ceur-ws.org/Vol-1485/paper3.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:00 +0100}, biburl = {https://dblp.org/rec/conf/aiia/Pandolfo15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/PulinaMPPRT15, author = {Luca Pulina and Antonietta Mazzette and Laura Pandolfo and Elena Piga and Maria Laura Ruiu and Camillo Tidore}, editor = {Davide Ancona and Marco Maratea and Viviana Mascardi}, title = {Leveraging semantic web technologies for analysis of crime in social science}, booktitle = {Proceedings of the 30th Italian Conference on Computational Logic, Genova, Italy, July 1-3, 2015}, series = {{CEUR} Workshop Proceedings}, volume = {1459}, pages = {66--71}, publisher = {CEUR-WS.org}, year = {2015}, url = {https://ceur-ws.org/Vol-1459/paper15.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:46 +0100}, biburl = {https://dblp.org/rec/conf/cilc/PulinaMPPRT15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/AdorniMPP15, author = {Giovanni Adorni and Marco Maratea and Laura Pandolfo and Luca Pulina}, editor = {Diego Calvanese and Boris Konev}, title = {An Ontology-Based Archive for Historical Research}, booktitle = {Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015}, series = {{CEUR} Workshop Proceedings}, volume = {1350}, publisher = {CEUR-WS.org}, year = {2015}, url = {https://ceur-ws.org/Vol-1350/paper-41.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:17 +0100}, biburl = {https://dblp.org/rec/conf/dlog/AdorniMPP15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rr/AdorniMPP15, author = {Giovanni Adorni and Marco Maratea and Laura Pandolfo and Luca Pulina}, editor = {Balder ten Cate and Alessandra Mileo}, title = {An Ontology for Historical Research Documents}, booktitle = {Web Reasoning and Rule Systems - 9th International Conference, {RR} 2015, Berlin, Germany, August 4-5, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9209}, pages = {11--18}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-22002-4\_2}, doi = {10.1007/978-3-319-22002-4\_2}, timestamp = {Sat, 09 Apr 2022 12:41:08 +0200}, biburl = {https://dblp.org/rec/conf/rr/AdorniMPP15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.