Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Simona Perri
@inproceedings{DBLP:conf/padl/CalimeriIPPZ24,
author = {Francesco Calimeri and
Giovambattista Ianni and
Francesco Pacenza and
Simona Perri and
Jessica Zangari},
editor = {Martin Gebser and
Ilya Sergey},
title = {Forget and Regeneration Techniques for Optimizing ASP-Based Stream
Reasoning},
booktitle = {Practical Aspects of Declarative Languages - 26th International Symposium,
{PADL} 2024, London, UK, January 15-16, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14512},
pages = {1--17},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-52038-9\_1},
doi = {10.1007/978-3-031-52038-9\_1},
timestamp = {Fri, 26 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/padl/CalimeriIPPZ24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/algorithms/CalimeriLMPPRRZ23,
author = {Francesco Calimeri and
Nicola Leone and
Giovanni Melissari and
Francesco Pacenza and
Simona Perri and
Kristian Reale and
Francesco Ricca and
Jessica Zangari},
title = {ASP-Based Declarative Reasoning in Data-Intensive Enterprise and IoT
Applications},
journal = {Algorithms},
volume = {16},
number = {3},
pages = {159},
year = {2023},
url = {https://doi.org/10.3390/a16030159},
doi = {10.3390/A16030159},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/algorithms/CalimeriLMPPRRZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bdcc/MastriaPZCPT23,
author = {Elena Mastria and
Francesco Pacenza and
Jessica Zangari and
Francesco Calimeri and
Simona Perri and
Giorgio Terracina},
title = {EnviroStream: {A} Stream Reasoning Benchmark for Environmental and
Climate Monitoring},
journal = {Big Data Cogn. Comput.},
volume = {7},
number = {3},
pages = {135},
year = {2023},
url = {https://doi.org/10.3390/bdcc7030135},
doi = {10.3390/BDCC7030135},
timestamp = {Sat, 13 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bdcc/MastriaPZCPT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-14413,
author = {Pierangela Bruno and
Francesco Calimeri and
Cinzia Marte and
Simona Perri},
title = {Data Augmentation: a Combined Inductive-Deductive Approach featuring
Answer Set Programming},
journal = {CoRR},
volume = {abs/2310.14413},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.14413},
doi = {10.48550/ARXIV.2310.14413},
eprinttype = {arXiv},
eprint = {2310.14413},
timestamp = {Mon, 30 Oct 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-14413.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/CalimeriPZ22,
author = {Francesco Calimeri and
Simona Perri and
Ester Zumpano},
title = {Preface to the Special Issue from the 35th Italian Conference on Computational
Logic {(CILC} 2020)},
journal = {J. Log. Comput.},
volume = {32},
number = {2},
pages = {175--177},
year = {2022},
url = {https://doi.org/10.1093/logcom/exab092},
doi = {10.1093/LOGCOM/EXAB092},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/CalimeriPZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/datalog/LeoneMMP22,
author = {Nicola Leone and
Marco Manna and
Maria Concetta Morelli and
Simona Perri},
editor = {Mario Alviano and
Andreas Pieris},
title = {A Formal Comparison between Datalog-based Languages for Stream Reasoning},
booktitle = {Proceedings of the 4th International Workshop on the Resurgence of
Datalog in Academia and Industry (Datalog-2.0 2022) co-located with
the 16th International Conference on Logic Programming and Nonmonotonic
Reasoning {(LPNMR} 2022), Genova-Nervi, Italy, September 5, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3203},
pages = {151--165},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3203/paper9.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:45 +0100},
biburl = {https://dblp.org/rec/conf/datalog/LeoneMMP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/CalimeriIPPZ22,
author = {Francesco Calimeri and
Giovambattista Ianni and
Francesco Pacenza and
Simona Perri and
Jessica Zangari},
title = {ASP-based Multi-shot Reasoning via {DLV2} with Incremental Grounding},
booktitle = {{PPDP} 2022: 24th International Symposium on Principles and Practice
of Declarative Programming, Tbilisi, Georgia, September 20 - 22, 2022},
pages = {2:1--2:9},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3551357.3551371},
doi = {10.1145/3551357.3551371},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/CalimeriIPPZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/CalimeriMPZ22,
author = {Francesco Calimeri and
Elena Mastria and
Simona Perri and
Jessica Zangari},
editor = {Guido Governatori and
Anni{-}Yasmin Turhan},
title = {The Stream Reasoning System I-DLV-sr: Enhancements and Applications
in Smart Cities},
booktitle = {Rules and Reasoning - 6th International Joint Conference on Rules
and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13752},
pages = {38--53},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-21541-4\_3},
doi = {10.1007/978-3-031-21541-4\_3},
timestamp = {Sun, 25 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ruleml/CalimeriMPZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/padl/2022,
editor = {James Cheney and
Simona Perri},
title = {Practical Aspects of Declarative Languages - 24th International Symposium,
{PADL} 2022, Philadelphia, PA, USA, January 17-18, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13165},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-94479-7},
doi = {10.1007/978-3-030-94479-7},
isbn = {978-3-030-94478-0},
timestamp = {Fri, 14 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/padl/2022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2208-12726,
author = {Nicola Leone and
Marco Manna and
Maria Concetta Morelli and
Simona Perri},
title = {A Formal Comparison between Datalog-based Languages for Stream Reasoning
(extended version)},
journal = {CoRR},
volume = {abs/2208.12726},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2208.12726},
doi = {10.48550/ARXIV.2208.12726},
eprinttype = {arXiv},
eprint = {2208.12726},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2208-12726.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/CalimeriMP21,
author = {Francesco Calimeri and
Marco Manna and
Simona Perri},
title = {Introduction to the {TPLP} Special Issue from the 16th European Conference
on Logics in Artificial Intelligence {(JELIA} 2019)},
journal = {Theory Pract. Log. Program.},
volume = {21},
number = {4},
pages = {402--403},
year = {2021},
url = {https://doi.org/10.1017/S147106842100017X},
doi = {10.1017/S147106842100017X},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/CalimeriMP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/CalimeriMMMPZ21,
author = {Francesco Calimeri and
Marco Manna and
Elena Mastria and
Maria Concetta Morelli and
Simona Perri and
Jessica Zangari},
title = {I-DLV-sr: {A} Stream Reasoning System based on {I-DLV}},
journal = {Theory Pract. Log. Program.},
volume = {21},
number = {5},
pages = {610--628},
year = {2021},
url = {https://doi.org/10.1017/S147106842100034X},
doi = {10.1017/S147106842100034X},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/CalimeriMMMPZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/SegatoCZPCM21,
author = {Alice Segato and
Valentina Corbetta and
Jessica Zangari and
Simona Perri and
Francesco Calimeri and
Elena De Momi},
title = {Optimized 3D path planner for steerable catheters with deductive reasoning},
booktitle = {{IEEE} International Conference on Robotics and Automation, {ICRA}
2021, Xi'an, China, May 30 - June 5, 2021},
pages = {1466--1472},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICRA48506.2021.9561374},
doi = {10.1109/ICRA48506.2021.9561374},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icra/SegatoCZPCM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2108-02797,
author = {Francesco Calimeri and
Marco Manna and
Elena Mastria and
Maria Concetta Morelli and
Simona Perri and
Jessica Zangari},
title = {I-DLV-sr: {A} Stream Reasoning System based on {I-DLV}},
journal = {CoRR},
volume = {abs/2108.02797},
year = {2021},
url = {https://arxiv.org/abs/2108.02797},
eprinttype = {arXiv},
eprint = {2108.02797},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-02797.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/CalimeriDFPZ20,
author = {Francesco Calimeri and
Carmine Dodaro and
Davide Fusc{\`{a}} and
Simona Perri and
Jessica Zangari},
title = {Efficiently Coupling the {I-DLV} Grounder with {ASP} Solvers},
journal = {Theory Pract. Log. Program.},
volume = {20},
number = {2},
pages = {205--224},
year = {2020},
url = {https://doi.org/10.1017/S1471068418000546},
doi = {10.1017/S1471068418000546},
timestamp = {Thu, 19 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/CalimeriDFPZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2009-10252,
author = {Elena Mastria and
Jessica Zangari and
Simona Perri and
Francesco Calimeri},
editor = {Francesco Ricca and
Alessandra Russo and
Sergio Greco and
Nicola Leone and
Alexander Artikis and
Gerhard Friedrich and
Paul Fodor and
Angelika Kimmig and
Francesca A. Lisi and
Marco Maratea and
Alessandra Mileo and
Fabrizio Riguzzi},
title = {A Machine Learning guided Rewriting Approach for {ASP} Logic Programs},
booktitle = {Proceedings 36th International Conference on Logic Programming (Technical
Communications), {ICLP} Technical Communications 2020, (Technical
Communications) UNICAL, Rende (CS), Italy, 18-24th September 2020},
series = {{EPTCS}},
volume = {325},
pages = {261--267},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.325.31},
doi = {10.4204/EPTCS.325.31},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-10252.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cilc/2020,
editor = {Francesco Calimeri and
Simona Perri and
Ester Zumpano},
title = {Proceedings of the 35th Italian Conference on Computational Logic
- {CILC} 2020, Rende, Italy, October 13-15, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2710},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2710},
urn = {urn:nbn:de:0074-2710-9},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cilc/2020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/CalimeriFGPZ19,
author = {Francesco Calimeri and
Davide Fusc{\`{a}} and
Stefano Germano and
Simona Perri and
Jessica Zangari},
title = {Fostering the Use of Declarative Formalisms for Real-World Applications:
The EmbASP Framework},
journal = {New Gener. Comput.},
volume = {37},
number = {1},
pages = {29--65},
year = {2019},
url = {https://doi.org/10.1007/s00354-018-0046-2},
doi = {10.1007/S00354-018-0046-2},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ngc/CalimeriFGPZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/CalimeriPZ19,
author = {Francesco Calimeri and
Simona Perri and
Jessica Zangari},
title = {Optimizing Answer Set Computation via Heuristic-Based Decomposition},
journal = {Theory Pract. Log. Program.},
volume = {19},
number = {4},
pages = {603--628},
year = {2019},
url = {https://doi.org/10.1017/S1471068419000036},
doi = {10.1017/S1471068419000036},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/CalimeriPZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/CalimeriIPPZ19,
author = {Francesco Calimeri and
Giovambattista Ianni and
Francesco Pacenza and
Simona Perri and
Jessica Zangari},
title = {Incremental Answer Set Programming with Overgrounding},
journal = {Theory Pract. Log. Program.},
volume = {19},
number = {5-6},
pages = {957--973},
year = {2019},
url = {https://doi.org/10.1017/S1471068419000292},
doi = {10.1017/S1471068419000292},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/CalimeriIPPZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/FiorentinoLMPZ19,
author = {Alessio Fiorentino and
Nicola Leone and
Marco Manna and
Simona Perri and
Jessica Zangari},
title = {Precomputing Datalog Evaluation Plans in Large-Scale Scenarios},
journal = {Theory Pract. Log. Program.},
volume = {19},
number = {5-6},
pages = {1073--1089},
year = {2019},
url = {https://doi.org/10.1017/S147106841900036X},
doi = {10.1017/S147106841900036X},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/FiorentinoLMPZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/AlloccaCCFLMPZ19,
author = {Carlo Allocca and
Francesco Calimeri and
Roberta Costabile and
Alessio Fiorentino and
Nicola Leone and
Marco Manna and
Simona Perri and
Jessica Zangari},
editor = {Alberto Casagrande and
Eugenio G. Omodeo},
title = {An ASP-based Approach for Optimizing {DLV} Evaluation},
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/AlloccaCCFLMPZ19.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 = {Tue, 02 Jul 2019 01:00:00 +0200},
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/jelia/AlloccaCFPZ19,
author = {Carlo Allocca and
Roberta Costabile and
Alessio Fiorentino and
Simona Perri and
Jessica Zangari},
editor = {Francesco Calimeri and
Nicola Leone and
Marco Manna},
title = {Memory-Saving Evaluation Plans for Datalog},
booktitle = {Logics in Artificial Intelligence - 16th European Conference, {JELIA}
2019, Rende, Italy, May 7-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11468},
pages = {453--461},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-19570-0\_29},
doi = {10.1007/978-3-030-19570-0\_29},
timestamp = {Fri, 27 Mar 2020 08:53:33 +0100},
biburl = {https://dblp.org/rec/conf/jelia/AlloccaCFPZ19.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-09212,
author = {Francesco Calimeri and
Giovambattista Ianni and
Francesco Pacenza and
Simona Perri and
Jessica Zangari},
title = {Incremental Answer Set Programming with Overgrounding},
journal = {CoRR},
volume = {abs/1907.09212},
year = {2019},
url = {http://arxiv.org/abs/1907.09212},
eprinttype = {arXiv},
eprint = {1907.09212},
timestamp = {Tue, 30 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-09212.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-12495,
author = {Alessio Fiorentino and
Nicola Leone and
Marco Manna and
Simona Perri and
Jessica Zangari},
title = {Precomputing Datalog evaluation plans in large-scale scenarios},
journal = {CoRR},
volume = {abs/1907.12495},
year = {2019},
url = {http://arxiv.org/abs/1907.12495},
eprinttype = {arXiv},
eprint = {1907.12495},
timestamp = {Thu, 01 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-12495.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/GebserLMPRS18,
author = {Martin Gebser and
Nicola Leone and
Marco Maratea and
Simona Perri and
Francesco Ricca and
Torsten Schaub},
editor = {J{\'{e}}r{\^{o}}me Lang},
title = {Evaluation Techniques and Systems for Answer Set Programming: a Survey},
booktitle = {Proceedings of the Twenty-Seventh International Joint Conference on
Artificial Intelligence, {IJCAI} 2018, July 13-19, 2018, Stockholm,
Sweden},
pages = {5450--5456},
publisher = {ijcai.org},
year = {2018},
url = {https://doi.org/10.24963/ijcai.2018/769},
doi = {10.24963/IJCAI.2018/769},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/GebserLMPRS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/CalimeriFPZ18,
author = {Francesco Calimeri and
Davide Fusc{\`{a}} and
Simona Perri and
Jessica Zangari},
editor = {Francesco Calimeri and
Kevin W. Hamlen and
Nicola Leone},
title = {Optimizing Answer Set Computation via Heuristic-Based Decomposition},
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 = {135--151},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-73305-0\_9},
doi = {10.1007/978-3-319-73305-0\_9},
timestamp = {Fri, 27 Mar 2020 08:57:16 +0100},
biburl = {https://dblp.org/rec/conf/padl/CalimeriFPZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/CalimeriGIPPZ18,
author = {Francesco Calimeri and
Stefano Germano and
Giovambattista Ianni and
Francesco Pacenza and
Simona Perri and
Jessica Zangari},
editor = {Christoph Benzm{\"{u}}ller and
Francesco Ricca and
Xavier Parent and
Dumitru Roman},
title = {Integrating Rule-Based {AI} Tools into Mainstream Game Development},
booktitle = {Rules and Reasoning - Second International Joint Conference, RuleML+RR
2018, Luxembourg, September 18-21, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11092},
pages = {310--317},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-99906-7\_23},
doi = {10.1007/978-3-319-99906-7\_23},
timestamp = {Tue, 31 Mar 2020 16:35:50 +0200},
biburl = {https://dblp.org/rec/conf/ruleml/CalimeriGIPPZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sebd/CalimeriPTZ18,
author = {Francesco Calimeri and
Simona Perri and
Giorgio Terracina and
Jessica Zangari},
editor = {Sonia Bergamaschi and
Tommaso Di Noia and
Andrea Maurino},
title = {How Modern Deductive Database Systems Can Enhance Data Integration},
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/paper15.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:21 +0100},
biburl = {https://dblp.org/rec/conf/sebd/CalimeriPTZ18.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 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sebd/LeonePRVZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1810-00041,
author = {Francesco Calimeri and
Carmine Dodaro and
Davide Fusc{\`{a}} and
Simona Perri and
Jessica Zangari},
title = {Efficiently Coupling the {I-DLV} Grounder with {ASP} Solvers},
journal = {CoRR},
volume = {abs/1810.00041},
year = {2018},
url = {http://arxiv.org/abs/1810.00041},
eprinttype = {arXiv},
eprint = {1810.00041},
timestamp = {Tue, 30 Oct 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1810-00041.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1812-09718,
author = {Francesco Calimeri and
Simona Perri and
Jessica Zangari},
title = {Optimizing Answer Set Computation via Heuristic-Based Decomposition},
journal = {CoRR},
volume = {abs/1812.09718},
year = {2018},
url = {http://arxiv.org/abs/1812.09718},
eprinttype = {arXiv},
eprint = {1812.09718},
timestamp = {Wed, 02 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1812-09718.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ia/CalimeriFPZ17,
author = {Francesco Calimeri and
Davide Fusc{\`{a}} and
Simona Perri and
Jessica Zangari},
title = {{I-DLV:} The new intelligent grounder of {DLV}},
journal = {Intelligenza Artificiale},
volume = {11},
number = {1},
pages = {5--20},
year = {2017},
url = {https://doi.org/10.3233/IA-170104},
doi = {10.3233/IA-170104},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ia/CalimeriFPZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/FuscaCZP17,
author = {Davide Fusc{\`{a}} and
Francesco Calimeri and
Jessica Zangari and
Simona Perri},
editor = {Marco Maratea and
Ivan Serina},
title = {{I-DLV+MS:} Preliminary Report on an Automatic {ASP} Solver Selector},
booktitle = {Proceedings of the 24th {RCRA} International Workshop on Experimental
Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
2017 co-located with the 16th International Conference of the Italian
Association for Artificial Intelligence (AI*IA 2017), Bari, Italy,
November 14-15, 2017},
series = {{CEUR} Workshop Proceedings},
volume = {2011},
pages = {26--32},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-2011/paper3.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/FuscaCZP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/CalimeriFPZ17,
author = {Francesco Calimeri and
Davide Fusc{\`{a}} and
Simona Perri and
Jessica Zangari},
editor = {Floriana Esposito and
Roberto Basili and
Stefano Ferilli and
Francesca A. Lisi},
title = {External Computations and Interoperability in the New {DLV} Grounder},
booktitle = {AI*IA 2017 Advances in Artificial Intelligence - XVIth International
Conference of the Italian Association for Artificial Intelligence,
Bari, Italy, November 14-17, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10640},
pages = {172--185},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-70169-1\_13},
doi = {10.1007/978-3-319-70169-1\_13},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aiia/CalimeriFPZ17.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}
}
@article{DBLP:journals/corr/CalimeriFGPZ17,
author = {Francesco Calimeri and
Davide Fusc{\`{a}} and
Stefano Germano and
Simona Perri and
Jessica Zangari},
title = {A Framework for Easing the Development of Applications Embedding Answer
Set Programming},
journal = {CoRR},
volume = {abs/1707.06959},
year = {2017},
url = {http://arxiv.org/abs/1707.06959},
eprinttype = {arXiv},
eprint = {1707.06959},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CalimeriFGPZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/KaufmannLPS16,
author = {Benjamin Kaufmann and
Nicola Leone and
Simona Perri and
Torsten Schaub},
title = {Grounding and Solving in Answer Set Programming},
journal = {{AI} Mag.},
volume = {37},
number = {3},
pages = {25--32},
year = {2016},
url = {https://doi.org/10.1609/aimag.v37i3.2672},
doi = {10.1609/AIMAG.V37I3.2672},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aim/KaufmannLPS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/CalimeriFPZ16,
author = {Francesco Calimeri and
Davide Fusc{\`{a}} and
Simona Perri and
Jessica Zangari},
editor = {Giovanni Adorni and
Stefano Cagnoni and
Marco Gori and
Marco Maratea},
title = {\emph{I} -dlv: The New Intelligent Grounder of dlv},
booktitle = {AI*IA 2016: Advances in Artificial Intelligence - XVth International
Conference of the Italian Association for Artificial Intelligence,
Genova, Italy, November 29 - December 1, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10037},
pages = {192--207},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-49130-1\_15},
doi = {10.1007/978-3-319-49130-1\_15},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aiia/CalimeriFPZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/CalimeriFGPZ16,
author = {Francesco Calimeri and
Davide Fusc{\`{a}} and
Stefano Germano and
Simona Perri and
Jessica Zangari},
editor = {Giovanni Adorni and
Stefano Cagnoni and
Marco Gori and
Marco Maratea},
title = {Boosting the Development of ASP-Based Applications in Mobile and General
Scenarios},
booktitle = {AI*IA 2016: Advances in Artificial Intelligence - XVth International
Conference of the Italian Association for Artificial Intelligence,
Genova, Italy, November 29 - December 1, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10037},
pages = {223--236},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-49130-1\_17},
doi = {10.1007/978-3-319-49130-1\_17},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aiia/CalimeriFGPZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/FuscaGZACP16,
author = {Davide Fusc{\`{a}} and
Stefano Germano and
Jessica Zangari and
Marco Anastasio and
Francesco Calimeri and
Simona Perri},
editor = {James Cheney and
Germ{\'{a}}n Vidal},
title = {A framework for easing the development of applications embedding answer
set programming},
booktitle = {Proceedings of the 18th International Symposium on Principles and
Practice of Declarative Programming, Edinburgh, United Kingdom, September
5-7, 2016},
pages = {38--49},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2967973.2968594},
doi = {10.1145/2967973.2968594},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/FuscaGZACP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AlvianoCFLP14,
author = {Mario Alviano and
Francesco Calimeri and
Wolfgang Faber and
Nicola Leone and
Simona Perri},
title = {Unfounded Sets and Well-Founded Semantics of Answer Set Programs with
Aggregates},
journal = {CoRR},
volume = {abs/1401.4596},
year = {2014},
url = {http://arxiv.org/abs/1401.4596},
eprinttype = {arXiv},
eprint = {1401.4596},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AlvianoCFLP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/PerriRS13,
author = {Simona Perri and
Francesco Ricca and
Marco Sirianni},
title = {Parallel instantiation of {ASP} programs: techniques and experiments},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {2},
pages = {253--278},
year = {2013},
url = {https://doi.org/10.1017/S1471068411000652},
doi = {10.1017/S1471068411000652},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/PerriRS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/FuscaGZCP13,
author = {Davide Fusc{\`{a}} and
Stefano Germano and
Jessica Zangari and
Francesco Calimeri and
Simona Perri},
editor = {Matteo Baldoni and
Federico Chesani and
Paola Mello and
Marco Montali},
title = {Answer Set Programming and Declarative Problem Solving in Game AIs},
booktitle = {Proceedings of the Workshop Popularize Artificial Intelligence co-located
with the 13th Conference of the Italian Association for Artificial
Intelligence (AI*IA 2013), Turin, Italy, December 5, 2013},
series = {{CEUR} Workshop Proceedings},
volume = {1107},
pages = {81--88},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1107/paper9.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/FuscaGZCP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/FaberLP12,
author = {Wolfgang Faber and
Nicola Leone and
Simona Perri},
editor = {Esra Erdem and
Joohyung Lee and
Yuliya Lierler and
David Pearce},
title = {The Intelligent Grounder of {DLV}},
booktitle = {Correct Reasoning - Essays on Logic-Based {AI} in Honour of Vladimir
Lifschitz},
series = {Lecture Notes in Computer Science},
volume = {7265},
pages = {247--264},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30743-0\_17},
doi = {10.1007/978-3-642-30743-0\_17},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/FaberLP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/AlvianoCFLP11,
author = {Mario Alviano and
Francesco Calimeri and
Wolfgang Faber and
Nicola Leone and
Simona Perri},
title = {Unfounded Sets and Well-Founded Semantics of Answer Set Programs with
Aggregates},
journal = {J. Artif. Intell. Res.},
volume = {42},
pages = {487--527},
year = {2011},
url = {https://doi.org/10.1613/jair.3432},
doi = {10.1613/JAIR.3432},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jair/AlvianoCFLP11.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}
}
@article{DBLP:journals/corr/abs-1110-1015,
author = {Simona Perri and
Francesco Ricca and
Marco Sirianni},
title = {Parallel Instantiation of {ASP} Programs: Techniques and Experiments},
journal = {CoRR},
volume = {abs/1110.1015},
year = {2011},
url = {http://arxiv.org/abs/1110.1015},
eprinttype = {arXiv},
eprint = {1110.1015},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1110-1015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/PerriRS10,
author = {Simona Perri and
Francesco Ricca and
Marco Sirianni},
editor = {Wolfgang Faber and
Nicola Leone},
title = {Parallel Instantiation in {DLV}},
booktitle = {Proceedings of the 25th Italian Conference on Computational Logic,
Rende, Italy, July 7-9, 2010},
series = {{CEUR} Workshop Proceedings},
volume = {598},
publisher = {CEUR-WS.org},
year = {2010},
url = {https://ceur-ws.org/Vol-598/paper14.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:46 +0100},
biburl = {https://dblp.org/rec/conf/cilc/PerriRS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/PerriRS10,
author = {Simona Perri and
Francesco Ricca and
Marco Sirianni},
editor = {Marco Gavanelli and
Toni Mancini},
title = {Towards a Fully-Parallel {DLV} System},
booktitle = {Proceedings of the 17th {RCRA} workshop on Experimental Evaluation
of Algorithms for Solving Problems with Combinatorial Explosion, RCRA@CPAIOR
2010, Bologna, Italy, June 10-11, 2010},
series = {{CEUR} Workshop Proceedings},
volume = {616},
publisher = {CEUR-WS.org},
year = {2010},
url = {https://ceur-ws.org/Vol-616/paper09.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:31 +0100},
biburl = {https://dblp.org/rec/conf/cpaior/PerriRS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/datalog/AlvianoFLPPT10,
author = {Mario Alviano and
Wolfgang Faber and
Nicola Leone and
Simona Perri and
Gerald Pfeifer and
Giorgio Terracina},
editor = {Oege de Moor and
Georg Gottlob and
Tim Furche and
Andrew Jon Sellers},
title = {The Disjunctive Datalog System {DLV}},
booktitle = {Datalog Reloaded - First International Workshop, Datalog 2010, Oxford,
UK, March 16-19, 2010. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6702},
pages = {282--301},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-24206-9\_17},
doi = {10.1007/978-3-642-24206-9\_17},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/datalog/AlvianoFLPPT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/PerriRS10,
author = {Simona Perri and
Francesco Ricca and
Marco Sirianni},
editor = {Leaf Petersen and
Enrico Pontelli},
title = {A parallel {ASP} instantiator based on {DLV}},
booktitle = {Proceedings of the {POPL} 2010 Workshop on Declarative Aspects of
Multicore Programming, {DAMP} 2010, Madrid, Spain, January 19, 2010},
pages = {73--82},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1708046.1708060},
doi = {10.1145/1708046.1708060},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/PerriRS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/PerriRS09,
author = {Simona Perri and
Francesco Ricca and
Marco Sirianni},
editor = {Marco Gavanelli and
Toni Mancini},
title = {Advanced Heuristics for Parallel {ASP} Instantiation},
booktitle = {Proceedings of the 16th {RCRA} workshop on Experimental Evaluation
of Algorithms for Solving Problems with Combinatorial Explosion, RCRA@AI*IA
2009, Reggio Emilia, Italy, December 11-12, 2009},
series = {{CEUR} Workshop Proceedings},
volume = {589},
publisher = {CEUR-WS.org},
year = {2009},
url = {https://ceur-ws.org/Vol-589/paper05.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:01 +0100},
biburl = {https://dblp.org/rec/conf/aiia/PerriRS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jal/CalimeriPR08,
author = {Francesco Calimeri and
Simona Perri and
Francesco Ricca},
title = {Experimenting with parallelism for the instantiation of {ASP} programs},
journal = {J. Algorithms},
volume = {63},
number = {1-3},
pages = {34--54},
year = {2008},
url = {https://doi.org/10.1016/j.jalgor.2008.02.003},
doi = {10.1016/J.JALGOR.2008.02.003},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jal/CalimeriPR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/PerriSCL07,
author = {Simona Perri and
Francesco Scarcello and
Gelsomina Catalano and
Nicola Leone},
title = {Enhancing {DLV} instantiator by backjumping techniques},
journal = {Ann. Math. Artif. Intell.},
volume = {51},
number = {2-4},
pages = {195--228},
year = {2007},
url = {https://doi.org/10.1007/s10472-008-9090-9},
doi = {10.1007/S10472-008-9090-9},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/PerriSCL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/LeonePFEGPS06,
author = {Nicola Leone and
Gerald Pfeifer and
Wolfgang Faber and
Thomas Eiter and
Georg Gottlob and
Simona Perri and
Francesco Scarcello},
title = {The {DLV} system for knowledge representation and reasoning},
journal = {{ACM} Trans. Comput. Log.},
volume = {7},
number = {3},
pages = {499--562},
year = {2006},
url = {https://doi.org/10.1145/1149114.1149117},
doi = {10.1145/1149114.1149117},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/LeonePFEGPS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/PerriSL05,
author = {Simona Perri and
Francesco Scarcello and
Nicola Leone},
title = {Abductive Logic Programs with Penalization: Semantics, Complexity
and Implementation},
journal = {Theory Pract. Log. Program.},
volume = {5},
number = {1-2},
pages = {123--159},
year = {2005},
url = {https://doi.org/10.1017/S1471068404002224},
doi = {10.1017/S1471068404002224},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/PerriSL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/CalimeriFLP05,
author = {Francesco Calimeri and
Wolfgang Faber and
Nicola Leone and
Simona Perri},
editor = {Leslie Pack Kaelbling and
Alessandro Saffiotti},
title = {Declarative and Computational Properties of Logic Programs with Aggregates},
booktitle = {IJCAI-05, Proceedings of the Nineteenth International Joint Conference
on Artificial Intelligence, Edinburgh, Scotland, UK, July 30 - August
5, 2005},
pages = {406--411},
publisher = {Professional Book Center},
year = {2005},
url = {http://ijcai.org/Proceedings/05/Papers/1346.pdf},
timestamp = {Thu, 21 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/CalimeriFLP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/PerriL04,
author = {Simona Perri and
Nicola Leone},
title = {Parametric connectives in Disjunctive Logic Programming},
journal = {{AI} Commun.},
volume = {17},
number = {2},
pages = {63--74},
year = {2004},
url = {http://content.iospress.com/articles/ai-communications/aic308},
timestamp = {Fri, 15 May 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aicom/PerriL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/CalimeriCCFLPP04,
author = {Francesco Calimeri and
Manuela Citrigno and
Chiara Cumbo and
Wolfgang Faber and
Nicola Leone and
Simona Perri and
Gerald Pfeifer},
editor = {Jos{\'{e}} J{\'{u}}lio Alferes and
Jo{\~{a}}o Alexandre Leite},
title = {New {DLV} Features for Data Integration},
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 = {698--701},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30227-8\_60},
doi = {10.1007/978-3-540-30227-8\_60},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/CalimeriCCFLPP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/DellArmiFILPP04,
author = {Tina Dell'Armi and
Wolfgang Faber and
Giuseppe Ielpa and
Nicola Leone and
Simona Perri and
Gerald Pfeifer},
editor = {Vladimir Lifschitz and
Ilkka Niemel{\"{a}}},
title = {System Description: {DLV} with Aggregates},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 7th International Conference,
{LPNMR} 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2923},
pages = {326--330},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24609-1\_28},
doi = {10.1007/978-3-540-24609-1\_28},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/DellArmiFILPP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/LeonePS04,
author = {Nicola Leone and
Simona Perri and
Francesco Scarcello},
editor = {James P. Delgrande and
Torsten Schaub},
title = {BackJumping techniques for rules instantiation in the {DLV} system},
booktitle = {10th International Workshop on Non-Monotonic Reasoning {(NMR} 2004),
Whistler, Canada, June 6-8, 2004, Proceedings},
pages = {258--266},
year = {2004},
url = {http://www.pims.math.ca/science/2004/NMR/papers/paper34.pdf},
timestamp = {Mon, 21 Jun 2004 10:11:59 +0200},
biburl = {https://dblp.org/rec/conf/nmr/LeonePS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/PerriS03,
author = {Simona Perri and
Francesco Scarcello},
editor = {Francesco Buccafurri},
title = {Advanced Backjumping Techniques for Rule Instantiations},
booktitle = {2003 Joint Conference on Declarative Programming, AGP-2003, Reggio
Calabria, Italy, September 3-5, 2003},
pages = {238--251},
year = {2003},
timestamp = {Wed, 01 Dec 2004 15:29:03 +0100},
biburl = {https://dblp.org/rec/conf/agp/PerriS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asp/LeoneP03,
author = {Nicola Leone and
Simona Perri},
editor = {Marina De Vos and
Alessandro Provetti},
title = {Parametric Connectives in Disjunctive Logic Programming},
booktitle = {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/asp03-final-leone.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:21 +0100},
biburl = {https://dblp.org/rec/conf/asp/LeoneP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-AI-0310047,
author = {Simona Perri and
Francesco Scarcello and
Nicola Leone},
title = {Abductive Logic Programs with Penalization: Semantics, Complexity
and Implementation},
journal = {CoRR},
volume = {cs.AI/0310047},
year = {2003},
url = {http://arxiv.org/abs/cs/0310047},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-AI-0310047.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-AI-0311007,
author = {Simona Perri and
Nicola Leone},
title = {Parametric Connectives in Disjunctive Logic Programming},
journal = {CoRR},
volume = {cs.AI/0311007},
year = {2003},
url = {http://arxiv.org/abs/cs/0311007},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-AI-0311007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/LeonePFCDEGIIKPP02,
author = {Nicola Leone and
Gerald Pfeifer and
Wolfgang Faber and
Francesco Calimeri and
Tina Dell'Armi and
Thomas Eiter and
Georg Gottlob and
Giovambattista Ianni and
Giuseppe Ielpa and
Christoph Koch and
Simona Perri and
Axel Polleres},
editor = {Sergio Flesca and
Sergio Greco and
Nicola Leone and
Giovambattista Ianni},
title = {The {DLV} System},
booktitle = {Logics in Artificial Intelligence, European Conference, {JELIA} 2002,
Cosenza, Italy, September, 23-26, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2424},
pages = {537--540},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45757-7\_50},
doi = {10.1007/3-540-45757-7\_50},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/LeonePFCDEGIIKPP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-AI-0211004,
author = {Nicola Leone and
Gerald Pfeifer and
Wolfgang Faber and
Thomas Eiter and
Georg Gottlob and
Simona Perri and
Francesco Scarcello},
title = {The {DLV} System for Knowledge Representation and Reasoning},
journal = {CoRR},
volume = {cs.AI/0211004},
year = {2002},
url = {http://arxiv.org/abs/cs/0211004},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-AI-0211004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/LeonePS01,
author = {Nicola Leone and
Simona Perri and
Francesco Scarcello},
editor = {Floriana Esposito},
title = {Abduction with Penalization in Logic Programming},
booktitle = {AI*IA 2001: Advances in Artificial Intelligence, 7th Congress of the
Italian Association for Artificial Intelligence, Bari, Italy, September
25-28, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2175},
pages = {123--134},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45411-X\_14},
doi = {10.1007/3-540-45411-X\_14},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aiia/LeonePS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/FranconiPLPS01,
author = {Enrico Franconi and
Antonio Laureti Palma and
Nicola Leone and
Simona Perri and
Francesco Scarcello},
editor = {Robert Nieuwenhuis and
Andrei Voronkov},
title = {Census Data Repair: a Challenging Application of Disjunctive Logic
Programming},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 8th
International Conference, {LPAR} 2001, Havana, Cuba, December 3-7,
2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2250},
pages = {561--578},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45653-8\_39},
doi = {10.1007/3-540-45653-8\_39},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/FranconiPLPS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/LeonePS01,
author = {Nicola Leone and
Simona Perri and
Francesco Scarcello},
editor = {Thomas Eiter and
Wolfgang Faber and
Miroslaw Truszczynski},
title = {Improving {ASP} Instantiators by Join-Ordering Methods},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 6th International Conference,
{LPNMR} 2001, Vienna, Austria, September 17-19, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2173},
pages = {280--294},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45402-0\_21},
doi = {10.1007/3-540-45402-0\_21},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/LeonePS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/DellArmiFIKLPP01,
author = {Tina Dell'Armi and
Wolfgang Faber and
Giuseppe Ielpa and
Christoph Koch and
Nicola Leone and
Simona Perri and
Gerald Pfeifer},
editor = {Thomas Eiter and
Wolfgang Faber and
Miroslaw Truszczynski},
title = {System Description: {DLV}},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 6th International Conference,
{LPNMR} 2001, Vienna, Austria, September 17-19, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2173},
pages = {424--428},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45402-0\_36},
doi = {10.1007/3-540-45402-0\_36},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/DellArmiFIKLPP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sebd/LeonePS01,
author = {Nicola Leone and
Simona Perri and
Francesco Scarcello},
editor = {Augusto Celentano and
Letizia Tanca and
Paolo Tiberio},
title = {Join Ordering Techniques for Knowledge Base Systems},
booktitle = {Nono Convegno Nazionale Sistemi Evoluti per Basi di Dati, {SEBD} 2001,
Venezia, Italy, 27-29 Giugno 2001},
pages = {79--93},
year = {2001},
timestamp = {Mon, 18 Jan 2016 11:07:09 +0100},
biburl = {https://dblp.org/rec/conf/sebd/LeonePS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-LO-0111010,
author = {Giovambattista Ianni and
Nicola Leone and
Simona Perri and
Francesco Scarcello},
title = {Abduction with Penalization in Logic Programming},
journal = {CoRR},
volume = {cs.LO/0111010},
year = {2001},
url = {https://arxiv.org/abs/cs/0111010},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-LO-0111010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/LeonePR99,
author = {Nicola Leone and
Simona Perri and
Pasquale Rullo},
editor = {Evelina Lamma and
Paola Mello},
title = {Local Search Techniques for Disjunctive Logic Programs},
booktitle = {AI*IA 99:Advances in Artificial Intelligence, 6th Congress of the
Italian Association for Artificial Intelligence, Bologna, Italy, September
14-17, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1792},
pages = {107--118},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46238-4\_10},
doi = {10.1007/3-540-46238-4\_10},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aiia/LeonePR99.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 01:16 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:
