default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Luca Pulina
@inproceedings{DBLP:conf/date/0001AAABBBBSDFF24,
author = {Francesco Regazzoni and
Gergely {\'{A}}cs and
Albert Zoltan Aszalos and
Christos Avgerinos and
Nikolaos Bakalos and
Josep Lluis Berral and
Joppe W. Bos and
Marco Brohet and
Andr{\'{e}}s G. Castillo Sanz and
Gareth T. Davies and
Stefanos Florescu and
Pierre{-}Elis{\'{e}}e Flory and
Alberto Gutierrez{-}Torre and
Evangelos Haleplidis and
Alice H{\'{e}}liou and
Sotirios Ioannidis and
Alexander Islam El{-}Kady and
Katarzyna Kapusta and
Konstantina Karagianni and
Pieter Kruizinga and
Kyrian Maat and
Zolt{\'{a}}n {\'{A}}d{\'{a}}m Mann and
Kalliopi Mastoraki and
SeoJeong Moon and
Maja Nisevic and
Bal{\'{a}}zs Pej{\'{o}} and
Kostas Papagiannopoulos and
Vassilis Paliouras and
Paolo Palmieri and
Francesca Palumbo and
Juan Carlos P{\'{e}}rez Baun and
P{\'{e}}ter Pollner and
Eduard Porta{-}Pardo and
Luca Pulina and
Muhammad Ali Siddiqi and
Daniela Spajic and
Christos Strydis and
Georgios Tasopoulos and
Vincent Thouvenot and
Christos Tselios and
Apostolos P. Fournaris},
title = {{SECURED} for Health: Scaling Up Privacy to Enable the Integration
of the European Health Data Space},
booktitle = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition,
{DATE} 2024, Valencia, Spain, March 25-27, 2024},
pages = {1--4},
publisher = {{IEEE}},
year = {2024},
url = {https://ieeexplore.ieee.org/document/10546514},
timestamp = {Mon, 17 Jun 2024 14:45:14 +0200},
biburl = {https://dblp.org/rec/conf/date/0001AAABBBBSDFF24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ieaaie/GuidottiPP24,
author = {Dario Guidotti and
Laura Pandolfo and
Luca Pulina},
editor = {Hamido Fujita and
Richard Cimler and
Andres Hernandez{-}Matamoros and
Moonis Ali},
title = {Verifying Autoencoders for Anomaly Detection in Predictive Maintenance},
booktitle = {Advances and Trends in Artificial Intelligence. Theory and Applications
- 37th International Conference on Industrial, Engineering and Other
Applications of Applied Intelligent Systems, {IEA/AIE} 2024, Hradec
Kralove, Czech Republic, July 10-12, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14748},
pages = {188--199},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-981-97-4677-4\_16},
doi = {10.1007/978-981-97-4677-4\_16},
timestamp = {Fri, 02 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ieaaie/GuidottiPP24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ieaaie/GuidottiPP24a,
author = {Dario Guidotti and
Laura Pandolfo and
Luca Pulina},
editor = {Hamido Fujita and
Richard Cimler and
Andres Hernandez{-}Matamoros and
Moonis Ali},
title = {Formal Verification of Neural Networks: {A} "Step Zero"
Approach for Vehicle Detection},
booktitle = {Advances and Trends in Artificial Intelligence. Theory and Applications
- 37th International Conference on Industrial, Engineering and Other
Applications of Applied Intelligent Systems, {IEA/AIE} 2024, Hradec
Kralove, Czech Republic, July 10-12, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14748},
pages = {297--309},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-981-97-4677-4\_25},
doi = {10.1007/978-981-97-4677-4\_25},
timestamp = {Fri, 02 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ieaaie/GuidottiPP24a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semdh/CoronaGPP24,
author = {Giorgio Corona and
Dario Guidotti and
Laura Pandolfo and
Luca Pulina},
title = {Bist{\`{\i}}ris Ontology: Towards a Structured Representation of Sardinian
Traditional Female Costumes},
booktitle = {SemDH@ESWC},
year = {2024},
url = {https://ceur-ws.org/Vol-3724/paper1.pdf},
timestamp = {Fri, 26 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/semdh/CoronaGPP24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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/cav/DemarchiGPT23,
author = {Stefano Demarchi and
Dario Guidotti and
Luca Pulina and
Armando Tacchella},
editor = {Nina Narodytska and
Guy Amir and
Guy Katz and
Omri Isac},
title = {Supporting Standardization of Neural Networks Verification with {VNNLIB}
and CoCoNet},
booktitle = {Proceedings of the 6th Workshop on Formal Methods for ML-Enabled Autonomous
Systems, FoMLAS@CAV 2023, Paris, France, July 17-18, 2023},
series = {Kalpa Publications in Computing},
volume = {16},
pages = {47--58},
publisher = {EasyChair},
year = {2023},
url = {https://doi.org/10.29007/5pdh},
doi = {10.29007/5PDH},
timestamp = {Wed, 29 May 2024 17:14:11 +0200},
biburl = {https://dblp.org/rec/conf/cav/DemarchiGPT23.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/AngilicaILP22,
author = {Denise Angilica and
Giovambattista Ianni and
Francesca A. Lisi and
Luca Pulina},
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 = {{AI} and Videogames: a "Drosophila" for Declarative Methods},
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/paper8\_RiCeRCa1.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:01 +0100},
biburl = {https://dblp.org/rec/conf/aiia/AngilicaILP22.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 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/EramoFGPPZ22.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/atva/GuidottiPT21,
author = {Dario Guidotti and
Luca Pulina and
Armando Tacchella},
editor = {Zhe Hou and
Vijay Ganesh},
title = {pyNeVer: {A} Framework for Learning and Verification of Neural Networks},
booktitle = {Automated Technology for Verification and Analysis - 19th International
Symposium, {ATVA} 2021, Gold Coast, QLD, Australia, October 18-22,
2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12971},
pages = {357--363},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-88885-5\_23},
doi = {10.1007/978-3-030-88885-5\_23},
timestamp = {Mon, 01 Jul 2024 10:37:52 +0200},
biburl = {https://dblp.org/rec/conf/atva/GuidottiPT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/BeyersdorffPSS21,
author = {Olaf Beyersdorff and
Luca Pulina and
Martina Seidl and
Ankit Shukla},
editor = {Chu{-}Min Li and
Felip Many{\`{a}}},
title = {QBFFam: {A} Tool for Generating {QBF} Families from Proof Complexity},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2021 - 24th
International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12831},
pages = {21--29},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-80223-3\_3},
doi = {10.1007/978-3-030-80223-3\_3},
timestamp = {Thu, 29 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/BeyersdorffPSS21.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/ecai/GuidottiLPT20,
author = {Dario Guidotti and
Francesco Leofante and
Luca Pulina and
Armando Tacchella},
editor = {Giuseppe De Giacomo and
Alejandro Catal{\'{a}} and
Bistra Dilkina and
Michela Milano and
Sen{\'{e}}n Barro and
Alberto Bugar{\'{\i}}n and
J{\'{e}}r{\^{o}}me Lang},
title = {Verification of Neural Networks: Enhancing Scalability Through Pruning},
booktitle = {{ECAI} 2020 - 24th European Conference on Artificial Intelligence,
29 August-8 September 2020, Santiago de Compostela, Spain, August
29 - September 8, 2020 - Including 10th Conference on Prestigious
Applications of Artificial Intelligence {(PAIS} 2020)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {325},
pages = {2505--2512},
publisher = {{IOS} Press},
year = {2020},
url = {https://doi.org/10.3233/FAIA200384},
doi = {10.3233/FAIA200384},
timestamp = {Sat, 19 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecai/GuidottiLPT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/NarizzanoPTV20,
author = {Massimo Narizzano and
Luca Pulina and
Armando Tacchella and
Simone Vuotto},
editor = {Ritchie Lee and
Susmit Jha and
Anastasia Mavridou},
title = {Automated Requirements-Based Testing of Black-Box Reactive Systems},
booktitle = {{NASA} Formal Methods - 12th International Symposium, {NFM} 2020,
Moffett Field, CA, USA, May 11-15, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12229},
pages = {153--169},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-55754-6\_9},
doi = {10.1007/978-3-030-55754-6\_9},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/NarizzanoPTV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sat/2020,
editor = {Luca Pulina and
Martina Seidl},
title = {Theory and Applications of Satisfiability Testing - {SAT} 2020 - 23rd
International Conference, Alghero, Italy, July 3-10, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12178},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-51825-7},
doi = {10.1007/978-3-030-51825-7},
isbn = {978-3-030-51824-0},
timestamp = {Thu, 02 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/2020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2003-07636,
author = {Dario Guidotti and
Francesco Leofante and
Luca Pulina and
Armando Tacchella},
title = {Verification of Neural Networks: Enhancing Scalability through Pruning},
journal = {CoRR},
volume = {abs/2003.07636},
year = {2020},
url = {https://arxiv.org/abs/2003.07636},
eprinttype = {arXiv},
eprint = {2003.07636},
timestamp = {Tue, 24 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2003-07636.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2005-06750,
author = {Massimo Narizzano and
Luca Pulina and
Armando Tacchella and
Simone Vuotto},
title = {Automated Requirements-Based Testing of Black-Box Reactive Systems},
journal = {CoRR},
volume = {abs/2005.06750},
year = {2020},
url = {https://arxiv.org/abs/2005.06750},
eprinttype = {arXiv},
eprint = {2005.06750},
timestamp = {Fri, 22 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-06750.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2011-09933,
author = {Dario Guidotti and
Luca Pulina and
Armando Tacchella},
title = {NeVer 2.0: Learning, Verification and Repair of Deep Neural Networks},
journal = {CoRR},
volume = {abs/2011.09933},
year = {2020},
url = {https://arxiv.org/abs/2011.09933},
eprinttype = {arXiv},
eprint = {2011.09933},
timestamp = {Wed, 25 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2011-09933.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/PulinaS19,
author = {Luca Pulina and
Martina Seidl},
title = {The 2016 and 2017 {QBF} solvers evaluations (QBFEVAL'16 and QBFEVAL'17)},
journal = {Artif. Intell.},
volume = {274},
pages = {224--248},
year = {2019},
url = {https://doi.org/10.1016/j.artint.2019.04.002},
doi = {10.1016/J.ARTINT.2019.04.002},
timestamp = {Thu, 13 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/PulinaS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/NarizzanoPTV19,
author = {Massimo Narizzano and
Luca Pulina and
Armando Tacchella and
Simone Vuotto},
title = {Property specification patterns at work: verification and inconsistency
explanation},
journal = {Innov. Syst. Softw. Eng.},
volume = {15},
number = {3-4},
pages = {307--323},
year = {2019},
url = {https://doi.org/10.1007/s11334-019-00339-1},
doi = {10.1007/S11334-019-00339-1},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isse/NarizzanoPTV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsat/PulinaS19,
author = {Luca Pulina and
Martina Seidl},
title = {Notes from the Guest Editors},
journal = {J. Satisf. Boolean Model. Comput.},
volume = {11},
number = {1},
pages = {1},
year = {2019},
url = {https://doi.org/10.3233/SAT190114},
doi = {10.3233/SAT190114},
timestamp = {Wed, 26 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsat/PulinaS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/GuidottiLPT19,
author = {Dario Guidotti and
Francesco Leofante and
Luca Pulina and
Armando Tacchella},
editor = {Mario Alviano and
Gianluigi Greco and
Francesco Scarcello},
title = {Verification and Repair of Neural Networks: {A} Progress Report on
Convolutional Models},
booktitle = {AI*IA 2019 - Advances in Artificial Intelligence - XVIIIth International
Conference of the Italian Association for Artificial Intelligence,
Rende, Italy, November 19-22, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11946},
pages = {405--417},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-35166-3\_29},
doi = {10.1007/978-3-030-35166-3\_29},
timestamp = {Sat, 19 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aiia/GuidottiLPT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/Bit-MonnotPT19,
author = {Arthur Bit{-}Monnot and
Luca Pulina and
Armando Tacchella},
editor = {J. Benton and
Nir Lipovetzky and
Eva Onaindia and
David E. Smith and
Siddharth Srivastava},
title = {Cyber-Physical Planning: Deliberation for Hybrid Systems with a Continuous
Numeric State},
booktitle = {Proceedings of the Twenty-Ninth International Conference on Automated
Planning and Scheduling, {ICAPS} 2019, Berkeley, CA, USA, July 11-15,
2019},
pages = {49--57},
publisher = {{AAAI} Press},
year = {2019},
url = {https://ojs.aaai.org/index.php/ICAPS/article/view/3459},
timestamp = {Tue, 20 Aug 2024 07:54:44 +0200},
biburl = {https://dblp.org/rec/conf/aips/Bit-MonnotPT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cf/PalumboFSPRMSRD19,
author = {Francesca Palumbo and
Tiziana Fanni and
Carlo Sau and
Luca Pulina and
Luigi Raffo and
Michael Masin and
Evgeny Shindin and
Pablo Sanchez de Rojas and
Karol Desnos and
Maxime Pelcat and
Alfonso Rodr{\'{\i}}guez and
Eduardo Ju{\'{a}}rez and
Francesco Regazzoni and
Giuseppe Meloni and
Katiuscia Zedda and
Hans Myrhaug and
Leszek Kaliciak and
Joost Adriaanse and
Julio de Oliveira Filho and
Pablo Mu{\~{n}}oz and
Antonella Toffetti},
editor = {Francesca Palumbo and
Michela Becchi and
Martin Schulz and
Kento Sato},
title = {{CERBERO:} Cross-layer modEl-based fRamework for multi-oBjective dEsign
of reconfigurable systems in unceRtain hybRid envirOnments: Invited
paper: {CERBERO} teams from UniSS, UniCA, {IBM} Research, TASE, INSA-Rennes,
UPM, USI, Abinsula, AmbieSense, TNO, S{\&}T, {CRF}},
booktitle = {Proceedings of the 16th {ACM} International Conference on Computing
Frontiers, {CF} 2019, Alghero, Italy, April 30 - May 2, 2019},
pages = {320--325},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3310273.3323436},
doi = {10.1145/3310273.3323436},
timestamp = {Tue, 02 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cf/PalumboFSPRMSRD19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/VuottoNPT19,
author = {Simone Vuotto and
Massimo Narizzano and
Luca Pulina and
Armando Tacchella},
editor = {Gregory Gay and
Sahar Tahvili and
Michael Unterkalmsteiner},
title = {Automata based test generation with SpecPro},
booktitle = {Proceedings of the 6th International Workshop on Requirements Engineering
and Testing, RET@ICSE 2019, Montreal, QC, Canada, May 28, 2019},
pages = {13--16},
publisher = {{IEEE} / {ACM}},
year = {2019},
url = {https://doi.org/10.1109/RET.2019.00010},
doi = {10.1109/RET.2019.00010},
timestamp = {Thu, 09 Mar 2023 15:35:16 +0100},
biburl = {https://dblp.org/rec/conf/icse/VuottoNPT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/VuottoNPT19,
author = {Simone Vuotto and
Massimo Narizzano and
Luca Pulina and
Armando Tacchella},
title = {Poster: Automatic Consistency Checking of Requirements with ReqV},
booktitle = {12th {IEEE} Conference on Software Testing, Validation and Verification,
{ICST} 2019, Xi'an, China, April 22-27, 2019},
pages = {363--366},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ICST.2019.00043},
doi = {10.1109/ICST.2019.00043},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/VuottoNPT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/ShuklaBPS19,
author = {Ankit Shukla and
Armin Biere and
Luca Pulina and
Martina Seidl},
title = {A Survey on Applications of Quantified Boolean Formulas},
booktitle = {31st {IEEE} International Conference on Tools with Artificial Intelligence,
{ICTAI} 2019, Portland, OR, USA, November 4-6, 2019},
pages = {78--84},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ICTAI.2019.00020},
doi = {10.1109/ICTAI.2019.00020},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/ShuklaBPS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ieaaie/Bit-MonnotLPT19,
author = {Arthur Bit{-}Monnot and
Francesco Leofante and
Luca Pulina and
Armando Tacchella},
editor = {Franz Wotawa and
Gerhard Friedrich and
Ingo Pill and
Roxane Koitz{-}Hristov and
Moonis Ali},
title = {SMT-based Planning for Robots in Smart Factories},
booktitle = {Advances and Trends in Artificial Intelligence. From Theory to Practice
- 32nd International Conference on Industrial, Engineering and Other
Applications of Applied Intelligent Systems, {IEA/AIE} 2019, Graz,
Austria, July 9-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11606},
pages = {674--686},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-22999-3\_58},
doi = {10.1007/978-3-030-22999-3\_58},
timestamp = {Sun, 04 Aug 2024 19:36:18 +0200},
biburl = {https://dblp.org/rec/conf/ieaaie/Bit-MonnotLPT19.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/jelia/AmendolaD0PR19,
author = {Giovanni Amendola and
Carmine Dodaro and
Wolfgang Faber and
Luca Pulina and
Francesco Ricca},
editor = {Francesco Calimeri and
Nicola Leone and
Marco Manna},
title = {Algorithm Selection for Paracoherent Answer Set Computation},
booktitle = {Logics in Artificial Intelligence - 16th European Conference, {JELIA}
2019, Rende, Italy, May 7-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11468},
pages = {479--489},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-19570-0\_31},
doi = {10.1007/978-3-030-19570-0\_31},
timestamp = {Fri, 27 Mar 2020 08:53:33 +0100},
biburl = {https://dblp.org/rec/conf/jelia/AmendolaD0PR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cpsschool/2019phd,
editor = {Luca Pulina},
title = {Proceedings of the Cyber-Physical Systems PhD Workshop 2019, an event
held within the {CPS} Summer School "Designing Cyber-Physical
Systems - From concepts to implementation", Alghero, Italy, September
23, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2457},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2457},
urn = {urn:nbn:de:0074-2457-8},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cpsschool/2019phd.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apin/PathakPT18,
author = {Shashank Pathak and
Luca Pulina and
Armando Tacchella},
title = {Verification and repair of control policies for safe reinforcement
learning},
journal = {Appl. Intell.},
volume = {48},
number = {4},
pages = {886--908},
year = {2018},
url = {https://doi.org/10.1007/s10489-017-0999-8},
doi = {10.1007/S10489-017-0999-8},
timestamp = {Sat, 17 Mar 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apin/PathakPT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/GiunchigliaMP18,
author = {Enrico Giunchiglia and
Marco Maratea and
Luca Pulina},
title = {Translation-based approaches for solving disjunctive temporal problems
with preferences},
journal = {Constraints An Int. J.},
volume = {23},
number = {4},
pages = {383--402},
year = {2018},
url = {https://doi.org/10.1007/s10601-018-9293-6},
doi = {10.1007/S10601-018-9293-6},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/constraints/GiunchigliaMP18.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/nfm/NarizzanoPTV18,
author = {Massimo Narizzano and
Luca Pulina and
Armando Tacchella and
Simone Vuotto},
editor = {Aaron Dutle and
C{\'{e}}sar A. Mu{\~{n}}oz and
Anthony Narkawicz},
title = {Consistency of Property Specification Patterns with Boolean and Constrained
Numerical Signals},
booktitle = {{NASA} Formal Methods - 10th International Symposium, {NFM} 2018,
Newport News, VA, USA, April 17-19, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10811},
pages = {383--398},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-77935-5\_26},
doi = {10.1007/978-3-319-77935-5\_26},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/NarizzanoPTV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/KorneevNPTBS18,
author = {Svyatoslav Korneev and
Nina Narodytska and
Luca Pulina and
Armando Tacchella and
Nikolaj S. Bj{\o}rner and
Mooly Sagiv},
editor = {Olaf Beyersdorff and
Christoph M. Wintersteiger},
title = {Constrained Image Generation Using Binarized Neural Networks with
Decision Procedures},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2018 - 21st
International Conference, {SAT} 2018, Held as Part of the Federated
Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10929},
pages = {438--449},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-94144-8\_27},
doi = {10.1007/978-3-319-94144-8\_27},
timestamp = {Thu, 14 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/KorneevNPTBS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1802-08795,
author = {Svyatoslav Korneev and
Nina Narodytska and
Luca Pulina and
Armando Tacchella and
Nikolaj S. Bj{\o}rner and
Mooly Sagiv},
title = {Constrained Image Generation Using Binarized Neural Networks with
Decision Procedures},
journal = {CoRR},
volume = {abs/1802.08795},
year = {2018},
url = {http://arxiv.org/abs/1802.08795},
eprinttype = {arXiv},
eprint = {1802.08795},
timestamp = {Thu, 14 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1802-08795.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1805-09938,
author = {Francesco Leofante and
Nina Narodytska and
Luca Pulina and
Armando Tacchella},
title = {Automated Verification of Neural Networks: Advances, Challenges and
Perspectives},
journal = {CoRR},
volume = {abs/1805.09938},
year = {2018},
url = {http://arxiv.org/abs/1805.09938},
eprinttype = {arXiv},
eprint = {1805.09938},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1805-09938.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1806-07135,
author = {Arthur Bit{-}Monnot and
Francesco Leofante and
Luca Pulina and
Erika {\'{A}}brah{\'{a}}m and
Armando Tacchella},
title = {SMarTplan: a Task Planner for Smart Factories},
journal = {CoRR},
volume = {abs/1806.07135},
year = {2018},
url = {http://arxiv.org/abs/1806.07135},
eprinttype = {arXiv},
eprint = {1806.07135},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1806-07135.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/PulinaT17,
author = {Luca Pulina and
Armando Tacchella},
editor = {Ofer Strichman and
Rachel Tzoref{-}Brill},
title = {More Adaptive Does not Imply Less Safe (with Formal Verification)},
booktitle = {Hardware and Software: Verification and Testing - 13th International
Haifa Verification Conference, {HVC} 2017, Haifa, Israel, November
13-15, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10629},
pages = {237--240},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-70389-3\_19},
doi = {10.1007/978-3-319-70389-3\_19},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/PulinaT17.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}
}
@article{DBLP:journals/corr/abs-1712-04162,
author = {Massimo Narizzano and
Luca Pulina and
Armando Tacchella and
Simone Vuotto},
title = {Consistency of Property Specification Patterns with Boolean and Constrained
Numerical Signals},
journal = {CoRR},
volume = {abs/1712.04162},
year = {2017},
url = {http://arxiv.org/abs/1712.04162},
eprinttype = {arXiv},
eprint = {1712.04162},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1712-04162.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/PathakPT16,
author = {Shashank Pathak and
Luca Pulina and
Armando Tacchella},
title = {Evaluating probabilistic model checking tools for verification of
robot control policies},
journal = {{AI} Commun.},
volume = {29},
number = {2},
pages = {287--299},
year = {2016},
url = {https://doi.org/10.3233/AIC-150689},
doi = {10.3233/AIC-150689},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aicom/PathakPT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/MarinNPTG16,
author = {Paolo Marin and
Massimo Narizzano and
Luca Pulina and
Armando Tacchella and
Enrico Giunchiglia},
title = {Twelve Years of {QBF} Evaluations: {QSAT} Is PSPACE-Hard and It Shows},
journal = {Fundam. Informaticae},
volume = {149},
number = {1-2},
pages = {133--158},
year = {2016},
url = {https://doi.org/10.3233/FI-2016-1445},
doi = {10.3233/FI-2016-1445},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/MarinNPTG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/LeofantePT16,
author = {Francesco Leofante and
Luca Pulina and
Armando Tacchella},
editor = {Stefano Bistarelli and
Andrea Formisano and
Marco Maratea},
title = {Learning with Safety Requirements: State of the Art and Open Questions},
booktitle = {Proceedings of the 23rd {RCRA} International Workshop on Experimental
Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
2016 {(RCRA} 2016) {A} workshop of the {XV} International Conference
of the Italian Association for Artificial Intelligence (AI*IA 2016),
Genova, Italy, November 28, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1745},
pages = {11--25},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1745/paper2.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/LeofantePT16.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/sat/Pulina16,
author = {Luca Pulina},
editor = {Florian Lonsing and
Martina Seidl},
title = {The Ninth {QBF} Solvers Evaluation - Preliminary Report},
booktitle = {Proceedings of the 4th International Workshop on Quantified Boolean
Formulas {(QBF} 2016) co-located with 19th International Conference
on Theory and Applications of Satisfiability Testing {(SAT} 2016),
Bordeaux, France, July 4, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1719},
pages = {1--13},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1719/paper0.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:33 +0100},
biburl = {https://dblp.org/rec/conf/sat/Pulina16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/MarateaPR15,
author = {Marco Maratea and
Luca Pulina and
Francesco Ricca},
title = {Multi-engine {ASP} solving with policy adaptation},
journal = {J. Log. Comput.},
volume = {25},
number = {6},
pages = {1285--1306},
year = {2015},
url = {https://doi.org/10.1093/logcom/ext068},
doi = {10.1093/LOGCOM/EXT068},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/MarateaPR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/MarinNPTG15,
author = {Paolo Marin and
Massimo Narizzano and
Luca Pulina and
Armando Tacchella and
Enrico Giunchiglia},
editor = {Stefano Bistarelli and
Andrea Formisano and
Marco Maratea},
title = {An Empirical Perspective on Ten Years of {QBF} Solving},
booktitle = {Proceedings of the 22nd {RCRA} International Workshop on Experimental
Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
2015 {(RCRA} 2015) {A} workshop of the {XIV} International Conference
of the Italian Association for Artificial Intelligence (AI*IA 2015),
Ferrara, Italy, September 22, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1451},
pages = {62--75},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1451/paper6.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:01 +0100},
biburl = {https://dblp.org/rec/conf/aiia/MarinNPTG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/PathakPT15a,
author = {Shashank Pathak and
Luca Pulina and
Armando Tacchella},
editor = {Alberto Finzi and
Fulvio Mastrogiovanni and
Andrea Orlandini and
Antonio Sgorbissa},
title = {A Case for Robust {AI} in Robotics},
booktitle = {Proceedings of the 2nd Italian Workshop on Artificial Intelligence
and Robotics {A} workshop of the {XIV} International Conference of
the Italian Association for Artificial Intelligence (AI*IA 2015),
Ferrara, Italy, September 22, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1544},
pages = {94--103},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1544/paper8.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:01 +0100},
biburl = {https://dblp.org/rec/conf/aiia/PathakPT15a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/MarateaPR15,
author = {Marco Maratea and
Luca Pulina and
Francesco Ricca},
editor = {Marco Gavanelli and
Evelina Lamma and
Fabrizio Riguzzi},
title = {Advances in Multi-engine {ASP} Solving},
booktitle = {AI*IA 2015, Advances in Artificial Intelligence - XIVth International
Conference of the Italian Association for Artificial Intelligence,
Ferrara, Italy, September 23-25, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9336},
pages = {179--190},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24309-2\_14},
doi = {10.1007/978-3-319-24309-2\_14},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/aiia/MarateaPR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/PathakPT15,
author = {Shashank Pathak and
Luca Pulina and
Armando Tacchella},
editor = {Marco Gavanelli and
Evelina Lamma and
Fabrizio Riguzzi},
title = {Testing a Learn-Verify-Repair Approach for Safe Human-Robot Interaction},
booktitle = {AI*IA 2015, Advances in Artificial Intelligence - XIVth International
Conference of the Italian Association for Artificial Intelligence,
Ferrara, Italy, September 23-25, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9336},
pages = {260--273},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24309-2\_20},
doi = {10.1007/978-3-319-24309-2\_20},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aiia/PathakPT15.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/lpnmr/MarateaPR15,
author = {Marco Maratea and
Luca Pulina and
Francesco Ricca},
editor = {Francesco Calimeri and
Giovambattista Ianni and
Miroslaw Truszczynski},
title = {Multi-level Algorithm Selection for {ASP}},
booktitle = {Logic Programming and Nonmonotonic Reasoning - 13th International
Conference, {LPNMR} 2015, Lexington, KY, USA, September 27-30, 2015.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9345},
pages = {439--445},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23264-5\_36},
doi = {10.1007/978-3-319-23264-5\_36},
timestamp = {Sun, 02 Jun 2019 21:23:45 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/MarateaPR15.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}
}
@article{DBLP:journals/ia/MarateaP14,
author = {Marco Maratea and
Luca Pulina},
title = {Efficient {DTPP} solving with a reduction-based approach},
journal = {Intelligenza Artificiale},
volume = {8},
number = {1},
pages = {101--111},
year = {2014},
url = {https://doi.org/10.3233/IA-140064},
doi = {10.3233/IA-140064},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ia/MarateaP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/MarateaPR14,
author = {Marco Maratea and
Luca Pulina and
Francesco Ricca},
title = {A multi-engine approach to answer-set programming},
journal = {Theory Pract. Log. Program.},
volume = {14},
number = {6},
pages = {841--868},
year = {2014},
url = {https://doi.org/10.1017/S1471068413000094},
doi = {10.1017/S1471068413000094},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/MarateaPR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ias/CicalaKMNPPT14,
author = {Giuseppe Cicala and
Ali Khalili and
Giorgio Metta and
Lorenzo Natale and
Shashank Pathak and
Luca Pulina and
Armando Tacchella},
editor = {Emanuele Menegatti and
Nathan Michael and
Karsten Berns and
Hiroaki Yamaguchi},
title = {Engineering Approaches and Methods to Verify Software in Autonomous
Systems},
booktitle = {Intelligent Autonomous Systems 13 - Proceedings of the 13th International
Conference IAS-13, Padova, Italy, July 15-18, 2014},
series = {Advances in Intelligent Systems and Computing},
volume = {302},
pages = {1683--1700},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08338-4\_121},
doi = {10.1007/978-3-319-08338-4\_121},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ias/CicalaKMNPPT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwbf/GrossoLPT14,
author = {Enrico Grosso and
Andrea Lagorio and
Luca Pulina and
Massimo Tistarelli},
title = {Towards practical space-variant based face recognition and authentication},
booktitle = {2nd International Workshop on Biometrics and Forensics, {IWBF} 2014,
Valletta, Malta, March 27-28, 2014},
pages = {1--6},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/IWBF.2014.6914258},
doi = {10.1109/IWBF.2014.6914258},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iwbf/GrossoLPT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ore/BourguetP14,
author = {Jean{-}R{\'{e}}mi Bourguet and
Luca Pulina},
editor = {Samantha Bail and
Birte Glimm and
Ernesto Jim{\'{e}}nez{-}Ruiz and
Nicolas Matentzoglu and
Bijan Parsia and
Andreas Steigmiller},
title = {TROvE: a Graphical Tool to Evaluate {OWL} Reasoners},
booktitle = {Informal Proceedings of the 3rd International Workshop on {OWL} Reasoner
Evaluation {(ORE} 2014) co-located with the Vienna Summer of Logic
{(VSL} 2014), Vienna, Austria, July 13, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1207},
pages = {30--35},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1207/paper\_3.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:01 +0100},
biburl = {https://dblp.org/rec/conf/ore/BourguetP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rr/Pulina14,
author = {Luca Pulina},
editor = {Roman Kontchakov and
Marie{-}Laure Mugnier},
title = {An Ontology for Container Terminal Operations},
booktitle = {Web Reasoning and Rule Systems - 8th International Conference, {RR}
2014, Athens, Greece, September 15-17, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8741},
pages = {224--229},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11113-1\_19},
doi = {10.1007/978-3-319-11113-1\_19},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/rr/Pulina14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MarateaPR14,
author = {Marco Maratea and
Luca Pulina and
Francesco Ricca},
title = {The Multi-engine {ASP} Solver {ME-ASP:} Progress Report},
journal = {CoRR},
volume = {abs/1405.0876},
year = {2014},
url = {http://arxiv.org/abs/1405.0876},
eprinttype = {arXiv},
eprint = {1405.0876},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MarateaPR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaifs/PathakPMT13,
author = {Shashank Pathak and
Luca Pulina and
Giorgio Metta and
Armando Tacchella},
title = {How to Abstract Intelligence? (If Verification Is in Order)},
booktitle = {2013 {AAAI} Fall Symposia, Arlington, Virginia, USA, November 15-17,
2013},
publisher = {{AAAI} Press},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/FSS/FSS13/paper/view/7604},
timestamp = {Wed, 14 Nov 2018 17:35:28 +0100},
biburl = {https://dblp.org/rec/conf/aaaifs/PathakPMT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/MarateaPR13,
author = {Marco Maratea and
Luca Pulina and
Francesco Ricca},
editor = {Matteo Baldoni and
Cristina Baroglio and
Guido Boella and
Roberto Micalizio},
title = {Automated Selection of Grounding Algorithm in Answer Set Programming},
booktitle = {AI*IA 2013: Advances in Artificial Intelligence - XIIIth International
Conference of the Italian Association for Artificial Intelligence,
Turin, Italy, December 4-6, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8249},
pages = {73--84},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03524-6\_7},
doi = {10.1007/978-3-319-03524-6\_7},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/aiia/MarateaPR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/BourguetMP13,
author = {Jean{-}R{\'{e}}mi Bourguet and
Marco Maratea and
Luca Pulina},
editor = {Matteo Baldoni and
Cristina Baroglio and
Guido Boella and
Roberto Micalizio},
title = {A Reduction-Based Approach for Solving Disjunctive Temporal Problems
with Preferences},
booktitle = {AI*IA 2013: Advances in Artificial Intelligence - XIIIth International
Conference of the Italian Association for Artificial Intelligence,
Turin, Italy, December 4-6, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8249},
pages = {445--456},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03524-6\_38},
doi = {10.1007/978-3-319-03524-6\_38},
timestamp = {Mon, 29 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aiia/BourguetMP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iros/PathakPMT13,
author = {Shashank Pathak and
Luca Pulina and
Giorgio Metta and
Armando Tacchella},
title = {Ensuring safety of policies learned by reinforcement: Reaching objects
in the presence of obstacles with the iCub},
booktitle = {2013 {IEEE/RSJ} International Conference on Intelligent Robots and
Systems, {IROS} 2013, Tokyo, Japan, November 3-7, 2013},
pages = {170--175},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/IROS.2013.6696349},
doi = {10.1109/IROS.2013.6696349},
timestamp = {Tue, 05 Sep 2023 15:06:24 +0200},
biburl = {https://dblp.org/rec/conf/iros/PathakPMT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ore/BourguetP13,
author = {Jean{-}R{\'{e}}mi Bourguet and
Luca Pulina},
editor = {Samantha Bail and
Birte Glimm and
Rafael S. Gon{\c{c}}alves and
Ernesto Jim{\'{e}}nez{-}Ruiz and
Yevgeny Kazakov and
Nicolas Matentzoglu and
Bijan Parsia},
title = {FRaQuE: {A} Framework for Rapid Query Processing Evaluation},
booktitle = {Informal Proceedings of the 2nd International Workshop on {OWL} Reasoner
Evaluation (ORE-2013), Ulm, Germany, July 22, 2013},
series = {{CEUR} Workshop Proceedings},
volume = {1015},
pages = {53--60},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1015/paper\_7.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:01 +0100},
biburl = {https://dblp.org/rec/conf/ore/BourguetP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rr/BourguetCPT13,
author = {Jean{-}R{\'{e}}mi Bourguet and
Giuseppe Cicala and
Luca Pulina and
Armando Tacchella},
editor = {Wolfgang Faber and
Domenico Lembo},
title = {{OBDA} and Intermodal Logistics: Active Projects and Applications},
booktitle = {Web Reasoning and Rule Systems - 7th International Conference, {RR}
2013, Mannheim, Germany, July 27-29, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7994},
pages = {210--215},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39666-3\_17},
doi = {10.1007/978-3-642-39666-3\_17},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rr/BourguetCPT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MarateaPR13,
author = {Marco Maratea and
Luca Pulina and
Francesco Ricca},
title = {A Multi-Engine Approach to Answer Set Programming},
journal = {CoRR},
volume = {abs/1306.4925},
year = {2013},
url = {http://arxiv.org/abs/1306.4925},
eprinttype = {arXiv},
eprint = {1306.4925},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MarateaPR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/PulinaT12,
author = {Luca Pulina and
Armando Tacchella},
title = {Challenging {SMT} solvers to verify neural networks},
journal = {{AI} Commun.},
volume = {25},
number = {2},
pages = {117--135},
year = {2012},
url = {https://doi.org/10.3233/AIC-2012-0525},
doi = {10.3233/AIC-2012-0525},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aicom/PulinaT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/MarateaP12,
author = {Marco Maratea and
Luca Pulina},
title = {Solving disjunctive temporal problems with preferences using maximum
satisfiability},
journal = {{AI} Commun.},
volume = {25},
number = {2},
pages = {137--156},
year = {2012},
url = {https://doi.org/10.3233/AIC-2012-0527},
doi = {10.3233/AIC-2012-0527},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aicom/MarateaP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eccv/GrossoLPT12,
author = {Enrico Grosso and
Andrea Lagorio and
Luca Pulina and
Massimo Tistarelli},
editor = {Andrea Fusiello and
Vittorio Murino and
Rita Cucchiara},
title = {Understanding Critical Factors in Appearance-Based Gender Categorization},
booktitle = {Computer Vision - {ECCV} 2012. Workshops and Demonstrations - Florence,
Italy, October 7-13, 2012, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {7584},
pages = {280--289},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33868-7\_28},
doi = {10.1007/978-3-642-33868-7\_28},
timestamp = {Thu, 27 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eccv/GrossoLPT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icb/GrossoPT12,
author = {Enrico Grosso and
Luca Pulina and
Massimo Tistarelli},
editor = {Anil K. Jain and
Arun Ross and
Salil Prabhakar and
Jaihie Kim},
title = {Modeling biometric template update with Ant Colony Optimization},
booktitle = {5th {IAPR} International Conference on Biometrics, {ICB} 2012, New
Delhi, India, March 29 - April 1, 2012},
pages = {506--511},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/ICB.2012.6199800},
doi = {10.1109/ICB.2012.6199800},
timestamp = {Wed, 16 Oct 2019 14:14:48 +0200},
biburl = {https://dblp.org/rec/conf/icb/GrossoPT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/MarateaPR12,
author = {Marco Maratea and
Luca Pulina and
Francesco Ricca},
editor = {Agostino Dovier and
V{\'{\i}}tor Santos Costa},
title = {Applying Machine Learning Techniques to {ASP} Solving},
booktitle = {Technical Communications of the 28th International Conference on Logic
Programming, {ICLP} 2012, September 4-8, 2012, Budapest, Hungary},
series = {LIPIcs},
volume = {17},
pages = {37--48},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
url = {https://doi.org/10.4230/LIPIcs.ICLP.2012.37},
doi = {10.4230/LIPICS.ICLP.2012.37},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/MarateaPR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/MarateaPR12,
author = {Marco Maratea and
Luca Pulina and
Francesco Ricca},
editor = {Luis Fari{\~{n}}as del Cerro and
Andreas Herzig and
J{\'{e}}r{\^{o}}me Mengin},
title = {The Multi-Engine {ASP} Solver me-asp},
booktitle = {Logics in Artificial Intelligence - 13th European Conference, {JELIA}
2012, Toulouse, France, September 26-28, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7519},
pages = {484--487},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33353-8\_39},
doi = {10.1007/978-3-642-33353-8\_39},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/jelia/MarateaPR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/PulinaT11,
author = {Luca Pulina and
Armando Tacchella},
title = {NeVer: a tool for artificial neural networks verification},
journal = {Ann. Math. Artif. Intell.},
volume = {62},
number = {3-4},
pages = {403--425},
year = {2011},
url = {https://doi.org/10.1007/s10472-011-9243-0},
doi = {10.1007/S10472-011-9243-0},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/PulinaT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/PulinaT11,
author = {Luca Pulina and
Armando Tacchella},
editor = {Roberto Pirrone and
Filippo Sorbello},
title = {Checking Safety of Neural Networks with {SMT} Solvers: {A} Comparative
Evaluation},
booktitle = {AI*IA 2011: Artificial Intelligence Around Man and Beyond - XIIth
International Conference of the Italian Association for Artificial
Intelligence, Palermo, Italy, September 15-17, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6934},
pages = {127--138},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-23954-0\_14},
doi = {10.1007/978-3-642-23954-0\_14},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aiia/PulinaT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/MarateaP11,
author = {Marco Maratea and
Luca Pulina},
editor = {Roberto Pirrone and
Filippo Sorbello},
title = {Over-Subscription Planning with Boolean Optimization: An Assessment
of State-of-the-Art Solutions},
booktitle = {AI*IA 2011: Artificial Intelligence Around Man and Beyond - XIIth
International Conference of the Italian Association for Artificial
Intelligence, Palermo, Italy, September 15-17, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6934},
pages = {420--425},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-23954-0\_41},
doi = {10.1007/978-3-642-23954-0\_41},
timestamp = {Mon, 29 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aiia/MarateaP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/Pulina10,
author = {Luca Pulina},
title = {Engineering portfolios of Machine Learning algorithms to solve complex
tasks in Robotics and Automated Reasoning},
journal = {{AI} Commun.},
volume = {23},
number = {1},
pages = {61--63},
year = {2010},
url = {https://doi.org/10.3233/AIC-2010-0471},
doi = {10.3233/AIC-2010-0471},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aicom/Pulina10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/PulinaT10,
author = {Luca Pulina and
Armando Tacchella},
title = {An Empirical Study of {QBF} Encodings: from Treewidth Estimation to
Useful Preprocessing},
journal = {Fundam. Informaticae},
volume = {102},
number = {3-4},
pages = {391--427},
year = {2010},
url = {https://doi.org/10.3233/FI-2010-312},
doi = {10.3233/FI-2010-312},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/PulinaT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsat/PulinaT10,
author = {Luca Pulina and
Armando Tacchella},
title = {AQME'10},
journal = {J. Satisf. Boolean Model. Comput.},
volume = {7},
number = {2-3},
pages = {65--70},
year = {2010},
url = {https://doi.org/10.3233/sat190076},
doi = {10.3233/SAT190076},
timestamp = {Mon, 17 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsat/PulinaT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SternSHGPT10,
author = {David H. Stern and
Horst Samulowitz and
Ralf Herbrich and
Thore Graepel and
Luca Pulina and
Armando Tacchella},
editor = {Maria Fox and
David Poole},
title = {Collaborative Expert Portfolio Management},
booktitle = {Proceedings of the Twenty-Fourth {AAAI} Conference on Artificial Intelligence,
{AAAI} 2010, Atlanta, Georgia, USA, July 11-15, 2010},
pages = {179--184},
publisher = {{AAAI} Press},
year = {2010},
url = {https://doi.org/10.1609/aaai.v24i1.7561},
doi = {10.1609/AAAI.V24I1.7561},
timestamp = {Mon, 04 Sep 2023 16:23:45 +0200},
biburl = {https://dblp.org/rec/conf/aaai/SternSHGPT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/PeschieraPT10,
author = {Claudia Peschiera and
Luca Pulina and
Armando Tacchella},
editor = {Aaron Stump and
Geoff Sutcliffe and
Cesare Tinelli},
title = {Designing a solver competition: the QBFEVAL'10 case study},
booktitle = {Workshop on Evaluation Methods for Solvers, and Quality Metrics for
Solutions, {EMSQMS} 2010, Edinburgh, UK, July 20, 2010},
series = {EPiC Series in Computing},
volume = {6},
pages = {19--32},
publisher = {EasyChair},
year = {2010},
url = {https://doi.org/10.29007/cv3b},
doi = {10.29007/CV3B},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/PeschieraPT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/PulinaT10,
author = {Luca Pulina and
Armando Tacchella},
editor = {Tayssir Touili and
Byron Cook and
Paul B. Jackson},
title = {An Abstraction-Refinement Approach to Verification of Artificial Neural
Networks},
booktitle = {Computer Aided Verification, 22nd International Conference, {CAV}
2010, Edinburgh, UK, July 15-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6174},
pages = {243--257},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14295-6\_24},
doi = {10.1007/978-3-642-14295-6\_24},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/PulinaT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/MettaNPPT10,
author = {Giorgio Metta and
Lorenzo Natale and
Shashank Pathak and
Luca Pulina and
Armando Tacchella},
title = {Safe and effective learning: {A} case study},
booktitle = {{IEEE} International Conference on Robotics and Automation, {ICRA}
2010, Anchorage, Alaska, USA, 3-7 May 2010},
pages = {4809--4814},
publisher = {{IEEE}},
year = {2010},
url = {https://doi.org/10.1109/ROBOT.2010.5509892},
doi = {10.1109/ROBOT.2010.5509892},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icra/MettaNPPT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ieaaie/MettaNPPT10,
author = {Giorgio Metta and
Lorenzo Natale and
Shashank Pathak and
Luca Pulina and
Armando Tacchella},
editor = {Nicol{\'{a}}s Garc{\'{\i}}a{-}Pedrajas and
Francisco Herrera and
Colin Fyfe and
Jos{\'{e}} Manuel Ben{\'{\i}}tez and
Moonis Ali},
title = {Safe Learning with Real-Time Constraints: {A} Case Study},
booktitle = {Trends in Applied Intelligent Systems - 23rd International Conference
on Industrial Engineering and Other Applications of Applied Intelligent
Systems, {IEA/AIE} 2010, Cordoba, Spain, June 1-4, 2010, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {6096},
pages = {133--142},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13022-9\_14},
doi = {10.1007/978-3-642-13022-9\_14},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ieaaie/MettaNPPT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/PeschieraPTBKL10,
author = {Claudia Peschiera and
Luca Pulina and
Armando Tacchella and
Uwe Bubeck and
Oliver Kullmann and
In{\^{e}}s Lynce},
editor = {Ofer Strichman and
Stefan Szeider},
title = {The Seventh {QBF} Solvers Evaluation (QBFEVAL'10)},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2010, 13th
International Conference, {SAT} 2010, Edinburgh, UK, July 11-14, 2010.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6175},
pages = {237--250},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14186-7\_20},
doi = {10.1007/978-3-642-14186-7\_20},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/PeschieraPTBKL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/NarizzanoPPT09,
author = {Massimo Narizzano and
Claudia Peschiera and
Luca Pulina and
Armando Tacchella},
title = {Evaluating and certifying QBFs: {A} comparison of state-of-the-art
tools},
journal = {{AI} Commun.},
volume = {22},
number = {4},
pages = {191--210},
year = {2009},
url = {https://doi.org/10.3233/AIC-2009-0468},
doi = {10.3233/AIC-2009-0468},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aicom/NarizzanoPPT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/PulinaT09,
author = {Luca Pulina and
Armando Tacchella},
title = {A self-adaptive multi-engine solver for quantified Boolean formulas},
journal = {Constraints An Int. J.},
volume = {14},
number = {1},
pages = {80--116},
year = {2009},
url = {https://doi.org/10.1007/s10601-008-9051-2},
doi = {10.1007/S10601-008-9051-2},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/constraints/PulinaT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/PulinaT09,
author = {Luca Pulina and
Armando Tacchella},
editor = {Roberto Serra and
Rita Cucchiara},
title = {Hard {QBF} Encodings Made Easy: Dream or Reality?},
booktitle = {AI*IA 2009: Emergent Perspectives in Artificial Intelligence, XIth
International Conference of the Italian Association for Artificial
Intelligence, Reggio Emilia, Italy, December 9-12, 2009, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5883},
pages = {31--41},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-10291-2\_4},
doi = {10.1007/978-3-642-10291-2\_4},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aiia/PulinaT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/PulinaT09a,
author = {Luca Pulina and
Armando Tacchella},
editor = {Marco Gavanelli and
Toni Mancini},
title = {A structural approach to reasoning with quantified Boolean formulas},
booktitle = {Proceedings of the 16th {RCRA} workshop on Experimental Evaluation
of Algorithms for Solving Problems with Combinatorial Explosion, RCRA@AI*IA
2009, Reggio Emilia, Italy, December 11-12, 2009},
series = {{CEUR} Workshop Proceedings},
volume = {589},
publisher = {CEUR-WS.org},
year = {2009},
url = {https://ceur-ws.org/Vol-589/paper15.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:01 +0100},
biburl = {https://dblp.org/rec/conf/aiia/PulinaT09a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/PulinaT09,
author = {Luca Pulina and
Armando Tacchella},
editor = {Silvio Ghilardi and
Roberto Sebastiani},
title = {Learning to Integrate Deduction and Search in Reasoning about Quantified
Boolean Formulas},
booktitle = {Frontiers of Combining Systems, 7th International Symposium, FroCoS
2009, Trento, Italy, September 16-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5749},
pages = {350--365},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04222-5\_22},
doi = {10.1007/978-3-642-04222-5\_22},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/PulinaT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/PulinaT09,
author = {Luca Pulina and
Armando Tacchella},
editor = {Craig Boutilier},
title = {A Structural Approach to Reasoning with Quantified Boolean Formulas},
booktitle = {{IJCAI} 2009, Proceedings of the 21st International Joint Conference
on Artificial Intelligence, Pasadena, California, USA, July 11-17,
2009},
pages = {596--602},
year = {2009},
url = {http://ijcai.org/Proceedings/09/Papers/105.pdf},
timestamp = {Tue, 20 Aug 2019 16:16:40 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/PulinaT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/KontchakovPSSSWZ09,
author = {Roman Kontchakov and
Luca Pulina and
Ulrike Sattler and
Thomas Schneider and
Petra Selmer and
Frank Wolter and
Michael Zakharyaschev},
editor = {Craig Boutilier},
title = {Minimal Module Extraction from DL-Lite Ontologies Using {QBF} Solvers},
booktitle = {{IJCAI} 2009, Proceedings of the 21st International Joint Conference
on Artificial Intelligence, Pasadena, California, USA, July 11-17,
2009},
pages = {836--841},
year = {2009},
url = {http://ijcai.org/Proceedings/09/Papers/143.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/KontchakovPSSSWZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/PulinaT08,
author = {Luca Pulina and
Armando Tacchella},
editor = {Iliano Cervesato and
Helmut Veith and
Andrei Voronkov},
title = {Treewidth: {A} Useful Marker of Empirical Hardness in Quantified Boolean
Logic Encodings},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 15th
International Conference, {LPAR} 2008, Doha, Qatar, November 22-27,
2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5330},
pages = {528--542},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89439-1\_37},
doi = {10.1007/978-3-540-89439-1\_37},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/PulinaT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/micai/PulinaT08,
author = {Luca Pulina and
Armando Tacchella},
editor = {Alexander F. Gelbukh and
Eduardo F. Morales},
title = {QuBIS: An (In)complete Solver for Quantified Boolean Formulas},
booktitle = {{MICAI} 2008: Advances in Artificial Intelligence, 7th Mexican International
Conference on Artificial Intelligence, Atizap{\'{a}}n de Zaragoza,
Mexico, October 27-31, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5317},
pages = {34--43},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88636-5\_3},
doi = {10.1007/978-3-540-88636-5\_3},
timestamp = {Mon, 19 Apr 2021 08:51:04 +0200},
biburl = {https://dblp.org/rec/conf/micai/PulinaT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/NarizzanoPT07,
author = {Massimo Narizzano and
Luca Pulina and
Armando Tacchella},
editor = {Roberto Basili and
Maria Teresa Pazienza},
title = {Ranking and Reputation Systems in the {QBF} Competition},
booktitle = {AI*IA 2007: Artificial Intelligence and Human-Oriented Computing,
10th Congress of the Italian Association for Artificial Intelligence,
Rome, Italy, September 10-13, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4733},
pages = {97--108},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74782-6\_10},
doi = {10.1007/978-3-540-74782-6\_10},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aiia/NarizzanoPT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/PulinaT07,
author = {Luca Pulina and
Armando Tacchella},
editor = {Christian Bessiere},
title = {A Multi-engine Solver for Quantified Boolean Formulas},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2007, 13th
International Conference, {CP} 2007, Providence, RI, USA, September
23-27, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4741},
pages = {574--589},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74970-7\_41},
doi = {10.1007/978-3-540-74970-7\_41},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/PulinaT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsat/NarizzanoPT06,
author = {Massimo Narizzano and
Luca Pulina and
Armando Tacchella},
title = {Report of the Third {QBF} Solvers Evaluation},
journal = {J. Satisf. Boolean Model. Comput.},
volume = {2},
number = {1-4},
pages = {145--164},
year = {2006},
url = {https://doi.org/10.3233/sat190019},
doi = {10.3233/SAT190019},
timestamp = {Mon, 17 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsat/NarizzanoPT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/NarizzanoPT06,
author = {Massimo Narizzano and
Luca Pulina and
Armando Tacchella},
editor = {Michael Fisher and
Wiebe van der Hoek and
Boris Konev and
Alexei Lisitsa},
title = {The {QBFEVAL} Web Portal},
booktitle = {Logics in Artificial Intelligence, 10th European Conference, {JELIA}
2006, Liverpool, UK, September 13-15, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4160},
pages = {494--497},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11853886\_45},
doi = {10.1007/11853886\_45},
timestamp = {Fri, 03 Jun 2022 08:18:13 +0200},
biburl = {https://dblp.org/rec/conf/jelia/NarizzanoPT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stairs/Pulina06,
author = {Luca Pulina},
editor = {Loris Penserini and
Pavlos Peppas and
Anna Perini},
title = {Empirical Evaluation of Scoring Methods},
booktitle = {{STAIRS} 2006 - Proceedings of the Third Starting {AI} Researchers'
Symposium, Riva del Garda, Trentino, Italy, 2006},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {142},
pages = {108--119},
publisher = {{IOS} Press},
year = {2006},
url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=1874},
timestamp = {Tue, 13 Mar 2012 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stairs/Pulina06.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.
last updated on 2024-08-03 21:13 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
