BibTeX records: Alessandro Provetti

download as .bib file

@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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics