Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Alessandro Provetti
@article{DBLP:journals/eswa/MatuozzoYP23, author = {Alberto Matuozzo and Paul D. Yoo and Alessandro Provetti}, title = {A right kind of wrong: European equity market forecasting with custom feature engineering and loss functions}, journal = {Expert Syst. Appl.}, volume = {223}, pages = {119854}, year = {2023}, url = {https://doi.org/10.1016/j.eswa.2023.119854}, doi = {10.1016/J.ESWA.2023.119854}, timestamp = {Tue, 12 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eswa/MatuozzoYP23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/isci/MeoLP23, author = {Pasquale De Meo and Mark Levene and Alessandro Provetti}, title = {Branching processes reveal influential nodes in social networks}, journal = {Inf. Sci.}, volume = {644}, pages = {119201}, year = {2023}, url = {https://doi.org/10.1016/j.ins.2023.119201}, doi = {10.1016/J.INS.2023.119201}, timestamp = {Tue, 12 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/isci/MeoLP23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/frai/DeveikyteGPP22, author = {Justina Deveikyte and Helyette Geman and Carlo Piccari and Alessandro Provetti}, title = {A sentiment analysis approach to the prediction of market volatility}, journal = {Frontiers Artif. Intell.}, volume = {5}, year = {2022}, url = {https://doi.org/10.3389/frai.2022.836809}, doi = {10.3389/FRAI.2022.836809}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/frai/DeveikyteGPP22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/amlts/MatuozzoYPK22, author = {Alberto Matuozzo and Paul D. Yoo and Alessandro Provetti and Maria H. Kim}, editor = {Wei Liu and Linsey Pang}, title = {Machine Learning Methods for Equity Time Series Forecasting: {A} Compendium}, booktitle = {Proceedings of the Workshop on Applied Machine Learning Methods for Time Series Forecasting {(AMLTS} 2022) co-located with 31st {ACM} International Conference on Information and Knowledge Management {(CIKM} 2022), Atlanta, Georgia, USA, October 21, 2022}, series = {{CEUR} Workshop Proceedings}, volume = {3375}, publisher = {CEUR-WS.org}, year = {2022}, url = {https://ceur-ws.org/Vol-3375/paper7.pdf}, timestamp = {Fri, 26 May 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/amlts/MatuozzoYPK22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eann/LagiasMPP22, author = {Paschalis Lagias and George D. Magoulas and Ylli Prifti and Alessandro Provetti}, editor = {Lazaros Iliadis and Chrisina Jayne and Anastasios Tefas and Elias Pimenidis}, title = {Predicting Seriousness of Injury in a Traffic Accident: {A} New Imbalanced Dataset and Benchmark}, booktitle = {Engineering Applications of Neural Networks - 23rd International Conference, {EAAAI/EANN} 2022, Chersonissos, Crete, Greece, June 17-20, 2022, Proceedings}, series = {Communications in Computer and Information Science}, volume = {1600}, pages = {412--423}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-031-08223-8\_34}, doi = {10.1007/978-3-031-08223-8\_34}, timestamp = {Wed, 05 Oct 2022 21:11:03 +0200}, biburl = {https://dblp.org/rec/conf/eann/LagiasMPP22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2205-10441, author = {Paschalis Lagias and George D. Magoulas and Ylli Prifti and Alessandro Provetti}, title = {Predicting Seriousness of Injury in a Traffic Accident: {A} New Imbalanced Dataset and Benchmark}, journal = {CoRR}, volume = {abs/2205.10441}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2205.10441}, doi = {10.48550/ARXIV.2205.10441}, eprinttype = {arXiv}, eprint = {2205.10441}, timestamp = {Mon, 30 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2205-10441.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2205-10449, author = {Maria Eleni Athanasopoulou and Justina Deveikyte and Alan Mosca and Ilaria Peri and Alessandro Provetti}, title = {A Hybrid Model for Forecasting Short-Term Electricity Demand}, journal = {CoRR}, volume = {abs/2205.10449}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2205.10449}, doi = {10.48550/ARXIV.2205.10449}, eprinttype = {arXiv}, eprint = {2205.10449}, timestamp = {Mon, 30 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2205-10449.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icaif/AthanasopoulouD21, author = {Maria Eleni Athanasopoulou and Justina Deveikyte and Alan Mosca and Ilaria Peri and Alessandro Provetti}, editor = {Anisoara Calinescu and Lukasz Szpruch}, title = {A hybrid model for forecasting short-term electricity demand}, booktitle = {ICAIF'21: 2nd {ACM} International Conference on {AI} in Finance, Virtual Event, November 3 - 5, 2021}, pages = {6:1--6:6}, publisher = {{ACM}}, year = {2021}, url = {https://doi.org/10.1145/3490354.3494371}, doi = {10.1145/3490354.3494371}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icaif/AthanasopoulouD21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tkde/MeoLMP20, author = {Pasquale De Meo and Mark Levene and Fabrizio Messina and Alessandro Provetti}, title = {A General Centrality Framework-Based on Node Navigability}, journal = {{IEEE} Trans. Knowl. Data Eng.}, volume = {32}, number = {11}, pages = {2088--2100}, year = {2020}, url = {https://doi.org/10.1109/TKDE.2019.2947035}, doi = {10.1109/TKDE.2019.2947035}, timestamp = {Tue, 20 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tkde/MeoLMP20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/websci/CostantiniMGMPS20, author = {Stefania Costantini and Pasquale De Meo and Angelo Giorgianni and Valentina Migliorato and Alessandro Provetti and Federico Salvia}, editor = {Emilio Ferrara and Pauline Leonard and Wendy Hall}, title = {Exploring Low-degree nodes first accelerates Network Exploration}, booktitle = {WebSci '20: 12th {ACM} Conference on Web Science, Southampton, UK, July 6-10, 2020}, pages = {241--249}, publisher = {{ACM}}, year = {2020}, url = {https://doi.org/10.1145/3394231.3397914}, doi = {10.1145/3394231.3397914}, timestamp = {Tue, 30 Nov 2021 14:57:52 +0100}, biburl = {https://dblp.org/rec/conf/websci/CostantiniMGMPS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2005-08050, author = {Stefania Costantini and Pasquale De Meo and Angelo Giorgianni and Valentina Migliorato and Alessandro Provetti and Federico Salvia}, title = {Exploring Low-degree Nodes First Accelerates Network Exploration}, journal = {CoRR}, volume = {abs/2005.08050}, year = {2020}, url = {https://arxiv.org/abs/2005.08050}, eprinttype = {arXiv}, eprint = {2005.08050}, timestamp = {Fri, 22 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2005-08050.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2005-08959, author = {Pasquale De Meo and Mark Levene and Alessandro Provetti}, title = {Potential gain as a centrality measure}, journal = {CoRR}, volume = {abs/2005.08959}, year = {2020}, url = {https://arxiv.org/abs/2005.08959}, eprinttype = {arXiv}, eprint = {2005.08959}, timestamp = {Fri, 22 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2005-08959.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2005-11416, author = {Hugh Lawson{-}Tancred and Henry C. W. Price and Alessandro Provetti}, title = {{COVID-19} Contact Tracing: Eight Privacy Questions Explored}, journal = {CoRR}, volume = {abs/2005.11416}, year = {2020}, url = {https://arxiv.org/abs/2005.11416}, eprinttype = {arXiv}, eprint = {2005.11416}, timestamp = {Thu, 28 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2005-11416.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2012-05906, author = {Justina Deveikyte and Helyette Geman and Carlo Piccari and Alessandro Provetti}, title = {A Sentiment Analysis Approach to the Prediction of Market Volatility}, journal = {CoRR}, volume = {abs/2012.05906}, year = {2020}, url = {https://arxiv.org/abs/2012.05906}, eprinttype = {arXiv}, eprint = {2012.05906}, timestamp = {Tue, 05 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2012-05906.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/webi/MeoLP19, author = {Pasquale De Meo and Mark Levene and Alessandro Provetti}, editor = {Payam M. Barnaghi and Georg Gottlob and Yannis Manolopoulos and Theodoros Tzouramanis and Athena Vakali}, title = {Potential gain as a centrality measure}, booktitle = {2019 {IEEE/WIC/ACM} International Conference on Web Intelligence, {WI} 2019, Thessaloniki, Greece, October 14-17, 2019}, pages = {418--422}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3350546.3352559}, doi = {10.1145/3350546.3352559}, timestamp = {Thu, 12 Aug 2021 09:49:21 +0200}, biburl = {https://dblp.org/rec/conf/webi/MeoLP19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1812-08012, author = {Pasquale De Meo and Mark Levene and Fabrizio Messina and Alessandro Provetti}, title = {Computing a Score of Navigability in Large Graphs}, journal = {CoRR}, volume = {abs/1812.08012}, year = {2018}, url = {http://arxiv.org/abs/1812.08012}, eprinttype = {arXiv}, eprint = {1812.08012}, timestamp = {Wed, 02 Jan 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1812-08012.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/internet/AgresteMFPP15, author = {Santa Agreste and Pasquale De Meo and Emilio Ferrara and Sebastiano Piccolo and Alessandro Provetti}, title = {Trust Networks: Topology, Dynamics, and Measurements}, journal = {{IEEE} Internet Comput.}, volume = {19}, number = {6}, pages = {26--35}, year = {2015}, url = {https://doi.org/10.1109/MIC.2015.93}, doi = {10.1109/MIC.2015.93}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/internet/AgresteMFPP15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jda/BonaseraFFPP15, author = {Biagio Bonasera and Emilio Ferrara and Giacomo Fiumara and Francesco Pagano and Alessandro Provetti}, title = {Adaptive search over sorted sets}, journal = {J. Discrete Algorithms}, volume = {30}, pages = {128--133}, year = {2015}, url = {https://doi.org/10.1016/j.jda.2014.12.007}, doi = {10.1016/J.JDA.2014.12.007}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jda/BonaseraFFPP15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tsmc/AgresteMFPP15, author = {Santa Agreste and Pasquale De Meo and Emilio Ferrara and Sebastiano Piccolo and Alessandro Provetti}, title = {Analysis of a Heterogeneous Social Network of Humans and Cultural Objects}, journal = {{IEEE} Trans. Syst. Man Cybern. Syst.}, volume = {45}, number = {4}, pages = {559--570}, year = {2015}, url = {https://doi.org/10.1109/TSMC.2014.2378215}, doi = {10.1109/TSMC.2014.2378215}, timestamp = {Sun, 25 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tsmc/AgresteMFPP15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/AgresteMMMNP15, author = {Santa Agreste and Pasquale De Meo and Massimo Marchi and Maria Francesca Milazzo and Salvatore Nunnari and Alessandro Provetti}, editor = {Davide Ancona and Marco Maratea and Viviana Mascardi}, title = {A case study on graph-based planning for emergency evacuation}, booktitle = {Proceedings of the 30th Italian Conference on Computational Logic, Genova, Italy, July 1-3, 2015}, series = {{CEUR} Workshop Proceedings}, volume = {1459}, pages = {46--52}, publisher = {CEUR-WS.org}, year = {2015}, url = {https://ceur-ws.org/Vol-1459/paper32.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:46 +0100}, biburl = {https://dblp.org/rec/conf/cilc/AgresteMMMNP15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/BonaseraFFPP15, author = {Biagio Bonasera and Emilio Ferrara and Giacomo Fiumara and Francesco Pagano and Alessandro Provetti}, title = {Adaptive Search over Sorted Sets}, journal = {CoRR}, volume = {abs/1502.03845}, year = {2015}, url = {http://arxiv.org/abs/1502.03845}, eprinttype = {arXiv}, eprint = {1502.03845}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/BonaseraFFPP15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/OsmanPRS15, author = {Nardine Osman and Alessandro Provetti and Valerio Riggi and Carles Sierra}, title = {{MORE:} Merged Opinions Reputation Model}, journal = {CoRR}, volume = {abs/1503.09066}, year = {2015}, url = {http://arxiv.org/abs/1503.09066}, eprinttype = {arXiv}, eprint = {1503.09066}, timestamp = {Thu, 08 Sep 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/OsmanPRS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/BernavaFMPR15, author = {Carlo Bernava and Giacomo Fiumara and Dario Maggiorini and Alessandro Provetti and Laura Anna Ripamonti}, title = {{RDF} annotation of Second Life objects: Knowledge Representation meets Social Virtual reality}, journal = {CoRR}, volume = {abs/1504.02358}, year = {2015}, url = {http://arxiv.org/abs/1504.02358}, eprinttype = {arXiv}, eprint = {1504.02358}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/BernavaFMPR15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/PadovaniP15, author = {Luca Padovani and Alessandro Provetti}, title = {Qsmodels: {ASP} Planning in Interactive Gaming Environment}, journal = {CoRR}, volume = {abs/1505.07263}, year = {2015}, url = {http://arxiv.org/abs/1505.07263}, eprinttype = {arXiv}, eprint = {1505.07263}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/PadovaniP15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/ProvettiZ15, author = {Alessandro Provetti and Andrea Zucchellini}, title = {A Note on Flagg and Friedman's Epistemic and Intuitionistic Formal Systems}, journal = {CoRR}, volume = {abs/1511.07319}, year = {2015}, url = {http://arxiv.org/abs/1511.07319}, eprinttype = {arXiv}, eprint = {1511.07319}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/ProvettiZ15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cacm/MeoFFP14, author = {Pasquale De Meo and Emilio Ferrara and Giacomo Fiumara and Alessandro Provetti}, title = {On Facebook, most ties are weak}, journal = {Commun. {ACM}}, volume = {57}, number = {11}, pages = {78--84}, year = {2014}, url = {https://doi.org/10.1145/2629438}, doi = {10.1145/2629438}, timestamp = {Sun, 25 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cacm/MeoFFP14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cmot/BernavaFMPR14, author = {Carlo Bernava and Giacomo Fiumara and Dario Maggiorini and Alessandro Provetti and Laura Anna Ripamonti}, title = {{RDF} annotation of Second Life objects: Knowledge Representation meets Social Virtual reality}, journal = {Comput. Math. Organ. Theory}, volume = {20}, number = {1}, pages = {20--35}, year = {2014}, url = {https://doi.org/10.1007/s10588-012-9148-4}, doi = {10.1007/S10588-012-9148-4}, timestamp = {Thu, 04 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cmot/BernavaFMPR14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcss/MeoFFP14, author = {Pasquale De Meo and Emilio Ferrara and Giacomo Fiumara and Alessandro Provetti}, title = {Mixing local and global information for community detection in large networks}, journal = {J. Comput. Syst. Sci.}, volume = {80}, number = {1}, pages = {72--87}, year = {2014}, url = {https://doi.org/10.1016/j.jcss.2013.03.012}, doi = {10.1016/J.JCSS.2013.03.012}, timestamp = {Sun, 25 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jcss/MeoFFP14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eumas/OsmanPRS14, author = {Nardine Osman and Alessandro Provetti and Valerio Riggi and Carles Sierra}, editor = {Nils Bulling}, title = {{MORE:} Merged Opinions Reputation Model}, booktitle = {Multi-Agent Systems - 12th European Conference, {EUMAS} 2014, Prague, Czech Republic, December 18-19, 2014, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {8953}, pages = {67--81}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-17130-2\_5}, doi = {10.1007/978-3-319-17130-2\_5}, timestamp = {Thu, 08 Sep 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eumas/OsmanPRS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/AgresteMFPP14, author = {Santa Agreste and Pasquale De Meo and Emilio Ferrara and Sebastiano Piccolo and Alessandro Provetti}, title = {Analysis of a heterogeneous social network of humans and cultural objects}, journal = {CoRR}, volume = {abs/1402.1778}, year = {2014}, url = {http://arxiv.org/abs/1402.1778}, eprinttype = {arXiv}, eprint = {1402.1778}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/AgresteMFPP14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/BrignoliCDP14, author = {Gianpaolo Brignoli and Stefania Costantini and Ottavio M. D'Antona and Alessandro Provetti}, title = {Characterizing and computing stable models of logic programs: The non-stratified case}, journal = {CoRR}, volume = {abs/1402.5436}, year = {2014}, url = {http://arxiv.org/abs/1402.5436}, eprinttype = {arXiv}, eprint = {1402.5436}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/BrignoliCDP14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/isci/MeoFFP13, author = {Pasquale De Meo and Emilio Ferrara and Giacomo Fiumara and Alessandro Provetti}, title = {Enhancing community detection using a network weighting strategy}, journal = {Inf. Sci.}, volume = {222}, pages = {648--668}, year = {2013}, url = {https://doi.org/10.1016/j.ins.2012.08.001}, doi = {10.1016/J.INS.2012.08.001}, timestamp = {Sun, 25 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/isci/MeoFFP13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1303-1738, author = {Pasquale De Meo and Emilio Ferrara and Giacomo Fiumara and Alessandro Provetti}, title = {Mixing local and global information for community detection in large networks}, journal = {CoRR}, volume = {abs/1303.1738}, year = {2013}, url = {http://arxiv.org/abs/1303.1738}, eprinttype = {arXiv}, eprint = {1303.1738}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1303-1738.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1303-1741, author = {Pasquale De Meo and Emilio Ferrara and Giacomo Fiumara and Alessandro Provetti}, title = {Enhancing community detection using a network weighting strategy}, journal = {CoRR}, volume = {abs/1303.1741}, year = {2013}, url = {http://arxiv.org/abs/1303.1741}, eprinttype = {arXiv}, eprint = {1303.1741}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1303-1741.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/policy/LoboMP12, author = {Jorge Lobo and Massimo Marchi and Alessandro Provetti}, title = {Firewall Configuration Policies for the Specification and Implementation of Private Zones}, booktitle = {2012 {IEEE} International Symposium on Policies for Distributed Systems and Networks, {POLICY} 2012, Chapel Hill, NC, USA, July 16-18, 2012}, pages = {78--85}, publisher = {{IEEE} Computer Society}, year = {2012}, url = {https://doi.org/10.1109/POLICY.2012.14}, doi = {10.1109/POLICY.2012.14}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/policy/LoboMP12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/sp/12/CataneseMFFP12, author = {Salvatore Catanese and Pasquale De Meo and Emilio Ferrara and Giacomo Fiumara and Alessandro Provetti}, editor = {Ajith Abraham}, title = {Extraction and Analysis of Facebook Friendship Relations}, booktitle = {Computational Social Networks}, pages = {291--324}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-1-4471-4054-2\_12}, doi = {10.1007/978-1-4471-4054-2\_12}, timestamp = {Sun, 25 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/sp/12/CataneseMFFP12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1203-0535, author = {Emilio Ferrara and Pasquale De Meo and Giacomo Fiumara and Alessandro Provetti}, title = {The role of strong and weak ties in Facebook: a community structure perspective}, journal = {CoRR}, volume = {abs/1203.0535}, year = {2012}, url = {http://arxiv.org/abs/1203.0535}, eprinttype = {arXiv}, eprint = {1203.0535}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1203-0535.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/Provetti11, author = {Alessandro Provetti}, editor = {Marcello Balduccini and Tran Cao Son}, title = {Recollections on Michael Gelfond's 65th Birthday}, booktitle = {Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning - Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday}, series = {Lecture Notes in Computer Science}, volume = {6565}, pages = {191--192}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-20832-4\_13}, doi = {10.1007/978-3-642-20832-4\_13}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/birthday/Provetti11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ceas/FiumaraMPPS11, author = {Giacomo Fiumara and Massimo Marchi and Rosamaria Pagano and Alessandro Provetti and N. Spada}, editor = {Vidyasagar M. Potdar}, title = {A rule-based system for end-user e-mail annotations}, booktitle = {The 8th Annual Collaboration, Electronic messaging, Anti-Abuse and Spam Conference, {CEAS} 2011, Perth, Australia, September 1-2, 2011, Proceedings}, pages = {102--108}, publisher = {{ACM}}, year = {2011}, url = {https://doi.org/10.1145/2030376.2030388}, doi = {10.1145/2030376.2030388}, timestamp = {Sun, 02 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ceas/FiumaraMPPS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/BasileFP11, author = {Annamaria Basile and Maria Rosa Felice and Alessandro Provetti}, editor = {Fabio Fioravanti}, title = {Formalization and Automated reasoning about a Complex Signalling Network}, booktitle = {Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31 - September 2, 2011}, series = {{CEUR} Workshop Proceedings}, volume = {810}, pages = {407--414}, publisher = {CEUR-WS.org}, year = {2011}, url = {https://ceur-ws.org/Vol-810/paper-s09.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:46 +0100}, biburl = {https://dblp.org/rec/conf/cilc/BasileFP11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dasfaa/AmalfiACP11, author = {Maria Amalfi and Alessandro Artale and Andrea Cal{\`{\i}} and Alessandro Provetti}, editor = {Jeffrey Xu Yu and Myoung{-}Ho Kim and Rainer Unland}, title = {Generating Preview Instances for the Face Validation of Entity-Relationship Schemata: The Acyclic Case}, booktitle = {Database Systems for Advanced Applications - 16th International Conference, {DASFAA} 2011, Hong Kong, China, April 22-25, 2011, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {6588}, pages = {225--234}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-20152-3\_17}, doi = {10.1007/978-3-642-20152-3\_17}, timestamp = {Sun, 02 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dasfaa/AmalfiACP11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gkr/CostantiniP11, author = {Stefania Costantini and Alessandro Provetti}, editor = {Madalina Croitoru and Sebastian Rudolph and Nic Wilson and John Howse and Olivier Corby}, title = {Conflict, Consistency and Truth-Dependencies in Graph Representations of Answer Set Logic Programs}, booktitle = {Graph Structures for Knowledge Representation and Reasoning - Second International Workshop, {GKR} 2011, Barcelona, Spain, July 16, 2011. Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {7205}, pages = {68--90}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-29449-5\_3}, doi = {10.1007/978-3-642-29449-5\_3}, timestamp = {Mon, 03 Jan 2022 22:26:13 +0100}, biburl = {https://dblp.org/rec/conf/gkr/CostantiniP11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isda/MeoFFP11, author = {Pasquale De Meo and Emilio Ferrara and Giacomo Fiumara and Alessandro Provetti}, editor = {Sebasti{\'{a}}n Ventura and Ajith Abraham and Krzysztof J. Cios and Crist{\'{o}}bal Romero and Francesco Marcelloni and Jos{\'{e}} Manuel Ben{\'{\i}}tez and Eva Lucrecia Gibaja Galindo}, title = {Generalized Louvain method for community detection in large networks}, booktitle = {11th International Conference on Intelligent Systems Design and Applications, {ISDA} 2011, C{\'{o}}rdoba, Spain, November 22-24, 2011}, pages = {88--93}, publisher = {{IEEE}}, year = {2011}, url = {https://doi.org/10.1109/ISDA.2011.6121636}, doi = {10.1109/ISDA.2011.6121636}, timestamp = {Tue, 23 Aug 2022 09:19:48 +0200}, biburl = {https://dblp.org/rec/conf/isda/MeoFFP11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isda/MeoFFP11a, author = {Pasquale De Meo and Emilio Ferrara and Giacomo Fiumara and Alessandro Provetti}, editor = {Sebasti{\'{a}}n Ventura and Ajith Abraham and Krzysztof J. Cios and Crist{\'{o}}bal Romero and Francesco Marcelloni and Jos{\'{e}} Manuel Ben{\'{\i}}tez and Eva Lucrecia Gibaja Galindo}, title = {Improving recommendation quality by merging collaborative filtering and social relationships}, booktitle = {11th International Conference on Intelligent Systems Design and Applications, {ISDA} 2011, C{\'{o}}rdoba, Spain, November 22-24, 2011}, pages = {587--592}, publisher = {{IEEE}}, year = {2011}, url = {https://doi.org/10.1109/ISDA.2011.6121719}, doi = {10.1109/ISDA.2011.6121719}, timestamp = {Sun, 25 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/isda/MeoFFP11a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wims/CataneseMFFP11, author = {Salvatore Catanese and Pasquale De Meo and Emilio Ferrara and Giacomo Fiumara and Alessandro Provetti}, editor = {Rajendra Akerkar}, title = {Crawling Facebook for social network analysis purposes}, booktitle = {Proceedings of the International Conference on Web Intelligence, Mining and Semantics, {WIMS} 2011, Sogndal, Norway, May 25 - 27, 2011}, pages = {52}, publisher = {{ACM}}, year = {2011}, url = {https://doi.org/10.1145/1988688.1988749}, doi = {10.1145/1988688.1988749}, timestamp = {Sun, 25 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wims/CataneseMFFP11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1105-6307, author = {Salvatore Catanese and Pasquale De Meo and Emilio Ferrara and Giacomo Fiumara and Alessandro Provetti}, title = {Crawling Facebook for Social Network Analysis Purposes}, journal = {CoRR}, volume = {abs/1105.6307}, year = {2011}, url = {http://arxiv.org/abs/1105.6307}, eprinttype = {arXiv}, eprint = {1105.6307}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1105-6307.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1108-1502, author = {Pasquale De Meo and Emilio Ferrara and Giacomo Fiumara and Alessandro Provetti}, title = {Generalized Louvain Method for Community Detection in Large Networks}, journal = {CoRR}, volume = {abs/1108.1502}, year = {2011}, url = {http://arxiv.org/abs/1108.1502}, eprinttype = {arXiv}, eprint = {1108.1502}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1108-1502.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1109-6698, author = {Pasquale De Meo and Emilio Ferrara and Giacomo Fiumara and Alessandro Provetti}, title = {Improving Recommendation Quality by Merging Collaborative Filtering and Social Relationships}, journal = {CoRR}, volume = {abs/1109.6698}, year = {2011}, url = {http://arxiv.org/abs/1109.6698}, eprinttype = {arXiv}, eprint = {1109.6698}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1109-6698.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/aepia/CostantiniP10, author = {Stefania Costantini and Alessandro Provetti}, title = {A Lower Bound for Answer Set Solver Computation}, journal = {Inteligencia Artif.}, volume = {14}, number = {48}, pages = {41--52}, year = {2010}, url = {http://journal.iberamia.org/index.php/ia/article/view/661/article\%20\%281\%29.pdf}, timestamp = {Mon, 02 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/aepia/CostantiniP10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip5-5/FiumaraMPR10, author = {Giacomo Fiumara and Dario Maggiorini and Alessandro Provetti and Laura Anna Ripamonti}, editor = {Luis M. Camarinha{-}Matos and Xavier Boucher and Hamideh Afsarmanesh}, title = {Knowledge Representation in Virtual Teams: {A} Perspective Approach for Synthetic Worlds}, booktitle = {Collaborative Networks for a Sustainable World - 11th {IFIP} {WG} 5.5 Working Conference on Virtual Enterprises, {PRO-VE} 2010, St. Etienne, France, October 11-13, 2010. Proceedings}, series = {{IFIP} Advances in Information and Communication Technology}, volume = {336}, pages = {619--625}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15961-9\_74}, doi = {10.1007/978-3-642-15961-9\_74}, timestamp = {Fri, 27 Dec 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifip5-5/FiumaraMPR10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rr/FiumaraMPP10, author = {Giacomo Fiumara and Massimo Marchi and Rosamaria Pagano and Alessandro Provetti}, editor = {Pascal Hitzler and Thomas Lukasiewicz}, title = {Rule-Based Spam E-mail Annotation}, booktitle = {Web Reasoning and Rule Systems - Fourth International Conference, {RR} 2010, Bressanone/Brixen, Italy, September 22-24, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6333}, pages = {231--234}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15918-3\_21}, doi = {10.1007/978-3-642-15918-3\_21}, timestamp = {Sun, 02 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rr/FiumaraMPP10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/logcom/GrossiMPP09, author = {Giuliano Grossi and Massimo Marchi and Enrico Pontelli and Alessandro Provetti}, title = {Experimental Analysis of Graph-based Answer Set Computation over Parallel and Distributed Architectures}, journal = {J. Log. Comput.}, volume = {19}, number = {4}, pages = {697--715}, year = {2009}, url = {https://doi.org/10.1093/logcom/exn036}, doi = {10.1093/LOGCOM/EXN036}, timestamp = {Mon, 26 Oct 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/logcom/GrossiMPP09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ictcs/BonaseraPP09, author = {Biagio Bonasera and Francesco Pagano and Alessandro Provetti}, editor = {Alessandra Cherubini and Mario Coppo and Giuseppe Persiano}, title = {Flexible Interpolated-Binary Search over Sorted Sets}, booktitle = {Theoretical Computer Science, 11th Italian Conference, {ICTCS} 2009, Cremona, Italy, September 28-30, 2009, Proceedings}, pages = {51--54}, year = {2009}, timestamp = {Thu, 12 Feb 2015 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ictcs/BonaseraPP09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/CostantiniP09, author = {Stefania Costantini and Alessandro Provetti}, editor = {Mauricio Osorio and Claudia Zepeda and Iv{\'{a}}n Olmos and Carolina Medina and Jos{\'{e}} Arrazola}, title = {A Lower-Bound for Answer Set Solver Computation}, booktitle = {Proceedings of the Fifth Latin American Workshop on Non-Monotonic Reasoning 2009 (LANMR'09) , Facultad de Ciencias B{\'{a}}sicas, Ingenier{\'{\i}}a y Tecnolog{\'{\i}}a , Universidad Aut{\'{o}}noma de Tlaxcala {(UAT)} , Apizaco, Tlaxcala, M{\'{e}}xico, November 5-6, 2009}, series = {{CEUR} Workshop Proceedings}, volume = {533}, pages = {183--198}, publisher = {CEUR-WS.org}, year = {2009}, url = {https://ceur-ws.org/Vol-533/15\_LANMR09\_12.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:17 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/CostantiniP09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/policy/MarchiPP07, author = {Massimo Marchi and Romeo Penzo and Alessandro Provetti}, title = {Policy-Based Parametric Firewall Configuration: {A} Real-Case Application}, booktitle = {8th {IEEE} International Workshop on Policies for Distributed Systems and Networks {(POLICY} 2007), 13-15 June 2007, Bologna, Italy}, pages = {276}, publisher = {{IEEE} Computer Society}, year = {2007}, url = {https://doi.org/10.1109/POLICY.2007.34}, doi = {10.1109/POLICY.2007.34}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/policy/MarchiPP07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/policy/FiumaraMP07, author = {Giacomo Fiumara and Massimo Marchi and Alessandro Provetti}, title = {Adaptive Web Data Extraction Policies}, booktitle = {8th {IEEE} International Workshop on Policies for Distributed Systems and Networks {(POLICY} 2007), 13-15 June 2007, Bologna, Italy}, pages = {281}, publisher = {{IEEE} Computer Society}, year = {2007}, url = {https://doi.org/10.1109/POLICY.2007.4}, doi = {10.1109/POLICY.2007.4}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/policy/FiumaraMP07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecai/AmalfiPPS06, author = {Maria Amalfi and Katia Lo Presti and Alessandro Provetti and Franco Salvetti}, editor = {Gerhard Brewka and Silvia Coradeschi and Anna Perini and Paolo Traverso}, title = {Finding Instances of Deduction and Abduction in Clinical Experimental Transcripts}, booktitle = {{ECAI} 2006, 17th European Conference on Artificial Intelligence, August 29 - September 1, 2006, Riva del Garda, Italy, Including Prestigious Applications of Intelligent Systems {(PAIS} 2006), Proceedings}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {141}, pages = {737--738}, publisher = {{IOS} Press}, year = {2006}, timestamp = {Thu, 12 Feb 2009 12:51:20 +0100}, biburl = {https://dblp.org/rec/conf/ecai/AmalfiPPS06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/otm/CindioFMPRS06, author = {Fiorella de Cindio and Giacomo Fiumara and Massimo Marchi and Alessandro Provetti and Laura Anna Ripamonti and Leonardo Sonnante}, editor = {Robert Meersman and Zahir Tari and Pilar Herrero}, title = {Aggregating Information and Enforcing Awareness Across Communities with the Dynamo {RSS} Feeds Creation Engine: Preliminary Report}, booktitle = {On the Move to Meaningful Internet Systems 2006: {OTM} 2006 Workshops, {OTM} Confederated International Workshops and Posters, AWeSOMe, CAMS, COMINF, IS, KSinBIT, MIOS-CIAO, MONET, OnToContent, ORM, PerSys, {OTM} Academy Doctoral Consortium, RDDS, SWWS, and SeBGIS 2006, Montpellier, France, October 29 - November 3, 2006. Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {4277}, pages = {227--236}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11915034\_46}, doi = {10.1007/11915034\_46}, timestamp = {Thu, 14 Oct 2021 10:28:26 +0200}, biburl = {https://dblp.org/rec/conf/otm/CindioFMPRS06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wlp/BernardoniFMP06, author = {Carlo Bernardoni and Giacomo Fiumara and Massimo Marchi and Alessandro Provetti}, editor = {Michael Fink and Hans Tompits and Stefan Woltran}, title = {Declarative Web data extraction and annotation}, booktitle = {20th Workshop on Logic Programming, Vienna, Austria, February 22--24, 2006}, series = {{INFSYS} Research Report}, volume = {1843-06-02}, pages = {137--144}, publisher = {Technische Universit{\"{a}}t Wien, Austria}, year = {2006}, url = {http://www.kr.tuwien.ac.at/wlp06/25-final.ps.gz}, timestamp = {Thu, 16 Nov 2017 07:57:26 +0100}, biburl = {https://dblp.org/rec/conf/wlp/BernardoniFMP06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/woa/BossaFP06, author = {Sergio Bossa and Giacomo Fiumara and Alessandro Provetti}, editor = {Flavio De Paoli and Antonella Di Stefano and Andrea Omicini and Corrado Santoro}, title = {A Lightweight Architecture for {RSS} Polling of Arbitrary Web sources}, booktitle = {Proceedings of the 7th {WOA} 2006 Workshop, From Objects to Agents (Dagli Oggetti Agli Agenti), Catania, Italy, September 26-27, 2006}, series = {{CEUR} Workshop Proceedings}, volume = {204}, publisher = {CEUR-WS.org}, year = {2006}, url = {https://ceur-ws.org/Vol-204/P14.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:40 +0100}, biburl = {https://dblp.org/rec/conf/woa/BossaFP06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tplp/CostantiniP05, author = {Stefania Costantini and Alessandro Provetti}, title = {Normal forms for answer sets programming}, journal = {Theory Pract. Log. Program.}, volume = {5}, number = {6}, pages = {747--760}, year = {2005}, url = {https://doi.org/10.1017/S1471068404002339}, doi = {10.1017/S1471068404002339}, timestamp = {Thu, 13 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tplp/CostantiniP05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/policy/BertinoMP05, author = {Elisa Bertino and Alessandra Mileo and Alessandro Provetti}, title = {{PDL} with Preferences}, booktitle = {6th {IEEE} International Workshop on Policies for Distributed Systems and Networks {(POLICY} 2005), 6-8 June 2005, Stockholm, Sweden}, pages = {213--222}, publisher = {{IEEE} Computer Society}, year = {2005}, url = {https://doi.org/10.1109/POLICY.2005.21}, doi = {10.1109/POLICY.2005.21}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/policy/BertinoMP05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/policy/MarchiMP05, author = {Massimo Marchi and Alessandra Mileo and Alessandro Provetti}, title = {Declarative Policies for Web Service Selection}, booktitle = {6th {IEEE} International Workshop on Policies for Distributed Systems and Networks {(POLICY} 2005), 6-8 June 2005, Stockholm, Sweden}, pages = {239--242}, publisher = {{IEEE} Computer Society}, year = {2005}, url = {https://doi.org/10.1109/POLICY.2005.11}, doi = {10.1109/POLICY.2005.11}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/policy/MarchiMP05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/w3c/BertinoPS05, author = {Elisa Bertino and Alessandro Provetti and Franco Salvetti}, title = {Reasoning about {RDF} statements with default rules}, booktitle = {{W3C} Workshop on Rule Languages for Interoperability, 27-28 April 2005, Washington, DC, {USA}}, publisher = {{W3C}}, year = {2005}, url = {http://www.w3.org/2004/12/rules-ws/paper/47}, timestamp = {Fri, 05 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/w3c/BertinoPS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/asp/2005, editor = {Marina De Vos and Alessandro Provetti}, title = {Answer Set Programming, Advances in Theory and Implementation, Proceedings of the 3rd Intl. ASP'05 Workshop, Bath, UK, September 27-29, 2005}, series = {{CEUR} Workshop Proceedings}, volume = {142}, publisher = {CEUR-WS.org}, year = {2005}, url = {https://ceur-ws.org/Vol-142}, urn = {urn:nbn:de:0074-142-5}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/asp/2005.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-cs-0508100, author = {Alessandro Provetti}, title = {A primer on Answer Set Programming}, journal = {CoRR}, volume = {abs/cs/0508100}, year = {2005}, url = {http://arxiv.org/abs/cs/0508100}, eprinttype = {arXiv}, eprint = {cs/0508100}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-cs-0508100.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecows/MarchiMP04, author = {Massimo Marchi and Alessandra Mileo and Alessandro Provetti}, editor = {Liang{-}Jie Zhang}, title = {Specification and Execution of Declarative Policies for Grid Service Selection}, booktitle = {Web Services, European Conference, {ECOWS} 2004, Erfurt, Germany, September 27-30, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3250}, pages = {102--115}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30209-4\_8}, doi = {10.1007/978-3-540-30209-4\_8}, timestamp = {Tue, 14 May 2019 10:00:49 +0200}, biburl = {https://dblp.org/rec/conf/ecows/MarchiMP04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/MarchiMP04, author = {Massimo Marchi and Alessandra Mileo and Alessandro Provetti}, editor = {Bart Demoen and Vladimir Lifschitz}, title = {Grid Service Selection with {PPDL}}, booktitle = {Logic Programming, 20th International Conference, {ICLP} 2004, Saint-Malo, France, September 6-10, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3132}, pages = {464--466}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-27775-0\_40}, doi = {10.1007/978-3-540-27775-0\_40}, timestamp = {Tue, 14 May 2019 10:00:48 +0200}, biburl = {https://dblp.org/rec/conf/iclp/MarchiMP04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icws/MarchiMP04, author = {Massimo Marchi and Alessandra Mileo and Alessandro Provetti}, title = {Specification and Execution of Policies for Grid Service Selection}, booktitle = {Proceedings of the {IEEE} International Conference on Web Services (ICWS'04), June 6-9, 2004, San Diego, California, {USA}}, pages = {828--829}, publisher = {{IEEE} Computer Society}, year = {2004}, url = {https://doi.org/10.1109/ICWS.2004.1314961}, doi = {10.1109/ICWS.2004.1314961}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icws/MarchiMP04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jelia/PadovaniP04, author = {Luca Padovani and Alessandro Provetti}, editor = {Jos{\'{e}} J{\'{u}}lio Alferes and Jo{\~{a}}o Alexandre Leite}, title = {Qsmodels: {ASP} Planning in Interactive Gaming Environment}, booktitle = {Logics in Artificial Intelligence, 9th European Conference, {JELIA} 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3229}, pages = {689--692}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30227-8\_58}, doi = {10.1007/978-3-540-30227-8\_58}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jelia/PadovaniP04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/lanmr/2004, editor = {Mauricio Osorio and Alessandro Provetti}, title = {Latin-American Workshop on Non-Monotonic Reasoning, Proceedings of the 1st Intl. {LA-NMR04} Workshop, Antiguo Colegio de San Ildefonso, Mexico City, {D.F} , Mexico, April 26th 2004}, series = {{CEUR} Workshop Proceedings}, volume = {92}, publisher = {CEUR-WS.org}, year = {2004}, url = {https://ceur-ws.org/Vol-92}, urn = {urn:nbn:de:0074-92-8}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/2004.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/cs-AI-0410014, author = {Stefania Costantini and Alessandro Provetti}, title = {Normal forms for Answer Sets Programming}, journal = {CoRR}, volume = {cs.AI/0410014}, year = {2004}, url = {http://arxiv.org/abs/cs.AI/0410014}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/cs-AI-0410014.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tplp/BaralPS03, author = {Chitta Baral and Alessandro Provetti and Tran Cao Son}, title = {Introduction to the special issue on Programming with Answer Sets}, journal = {Theory Pract. Log. Program.}, volume = {3}, number = {4-5}, pages = {387--391}, year = {2003}, url = {https://doi.org/10.1017/S1471068403001820}, doi = {10.1017/S1471068403001820}, timestamp = {Thu, 13 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tplp/BaralPS03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/agp/BertinoMP03, author = {Elisa Bertino and Alessandra Mileo and Alessandro Provetti}, editor = {Francesco Buccafurri}, title = {User Preferences {VS} Minimality in {PPDL}}, booktitle = {2003 Joint Conference on Declarative Programming, AGP-2003, Reggio Calabria, Italy, September 3-5, 2003}, pages = {110--122}, year = {2003}, timestamp = {Wed, 01 Dec 2004 15:29:03 +0100}, biburl = {https://dblp.org/rec/conf/agp/BertinoMP03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/agp/BertinoPS03, author = {Elisa Bertino and Alessandro Provetti and Franco Salvetti}, editor = {Francesco Buccafurri}, title = {Local Closed-World Assumptions for reasoning about Semantic Web data}, booktitle = {2003 Joint Conference on Declarative Programming, AGP-2003, Reggio Calabria, Italy, September 3-5, 2003}, pages = {314--323}, year = {2003}, timestamp = {Wed, 06 Jul 2005 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/agp/BertinoPS03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ismis/BertinoMP03, author = {Elisa Bertino and Alessandra Mileo and Alessandro Provetti}, editor = {Ning Zhong and Zbigniew W. Ras and Shusaku Tsumoto and Einoshin Suzuki}, title = {{PDL} with Maximum Consistency Monitors}, booktitle = {Foundations of Intelligent Systems, 14th International Symposium, {ISMIS} 2003, Maebashi City, Japan, October 28-31, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2871}, pages = {65--74}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-39592-8\_10}, doi = {10.1007/978-3-540-39592-8\_10}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/ismis/BertinoMP03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/asp/2003, editor = {Marina De Vos and Alessandro Provetti}, title = {Answer Set Programming, Advances in Theory and Implementation, Proceedings of the 2nd Intl. ASP'03 Workshop, Messina, Italy, September 26-28, 2003}, series = {{CEUR} Workshop Proceedings}, volume = {78}, publisher = {CEUR-WS.org}, year = {2003}, url = {https://ceur-ws.org/Vol-78}, urn = {urn:nbn:de:0074-78-6}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/asp/2003.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ipl/CostantiniDP02, author = {Stefania Costantini and Ottavio M. D'Antona and Alessandro Provetti}, title = {On the equivalence and range of applicability of graph-based representations of logic programs}, journal = {Inf. Process. Lett.}, volume = {84}, number = {5}, pages = {241--249}, year = {2002}, url = {https://doi.org/10.1016/S0020-0190(02)00290-9}, doi = {10.1016/S0020-0190(02)00290-9}, timestamp = {Sun, 02 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ipl/CostantiniDP02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ismis/CostantiniOPS02, author = {Stefania Costantini and Ram{\'{o}}n P. Otero and Alessandro Provetti and Tran Cao Son}, editor = {Mohand{-}Said Hacid and Zbigniew W. Ras and Djamel A. Zighed and Yves Kodratoff}, title = {Disjunctive Logic Programs with Inheritance Revisited}, booktitle = {Foundations of Intelligent Systems, 13th International Symposium, {ISMIS} 2002, Lyon, France, June 27-29, 2002, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2366}, pages = {294--302}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-48050-1\_33}, doi = {10.1007/3-540-48050-1\_33}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ismis/CostantiniOPS02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/aim/FesqAKPCSLLPC01, author = {Lorraine M. Fesq and Ella M. Atkins and Lina Khatib and Charles Pecheur and Paul R. Cohen and Lynn Andrea Stein and Michael van Lent and John E. Laird and Alessandro Provetti and Tran Cao Son}, title = {{AAAI} 2001 Spring Symposium Series Reports}, journal = {{AI} Mag.}, volume = {22}, number = {3}, pages = {117--122}, year = {2001}, url = {https://doi.org/10.1609/aimag.v22i3.1585}, doi = {10.1609/AIMAG.V22I3.1585}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/aim/FesqAKPCSLLPC01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/asp/BertoniGPKT01, author = {Alberto Bertoni and Giuliano Grossi and Alessandro Provetti and Vladik Kreinovich and Luis Tari}, editor = {Alessandro Provetti and Tran Cao Son}, title = {The Prospect for Answer Sets Computation by a Genetic Model}, booktitle = {Answer Set Programming, Towards Efficient and Scalable Knowledge Representation and Reasoning, Proceedings of the 1st Intl. ASP'01 Workshop, Stanford, CA, USA, March 26-28, 2001}, year = {2001}, url = {http://www.cs.nmsu.edu/\%7Etson/ASP2001/25.ps}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/asp/BertoniGPKT01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/asp/2001, editor = {Alessandro Provetti and Tran Cao Son}, title = {Answer Set Programming, Towards Efficient and Scalable Knowledge Representation and Reasoning, Proceedings of the 1st Intl. ASP'01 Workshop, Stanford, CA, USA, March 26-28, 2001}, year = {2001}, timestamp = {Mon, 18 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/asp/2001.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/micai/BalducciniBLMP00, author = {Marcello Balduccini and Gianpaolo Brignoli and Gaetano Aurelio Lanzarone and F. Magni and Alessandro Provetti}, editor = {Osvaldo Cair{\'{o}} and Luis Enrique Sucar and Francisco J. Cantu}, title = {Experiments in Answer Sets Planning}, booktitle = {{MICAI} 2000: Advances in Artificial Intelligence, Mexican International Conference on Artificial Intelligence, Acapulco, Mexico, April 11-14, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1793}, pages = {95--107}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/10720076\_9}, doi = {10.1007/10720076\_9}, timestamp = {Sun, 02 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/micai/BalducciniBLMP00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/BaralGP98, author = {Chitta Baral and Alfredo Gabaldon and Alessandro Provetti}, title = {Value Minimization in Circumscription}, journal = {Artif. Intell.}, volume = {102}, number = {2}, pages = {163--186}, year = {1998}, url = {https://doi.org/10.1016/S0004-3702(98)00051-4}, doi = {10.1016/S0004-3702(98)00051-4}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/BaralGP98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/BaralGP98a, author = {Chitta Baral and Alfredo Gabaldon and Alessandro Provetti}, title = {Formalizing Narratives Using Nested Circumscription}, journal = {Artif. Intell.}, volume = {104}, number = {1-2}, pages = {107--164}, year = {1998}, url = {https://doi.org/10.1016/S0004-3702(98)00070-8}, doi = {10.1016/S0004-3702(98)00070-8}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/BaralGP98a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/agp/LanzaroneP98, author = {Gaetano Aurelio Lanzarone and Alessandro Provetti}, editor = {Jos{\'{e}} Luis Freire{-}Nistal and Moreno Falaschi and Manuel Vilares Ferro}, title = {Processing Temporal and Atemporal Declarative Knowledge in Metalogic Programming}, booktitle = {1998 Joint Conference on Declarative Programming, APPIA-GULP-PRODE'98, {A} Coru{\~{n}}a, Spain, July 20-23, 1998}, pages = {201--214}, year = {1998}, timestamp = {Wed, 21 Nov 2007 11:59:17 +0100}, biburl = {https://dblp.org/rec/conf/agp/LanzaroneP98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlp/BaralGP97, author = {Chitta Baral and Michael Gelfond and Alessandro Provetti}, title = {Representing Actions: Laws, Observations and Hypotheses}, journal = {J. Log. Program.}, volume = {31}, number = {1-3}, pages = {201--243}, year = {1997}, url = {https://doi.org/10.1016/S0743-1066(96)00141-0}, doi = {10.1016/S0743-1066(96)00141-0}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jlp/BaralGP97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/agp/ProvettiR97, author = {Alessandro Provetti and Gianfranco Rossi}, editor = {Moreno Falaschi and Marisa Navarro and Alberto Policriti}, title = {Action Specifications in log}, booktitle = {1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'97, Grado, Italy, June 16-19, 1997}, pages = {381--392}, year = {1997}, timestamp = {Thu, 28 Mar 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/agp/ProvettiR97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ci/Provetti96, author = {Alessandro Provetti}, title = {Hypothetical Reasoning about Actions: From Situation Calculus to Event Calculus}, journal = {Comput. Intell.}, volume = {12}, pages = {478--498}, year = {1996}, url = {https://doi.org/10.1111/j.1467-8640.1996.tb00272.x}, doi = {10.1111/J.1467-8640.1996.TB00272.X}, timestamp = {Sun, 15 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ci/Provetti96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rc/Provetti96, author = {Alessandro Provetti}, title = {Ordering events: Intervals are sufficient, more general sets are usually not necessary}, journal = {Reliab. Comput.}, volume = {2}, number = {3}, pages = {321--327}, year = {1996}, url = {https://doi.org/10.1007/BF02391703}, doi = {10.1007/BF02391703}, timestamp = {Thu, 16 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rc/Provetti96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/BaralGP96, author = {Chitta Baral and Alfredo Gabaldon and Alessandro Provetti}, editor = {William J. Clancey and Daniel S. Weld}, title = {Formalizing Narratives Using Nested Circumscription}, booktitle = {Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, {AAAI} 96, {IAAI} 96, Portland, Oregon, USA, August 4-8, 1996, Volume 1}, pages = {652--657}, publisher = {{AAAI} Press / The {MIT} Press}, year = {1996}, url = {http://www.aaai.org/Library/AAAI/1996/aaai96-097.php}, timestamp = {Mon, 04 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aaai/BaralGP96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kr/BaralGP96, author = {Chitta Baral and Alfredo Gabaldon and Alessandro Provetti}, editor = {Luigia Carlucci Aiello and Jon Doyle and Stuart C. Shapiro}, title = {Value Minimization in Circumscription}, booktitle = {Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR'96), Cambridge, Massachusetts, USA, November 5-8, 1996}, pages = {474--481}, publisher = {Morgan Kaufmann}, year = {1996}, timestamp = {Fri, 18 May 2012 15:03:00 +0200}, biburl = {https://dblp.org/rec/conf/kr/BaralGP96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecai/ChittaroMP94, author = {Luca Chittaro and Angelo Montanari and Alessandro Provetti}, editor = {Anthony G. Cohn}, title = {Skeptical and Credulous Event Calculi for Supporting Modal Queries}, booktitle = {Proceedings of the Eleventh European Conference on Artificial Intelligence, Amsterdam, The Netherlands, August 8-12, 1994}, pages = {361--365}, publisher = {John Wiley and Sons, Chichester}, year = {1994}, timestamp = {Tue, 20 Jun 2023 09:03:42 +0200}, biburl = {https://dblp.org/rec/conf/ecai/ChittaroMP94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/time/Provetti94, author = {Alessandro Provetti}, editor = {Scott D. Goodwin and Howard J. Hamilton}, title = {Hypothetical Reasoning from Situation Calculus to Event Calculus}, booktitle = {Proceedings of the {TIME-94} International Workshop on Temporal Reasoning, Pensacola, Florida, USA, May 4, 1994}, pages = {42--47}, publisher = {University of Regina, Regina, SK, Canada}, year = {1994}, url = {ftp://ftp.cs.uregina.ca/pub/time-workshop/time94/provetti.ps}, timestamp = {Wed, 28 Aug 2019 11:53:34 +0200}, biburl = {https://dblp.org/rec/conf/time/Provetti94.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.