Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Pierfrancesco Veltri
@article{DBLP:journals/ai/AmendolaGV22,
author = {Giovanni Amendola and
Gianluigi Greco and
Pierfrancesco Veltri},
title = {Answers set programs for non-transferable utility games: Expressiveness,
complexity and applications},
journal = {Artif. Intell.},
volume = {302},
pages = {103606},
year = {2022},
url = {https://doi.org/10.1016/j.artint.2021.103606},
doi = {10.1016/J.ARTINT.2021.103606},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/AmendolaGV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/LeoneMTV19,
author = {Nicola Leone and
Marco Manna and
Giorgio Terracina and
Pierfrancesco Veltri},
title = {Fast Query Answering over Existential Rules},
journal = {{ACM} Trans. Comput. Log.},
volume = {20},
number = {2},
pages = {12:1--12:48},
year = {2019},
url = {https://doi.org/10.1145/3308448},
doi = {10.1145/3308448},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/LeoneMTV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/AlvianoLVZ19,
author = {Mario Alviano and
Nicola Leone and
Pierfrancesco Veltri and
Jessica Zangari},
title = {Enhancing Magic Sets with an Application to Ontological Reasoning},
journal = {Theory Pract. Log. Program.},
volume = {19},
number = {5-6},
pages = {654--670},
year = {2019},
url = {https://doi.org/10.1017/S1471068419000115},
doi = {10.1017/S1471068419000115},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/AlvianoLVZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/LeoneAACCCCFFGL19,
author = {Nicola Leone and
Carlo Allocca and
Mario Alviano and
Francesco Calimeri and
Cristina Civili and
Roberta Costabile and
Bernardo Cuteri and
Alessio Fiorentino and
Davide Fusc{\`{a}} and
Stefano Germano and
Giovanni Laboccetta and
Marco Manna and
Simona Perri and
Kristian Reale and
Francesco Ricca and
Pierfrancesco Veltri and
Jessica Zangari},
editor = {Alberto Casagrande and
Eugenio G. Omodeo},
title = {Large Scale {DLV:} Preliminary Results},
booktitle = {Proceedings of the 34th Italian Conference on Computational Logic,
Trieste, Italy, June 19-21, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2396},
publisher = {CEUR-WS.org},
year = {2019},
timestamp = {Fri, 10 Mar 2023 16:22:45 +0100},
biburl = {https://dblp.org/rec/conf/cilc/LeoneAACCCCFFGL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/datalog/AlloccaCCCCFFGL19,
author = {Carlo Allocca and
Francesco Calimeri and
Cristina Civili and
Roberta Costabile and
Bernardo Cuteri and
Alessio Fiorentino and
Davide Fusc{\`{a}} and
Stefano Germano and
Giovanni Laboccetta and
Marco Manna and
Simona Perri and
Kristian Reale and
Francesco Ricca and
Pierfrancesco Veltri and
Jessica Zangari},
editor = {Mario Alviano and
Andreas Pieris},
title = {Large-Scale Reasoning on Expressive Horn Ontologies},
booktitle = {Datalog 2.0 2019 - 3rd International Workshop on the Resurgence of
Datalog in Academia and Industry co-located with the 15th International
Conference on Logic Programming and Nonmonotonic Reasoning {(LPNMR}
2019) at the Philadelphia Logic Week 2019, Philadelphia, {PA} (USA),
June 4-5, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2368},
pages = {10--21},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2368/paper1.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:45 +0100},
biburl = {https://dblp.org/rec/conf/datalog/AlloccaCCCCFFGL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/LeoneAACCCFFGLC19,
author = {Nicola Leone and
Carlo Allocca and
Mario Alviano and
Francesco Calimeri and
Cristina Civili and
Roberta Costabile and
Alessio Fiorentino and
Davide Fusc{\`{a}} and
Stefano Germano and
Giovanni Laboccetta and
Bernardo Cuteri and
Marco Manna and
Simona Perri and
Kristian Reale and
Francesco Ricca and
Pierfrancesco Veltri and
Jessica Zangari},
editor = {Marcello Balduccini and
Yuliya Lierler and
Stefan Woltran},
title = {Enhancing {DLV} for Large-Scale Reasoning},
booktitle = {Logic Programming and Nonmonotonic Reasoning - 15th International
Conference, {LPNMR} 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11481},
pages = {312--325},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-20528-7\_23},
doi = {10.1007/978-3-030-20528-7\_23},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/LeoneAACCCFFGLC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sebd/AlloccaACCCCFFG19,
author = {Carlo Allocca and
Mario Alviano and
Francesco Calimeri and
Cristina Civili and
Roberta Costabile and
Bernardo Cuteri and
Alessio Fiorentino and
Davide Fusc{\`{a}} and
Stefano Germano and
Giovanni Laboccetta and
Nicola Leone and
Marco Manna and
Simona Perri and
Kristian Reale and
Francesco Ricca and
Pierfrancesco Veltri and
Jessica Zangari},
editor = {Massimo Mecella and
Giuseppe Amato and
Claudio Gennaro},
title = {Querying Large Expressive Horn Ontologies},
booktitle = {Proceedings of the 27th Italian Symposium on Advanced Database Systems,
Castiglione della Pescaia (Grosseto), Italy, June 16-19, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2400},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2400/paper-31.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:21 +0100},
biburl = {https://dblp.org/rec/conf/sebd/AlloccaACCCCFFG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-08424,
author = {Mario Alviano and
Nicola Leone and
Pierfrancesco Veltri and
Jessica Zangari},
title = {Enhancing magic sets with an application to ontological reasoning},
journal = {CoRR},
volume = {abs/1907.08424},
year = {2019},
url = {http://arxiv.org/abs/1907.08424},
eprinttype = {arXiv},
eprint = {1907.08424},
timestamp = {Tue, 23 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-08424.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/AdrianACCDFFLMP18,
author = {Weronika T. Adrian and
Mario Alviano and
Francesco Calimeri and
Bernardo Cuteri and
Carmine Dodaro and
Wolfgang Faber and
Davide Fusc{\`{a}} and
Nicola Leone and
Marco Manna and
Simona Perri and
Francesco Ricca and
Pierfrancesco Veltri and
Jessica Zangari},
title = {The {ASP} System {DLV:} Advancements and Applications},
journal = {K{\"{u}}nstliche Intell.},
volume = {32},
number = {2-3},
pages = {177--179},
year = {2018},
url = {https://doi.org/10.1007/s13218-018-0533-0},
doi = {10.1007/S13218-018-0533-0},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ki/AdrianACCDFFLMP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ic3k/AlloccaACCFFGLL18,
author = {Carlo Allocca and
Mario Alviano and
Francesco Calimeri and
Roberta Costabile and
Alessio Fiorentino and
Davide Fusc{\`{a}} and
Stefano Germano and
Giovanni Laboccetta and
Nicola Leone and
Marco Manna and
Simona Perri and
Kristian Reale and
Francesco Ricca and
Pierfrancesco Veltri and
Jessica Zangari},
editor = {Ana L. N. Fred and
Ana Salgado and
David Aveiro and
Jan L. G. Dietz and
Jorge Bernardino and
Joaquim Filipe},
title = {Reasoning over Ontologies with {DLV}},
booktitle = {Knowledge Discovery, Knowledge Engineering and Knowledge Management
- 10th International Joint Conference, {IC3K} 2018, Seville, Spain,
September 18-20, 2018, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {1222},
pages = {114--136},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-49559-6\_6},
doi = {10.1007/978-3-030-49559-6\_6},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ic3k/AlloccaACCFFGLL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/AmendolaLMV18,
author = {Giovanni Amendola and
Nicola Leone and
Marco Manna and
Pierfrancesco Veltri},
editor = {J{\'{e}}r{\^{o}}me Lang},
title = {Enhancing Existential Rules by Closed-World Variables},
booktitle = {Proceedings of the Twenty-Seventh International Joint Conference on
Artificial Intelligence, {IJCAI} 2018, July 13-19, 2018, Stockholm,
Sweden},
pages = {1676--1682},
publisher = {ijcai.org},
year = {2018},
url = {https://doi.org/10.24963/ijcai.2018/232},
doi = {10.24963/IJCAI.2018/232},
timestamp = {Tue, 20 Aug 2019 16:19:08 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/AmendolaLMV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/CatalanoLRRV18,
author = {Gelsomina Catalano and
Giovanni Laboccetta and
Kristian Reale and
Francesco Ricca and
Pierfrancesco Veltri},
editor = {Francesco Calimeri and
Kevin W. Hamlen and
Nicola Leone},
title = {A REST-Based Development Framework for {ASP:} Tools and Application},
booktitle = {Practical Aspects of Declarative Languages - 20th International Symposium,
{PADL} 2018, Los Angeles, CA, USA, January 8-9, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10702},
pages = {161--169},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-73305-0\_11},
doi = {10.1007/978-3-319-73305-0\_11},
timestamp = {Fri, 27 Mar 2020 08:57:16 +0100},
biburl = {https://dblp.org/rec/conf/padl/CatalanoLRRV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sebd/LeonePRVZ18,
author = {Nicola Leone and
Simona Perri and
Francesco Ricca and
Pierfrancesco Veltri and
Jessica Zangari},
editor = {Sonia Bergamaschi and
Tommaso Di Noia and
Andrea Maurino},
title = {First Steps towards Reasoning on Big Data with {DLV}},
booktitle = {Proceedings of the 26th Italian Symposium on Advanced Database Systems,
Castellaneta Marina (Taranto), Italy, June 24-27, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2161},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2161/paper4.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:21 +0100},
biburl = {https://dblp.org/rec/conf/sebd/LeonePRVZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/AmendolaLMV17,
author = {Giovanni Amendola and
Nicola Leone and
Marco Manna and
Pierfrancesco Veltri},
editor = {Ricardo Rocha and
Tran Cao Son and
Christopher Mears and
Neda Saeedloei},
title = {Reasoning on anonymity in Datalog+/-},
booktitle = {Technical Communications of the 33rd International Conference on Logic
Programming, {ICLP} 2017, August 28 to September 1, 2017, Melbourne,
Australia},
series = {OASIcs},
volume = {58},
pages = {3:1--3:5},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/OASIcs.ICLP.2017.3},
doi = {10.4230/OASICS.ICLP.2017.3},
timestamp = {Tue, 15 Feb 2022 09:40:05 +0100},
biburl = {https://dblp.org/rec/conf/iclp/AmendolaLMV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/AlvianoCDFLPRVZ17,
author = {Mario Alviano and
Francesco Calimeri and
Carmine Dodaro and
Davide Fusc{\`{a}} and
Nicola Leone and
Simona Perri and
Francesco Ricca and
Pierfrancesco Veltri and
Jessica Zangari},
editor = {Marcello Balduccini and
Tomi Janhunen},
title = {The {ASP} System {DLV2}},
booktitle = {Logic Programming and Nonmonotonic Reasoning - 14th International
Conference, {LPNMR} 2017, Espoo, Finland, July 3-6, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10377},
pages = {215--221},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-61660-5\_19},
doi = {10.1007/978-3-319-61660-5\_19},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/AlvianoCDFLPRVZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/AmendolaGLV16,
author = {Giovanni Amendola and
Gianluigi Greco and
Nicola Leone and
Pierfrancesco Veltri},
editor = {Subbarao Kambhampati},
title = {Modeling and Reasoning about {NTU} Games via Answer Set Programming},
booktitle = {Proceedings of the Twenty-Fifth International Joint Conference on
Artificial Intelligence, {IJCAI} 2016, New York, NY, USA, 9-15 July
2016},
pages = {38--45},
publisher = {{IJCAI/AAAI} Press},
year = {2016},
url = {http://www.ijcai.org/Abstract/16/013},
timestamp = {Tue, 20 Aug 2019 16:19:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/AmendolaGLV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sebd/FebbraroLRTV13,
author = {Onofrio Febbraro and
Nicola Leone and
Francesco Ricca and
Giorgio Terracina and
Pierfrancesco Veltri},
editor = {Francesco Buccafurri and
Domenico Sacc{\`{a}}},
title = {A graphic tool for ontology reasoning under Datalog\({}^{\mbox{{\(\exists\)}}}\)},
booktitle = {21st Italian Symposium on Advanced Database Systems, {SEBD} 2013,
Roccella Jonica, Reggio Calabria, Italy, June 30 - July 4, 2013},
pages = {51--62},
publisher = {Curran Associates},
year = {2013},
timestamp = {Tue, 14 Nov 2017 16:36:25 +0100},
biburl = {https://dblp.org/rec/conf/sebd/FebbraroLRTV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/datalog/AlvianoLMTV12,
author = {Mario Alviano and
Nicola Leone and
Marco Manna and
Giorgio Terracina and
Pierfrancesco Veltri},
editor = {Pablo Barcel{\'{o}} and
Reinhard Pichler},
title = {Magic-Sets for Datalog with Existential Quantifiers},
booktitle = {Datalog in Academia and Industry - Second International Workshop,
Datalog 2.0, Vienna, Austria, September 11-13, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7494},
pages = {31--43},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32925-8\_5},
doi = {10.1007/978-3-642-32925-8\_5},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/datalog/AlvianoLMTV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/LeoneMTV12,
author = {Nicola Leone and
Marco Manna and
Giorgio Terracina and
Pierfrancesco Veltri},
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {Efficiently Computable Datalog{\(\exists\)} Programs},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4521},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/LeoneMTV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sebd/LeoneMTV12,
author = {Nicola Leone and
Marco Manna and
Giorgio Terracina and
Pierfrancesco Veltri},
editor = {Nicola Ferro and
Letizia Tanca},
title = {Efficient Query Answering over Datalog with Existential Quantifiers},
booktitle = {Twentieth Italian Symposium on Advanced Database Systems, {SEBD} 2012,
Venice, Italy, June 24-27, 2012, Proceedings},
pages = {155--162},
publisher = {Edizioni Libreria Progetto, Padova, Italy},
year = {2012},
url = {http://sebd2012.dei.unipd.it/documents/188475/cce9a9ef-dac8-4d0b-b05c-a15806050538},
timestamp = {Fri, 07 Jun 2019 10:59:18 +0200},
biburl = {https://dblp.org/rec/conf/sebd/LeoneMTV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/CalimeriIRABCCFFLMMPPRSSTV11,
author = {Francesco Calimeri and
Giovambattista Ianni and
Francesco Ricca and
Mario Alviano and
Annamaria Bria and
Gelsomina Catalano and
Susanna Cozza and
Wolfgang Faber and
Onofrio Febbraro and
Nicola Leone and
Marco Manna and
Alessandra Martello and
Claudio Panetta and
Simona Perri and
Kristian Reale and
Maria Carmela Santoro and
Marco Sirianni and
Giorgio Terracina and
Pierfrancesco Veltri},
editor = {James P. Delgrande and
Wolfgang Faber},
title = {The Third Answer Set Programming Competition: Preliminary Report of
the System Competition Track},
booktitle = {Logic Programming and Nonmonotonic Reasoning - 11th International
Conference, {LPNMR} 2011, Vancouver, Canada, May 16-19, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6645},
pages = {388--403},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20895-9\_46},
doi = {10.1007/978-3-642-20895-9\_46},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/CalimeriIRABCCFFLMMPPRSSTV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/MarateaRV10,
author = {Marco Maratea and
Francesco Ricca and
Pierfrancesco Veltri},
editor = {Tomi Janhunen and
Ilkka Niemel{\"{a}}},
title = {DLV\({}^{\mbox{\emph{MC}}}\): Enhanced Model Checking in {DLV}},
booktitle = {Logics in Artificial Intelligence - 12th European Conference, {JELIA}
2010, Helsinki, Finland, September 13-15, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6341},
pages = {365--368},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15675-5\_33},
doi = {10.1007/978-3-642-15675-5\_33},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/jelia/MarateaRV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 05:45 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
