Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Nicola Leone
@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/tplp/BarbaraGLMQRR23,
author = {Vito Barbara and
Massimo Guarascio and
Nicola Leone and
Giuseppe Manco and
Alessandro Quarta and
Francesco Ricca and
Ettore Ritacco},
title = {Neuro-Symbolic {AI} for Compliance Checking of Electrical Control
Panels},
journal = {Theory Pract. Log. Program.},
volume = {23},
number = {4},
pages = {748--764},
year = {2023},
url = {https://doi.org/10.1017/s1471068423000170},
doi = {10.1017/S1471068423000170},
timestamp = {Fri, 22 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/BarbaraGLMQRR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-10113,
author = {Vito Barbara and
Massimo Guarascio and
Nicola Leone and
Giuseppe Manco and
Alessandro Quarta and
Francesco Ricca and
Ettore Ritacco},
title = {Neuro-Symbolic {AI} for Compliance Checking of Electrical Control
Panels},
journal = {CoRR},
volume = {abs/2305.10113},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.10113},
doi = {10.48550/ARXIV.2305.10113},
eprinttype = {arXiv},
eprint = {2305.10113},
timestamp = {Thu, 25 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-10113.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/BarbaraBGIILL0P22,
author = {Vito Barbara and
Dimitri Buelli and
Massimo Guarascio and
Stefano Ierace and
Salvatore Iiritano and
Giovanni Laboccetta and
Nicola Leone and
Giuseppe Manco and
Valerio Pesenti and
Alessandro Quarta and
Francesco Ricca and
Ettore Ritacco},
editor = {Roberta Calegari and
Giovanni Ciatto and
Andrea Omicini},
title = {A Loosely-coupled Neural-symbolic approach to Compliance of Electric
Panels},
booktitle = {Proceedings of the 37th Italian Conference on Computational Logic,
Bologna, Italy, June 29 - July 1, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3204},
pages = {247--253},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3204/paper\_24.pdf},
timestamp = {Wed, 24 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cilc/BarbaraBGIILL0P22.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/padl/RealeCLR22,
author = {Kristian Reale and
Francesco Calimeri and
Nicola Leone and
Francesco Ricca},
editor = {James Cheney and
Simona Perri},
title = {Smart Devices and Large Scale Reasoning via {ASP:} Tools and Applications},
booktitle = {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},
pages = {154--161},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-94479-7\_10},
doi = {10.1007/978-3-030-94479-7\_10},
timestamp = {Fri, 14 Jan 2022 10:25:28 +0100},
biburl = {https://dblp.org/rec/conf/padl/RealeCLR22.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/BertolucciCDLMM21,
author = {Riccardo Bertolucci and
Alessio Capitanelli and
Carmine Dodaro and
Nicola Leone and
Marco Maratea and
Fulvio Mastrogiovanni and
Mauro Vallati},
title = {Manipulation of Articulated Objects Using Dual-arm Robots via Answer
Set Programming},
journal = {Theory Pract. Log. Program.},
volume = {21},
number = {3},
pages = {372--401},
year = {2021},
url = {https://doi.org/10.1017/S1471068420000459},
doi = {10.1017/S1471068420000459},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/BertolucciCDLMM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/CalimeriFGIKKLM20,
author = {Francesco Calimeri and
Wolfgang Faber and
Martin Gebser and
Giovambattista Ianni and
Roland Kaminski and
Thomas Krennwallner and
Nicola Leone and
Marco Maratea and
Francesco Ricca and
Torsten Schaub},
title = {ASP-Core-2 Input Language Format},
journal = {Theory Pract. Log. Program.},
volume = {20},
number = {2},
pages = {294--309},
year = {2020},
url = {https://doi.org/10.1017/S1471068419000450},
doi = {10.1017/S1471068419000450},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/CalimeriFGIKKLM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/CostabileCCMLM20,
author = {Roberta Costabile and
Gelsomina Catalano and
Bernardo Cuteri and
Maria Concetta Morelli and
Nicola Leone and
Marco Manna},
title = {A logic-based decision support system for the diagnosis of headache
disorders according to the {ICHD-3} international classification},
journal = {Theory Pract. Log. Program.},
volume = {20},
number = {6},
pages = {864--879},
year = {2020},
url = {https://doi.org/10.1017/S1471068420000290},
doi = {10.1017/S1471068420000290},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/CostabileCCMLM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-2009-09158,
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 = {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},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.325},
doi = {10.4204/EPTCS.325},
timestamp = {Wed, 04 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-09158.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2008-02747,
author = {Roberta Costabile and
Gelsomina Catalano and
Bernardo Cuteri and
Maria Concetta Morelli and
Nicola Leone and
Marco Manna},
title = {A logic-based decision support system for the diagnosis of headache
disorders according to the {ICHD-3} international classification},
journal = {CoRR},
volume = {abs/2008.02747},
year = {2020},
url = {https://arxiv.org/abs/2008.02747},
eprinttype = {arXiv},
eprint = {2008.02747},
timestamp = {Fri, 07 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-02747.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-01164,
author = {Riccardo Bertolucci and
Alessio Capitanelli and
Carmine Dodaro and
Nicola Leone and
Marco Maratea and
Fulvio Mastrogiovanni and
Mauro Vallati},
title = {Manipulation of Articulated Objects using Dual-arm Robots via Answer
Set Programming},
journal = {CoRR},
volume = {abs/2010.01164},
year = {2020},
url = {https://arxiv.org/abs/2010.01164},
eprinttype = {arXiv},
eprint = {2010.01164},
timestamp = {Mon, 12 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-01164.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}
}
@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/lpnmr/BertolucciCDLMM19,
author = {Riccardo Bertolucci and
Alessio Capitanelli and
Carmine Dodaro and
Nicola Leone and
Marco Maratea and
Fulvio Mastrogiovanni and
Mauro Vallati},
editor = {Marcello Balduccini and
Yuliya Lierler and
Stefan Woltran},
title = {An ASP-Based Framework for the Manipulation of Articulated Objects
Using Dual-Arm Robots},
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 = {32--44},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-20528-7\_3},
doi = {10.1007/978-3-030-20528-7\_3},
timestamp = {Fri, 31 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/BertolucciCDLMM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/AlvianoADLMR19,
author = {Mario Alviano and
Giovanni Amendola and
Carmine Dodaro and
Nicola Leone and
Marco Maratea and
Francesco Ricca},
editor = {Marcello Balduccini and
Yuliya Lierler and
Stefan Woltran},
title = {Evaluation of Disjunctive Programs in {WASP}},
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 = {241--255},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-20528-7\_18},
doi = {10.1007/978-3-030-20528-7\_18},
timestamp = {Fri, 31 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/AlvianoADLMR19.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}
}
@proceedings{DBLP:conf/jelia/2019,
editor = {Francesco Calimeri and
Nicola Leone and
Marco Manna},
title = {Logics in Artificial Intelligence - 16th European Conference, {JELIA}
2019, Rende, Italy, May 7-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11468},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-19570-0},
doi = {10.1007/978-3-030-19570-0},
isbn = {978-3-030-19569-4},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jelia/2019.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/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/corr/abs-1911-04326,
author = {Francesco Calimeri and
Wolfgang Faber and
Martin Gebser and
Giovambattista Ianni and
Roland Kaminski and
Thomas Krennwallner and
Nicola Leone and
Marco Maratea and
Francesco Ricca and
Torsten Schaub},
title = {ASP-Core-2 Input Language Format},
journal = {CoRR},
volume = {abs/1911.04326},
year = {2019},
url = {http://arxiv.org/abs/1911.04326},
eprinttype = {arXiv},
eprint = {1911.04326},
timestamp = {Sun, 01 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1911-04326.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/Leone18,
author = {Nicola Leone},
editor = {Ana L. N. Fred and
Joaquim Filipe},
title = {The {AI} System {DLV:} Ontologies, Reasoning, and More},
booktitle = {Proceedings of the 10th International Joint Conference on Knowledge
Discovery, Knowledge Engineering and Knowledge Management, {IC3K}
2018, Volume 1: KDIR, Seville, Spain, September 18-20, 2018},
pages = {5--16},
publisher = {SciTePress},
year = {2018},
timestamp = {Mon, 01 Oct 2018 13:53:27 +0200},
biburl = {https://dblp.org/rec/conf/ic3k/Leone18.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/ijcai/AmendolaLM18,
author = {Giovanni Amendola and
Nicola Leone and
Marco Manna},
editor = {J{\'{e}}r{\^{o}}me Lang},
title = {Finite Controllability of Conjunctive Query Answering with Existential
Rules: Two Steps Forward},
booktitle = {Proceedings of the Twenty-Seventh International Joint Conference on
Artificial Intelligence, {IJCAI} 2018, July 13-19, 2018, Stockholm,
Sweden},
pages = {5189--5193},
publisher = {ijcai.org},
year = {2018},
url = {https://doi.org/10.24963/ijcai.2018/719},
doi = {10.24963/IJCAI.2018/719},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/AmendolaLM18.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/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}
}
@incollection{DBLP:books/sp/18/GrecoLST18,
author = {Gianluigi Greco and
Nicola Leone and
Francesco Scarcello and
Giorgio Terracina},
editor = {Sergio Flesca and
Sergio Greco and
Elio Masciari and
Domenico Sacc{\`{a}}},
title = {Structural Decomposition Methods: Key Notions and Database Applications},
booktitle = {A Comprehensive Guide Through the Italian Database Research Over the
Last 25 Years},
series = {Studies in Big Data},
volume = {31},
pages = {253--267},
publisher = {Springer International Publishing},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-61893-7\_15},
doi = {10.1007/978-3-319-61893-7\_15},
timestamp = {Thu, 13 Jul 2017 09:04:08 +0200},
biburl = {https://dblp.org/rec/books/sp/18/GrecoLST18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/padl/2018,
editor = {Francesco Calimeri and
Kevin W. Hamlen and
Nicola Leone},
title = {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},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-73305-0},
doi = {10.1007/978-3-319-73305-0},
isbn = {978-3-319-73304-3},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/padl/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/AmendolaLM17,
author = {Giovanni Amendola and
Nicola Leone and
Marco Manna},
title = {Finite model reasoning over existential rules},
journal = {Theory Pract. Log. Program.},
volume = {17},
number = {5-6},
pages = {726--743},
year = {2017},
url = {https://doi.org/10.1017/S1471068417000369},
doi = {10.1017/S1471068417000369},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/AmendolaLM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/AmendolaDFLR17,
author = {Giovanni Amendola and
Carmine Dodaro and
Wolfgang Faber and
Nicola Leone and
Francesco Ricca},
editor = {Satinder Singh and
Shaul Markovitch},
title = {On the Computation of Paracoherent Answer Sets},
booktitle = {Proceedings of the Thirty-First {AAAI} Conference on Artificial Intelligence,
February 4-9, 2017, San Francisco, California, {USA}},
pages = {1034--1040},
publisher = {{AAAI} Press},
year = {2017},
url = {https://doi.org/10.1609/aaai.v31i1.10679},
doi = {10.1609/AAAI.V31I1.10679},
timestamp = {Mon, 04 Sep 2023 14:40:32 +0200},
biburl = {https://dblp.org/rec/conf/aaai/AmendolaDFLR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/AdrianLMM17,
author = {Weronika T. Adrian and
Nicola Leone and
Marco Manna and
Cinzia Marte},
editor = {Floriana Esposito and
Roberto Basili and
Stefano Ferilli and
Francesca A. Lisi},
title = {Document Layout Analysis for Semantic Information Extraction},
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 = {269--281},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-70169-1\_20},
doi = {10.1007/978-3-319-70169-1\_20},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/AdrianLMM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/AdrianMLAA17,
author = {Weronika T. Adrian and
Marco Manna and
Nicola Leone and
Giovanni Amendola and
Marek Adrian},
editor = {Ricardo Rocha and
Tran Cao Son and
Christopher Mears and
Neda Saeedloei},
title = {Entity set expansion from the Web via {ASP}},
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 = {1:1--1:5},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/OASIcs.ICLP.2017.1},
doi = {10.4230/OASICS.ICLP.2017.1},
timestamp = {Tue, 15 Feb 2022 09:40:05 +0100},
biburl = {https://dblp.org/rec/conf/iclp/AdrianMLAA17.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 = {Wed, 25 Sep 2019 01:00:00 +0200},
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/sebd/AmendolaLM17,
author = {Giovanni Amendola and
Nicola Leone and
Marco Manna},
editor = {Sergio Flesca and
Sergio Greco and
Elio Masciari and
Domenico Sacc{\`{a}}},
title = {Querying finite or arbitrary models? No matter! Existential rules
may rely on both once again (discussion paper)},
booktitle = {Proceedings of the 25th Italian Symposium on Advanced Database Systems,
Squillace Lido (Catanzaro), Italy, June 25-29, 2017},
series = {{CEUR} Workshop Proceedings},
volume = {2037},
pages = {218},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-2037/paper\_31.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:21 +0100},
biburl = {https://dblp.org/rec/conf/sebd/AmendolaLM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AmendolaLM17,
author = {Giovanni Amendola and
Nicola Leone and
Marco Manna},
title = {Finite model reasoning over existential rules},
journal = {CoRR},
volume = {abs/1707.01870},
year = {2017},
url = {http://arxiv.org/abs/1707.01870},
eprinttype = {arXiv},
eprint = {1707.01870},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AmendolaLM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AmendolaDFLR17,
author = {Giovanni Amendola and
Carmine Dodaro and
Wolfgang Faber and
Nicola Leone and
Francesco Ricca},
title = {On the Computation of Paracoherent Answer Sets},
journal = {CoRR},
volume = {abs/1707.06813},
year = {2017},
url = {http://arxiv.org/abs/1707.06813},
eprinttype = {arXiv},
eprint = {1707.06813},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AmendolaDFLR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/AmendolaEFLM16,
author = {Giovanni Amendola and
Thomas Eiter and
Michael Fink and
Nicola Leone and
Jo{\~{a}}o Moura},
title = {Semi-equilibrium models for paracoherent answer set programs},
journal = {Artif. Intell.},
volume = {234},
pages = {219--271},
year = {2016},
url = {https://doi.org/10.1016/j.artint.2016.01.011},
doi = {10.1016/J.ARTINT.2016.01.011},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/AmendolaEFLM16.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}
}
@article{DBLP:journals/aim/ErdemGL16,
author = {Esra Erdem and
Michael Gelfond and
Nicola Leone},
title = {Applications of Answer Set Programming},
journal = {{AI} Mag.},
volume = {37},
number = {3},
pages = {53--68},
year = {2016},
url = {https://doi.org/10.1609/aimag.v37i3.2678},
doi = {10.1609/AIMAG.V37I3.2678},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aim/ErdemGL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/DodaroGLMRS16,
author = {Carmine Dodaro and
Philip Gasteiger and
Nicola Leone and
Benjamin Musitsch and
Francesco Ricca and
Konstantin Schekotihin},
title = {Combining Answer Set Programming and domain heuristics for solving
hard industrial problems (Application Paper)},
journal = {Theory Pract. Log. Program.},
volume = {16},
number = {5-6},
pages = {653--669},
year = {2016},
url = {https://doi.org/10.1017/S1471068416000284},
doi = {10.1017/S1471068416000284},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/DodaroGLMRS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/AmendolaDLR16,
author = {Giovanni Amendola and
Carmine Dodaro and
Nicola Leone and
Francesco Ricca},
editor = {Giovanni Adorni and
Stefano Cagnoni and
Marco Gori and
Marco Maratea},
title = {On the Application of Answer Set Programming to the Conference Paper
Assignment Problem},
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 = {164--178},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-49130-1\_13},
doi = {10.1007/978-3-319-49130-1\_13},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aiia/AmendolaDLR16.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/ijcai/AlvianoL16,
author = {Mario Alviano and
Nicola Leone},
editor = {Subbarao Kambhampati},
title = {On the Properties of GZ-Aggregates in 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 = {4105--4109},
publisher = {{IJCAI/AAAI} Press},
year = {2016},
url = {http://www.ijcai.org/Abstract/16/611},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/AlvianoL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/GottlobGLS16,
author = {Georg Gottlob and
Gianluigi Greco and
Nicola Leone and
Francesco Scarcello},
editor = {Tova Milo and
Wang{-}Chiew Tan},
title = {Hypertree Decompositions: Questions and Answers},
booktitle = {Proceedings of the 35th {ACM} {SIGMOD-SIGACT-SIGAI} Symposium on Principles
of Database Systems, {PODS} 2016, San Francisco, CA, USA, June 26
- July 01, 2016},
pages = {57--74},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2902251.2902309},
doi = {10.1145/2902251.2902309},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pods/GottlobGLS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DodaroGLMRS16,
author = {Carmine Dodaro and
Philip Gasteiger and
Nicola Leone and
Benjamin Musitsch and
Francesco Ricca and
Kostyantyn M. Shchekotykhin},
title = {Combining Answer Set Programming and Domain Heuristics for Solving
Hard Industrial Problems (Application Paper)},
journal = {CoRR},
volume = {abs/1608.00730},
year = {2016},
url = {http://arxiv.org/abs/1608.00730},
eprinttype = {arXiv},
eprint = {1608.00730},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DodaroGLMRS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DodaroGLMRS16a,
author = {Carmine Dodaro and
Philip Gasteiger and
Nicola Leone and
Benjamin Musitsch and
Francesco Ricca and
Konstantin Schekotihin},
title = {Driving {CDCL} Search},
journal = {CoRR},
volume = {abs/1611.05190},
year = {2016},
url = {http://arxiv.org/abs/1611.05190},
eprinttype = {arXiv},
eprint = {1611.05190},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DodaroGLMRS16a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/AlvianoL15,
author = {Mario Alviano and
Nicola Leone},
title = {Complexity and compilation of GZ-aggregates in answer set programming},
journal = {Theory Pract. Log. Program.},
volume = {15},
number = {4-5},
pages = {574--587},
year = {2015},
url = {https://doi.org/10.1017/S147106841500023X},
doi = {10.1017/S147106841500023X},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/AlvianoL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaisc/AdrianLLMS15,
author = {Weronika T. Adrian and
Nicola Leone and
Antoni Ligeza and
Marco Manna and
Mateusz Slazynski},
editor = {Leszek Rutkowski and
Marcin Korytkowski and
Rafal Scherer and
Ryszard Tadeusiewicz and
Lotfi A. Zadeh and
Jacek M. Zurada},
title = {Constraint Optimization Production Planning Problem. {A} Note on Theory,
Selected Approaches and Computational Experiments},
booktitle = {Artificial Intelligence and Soft Computing - 14th International Conference,
{ICAISC} 2015, Zakopane, Poland, June 14-28, 2015, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {9120},
pages = {541--553},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-19369-4\_48},
doi = {10.1007/978-3-319-19369-4\_48},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icaisc/AdrianLLMS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/AlvianoDLR15,
author = {Mario Alviano and
Carmine Dodaro and
Nicola Leone and
Francesco Ricca},
editor = {Francesco Calimeri and
Giovambattista Ianni and
Miroslaw Truszczynski},
title = {Advances in {WASP}},
booktitle = {Logic Programming and Nonmonotonic Reasoning - 13th International
Conference, {LPNMR} 2015, Lexington, KY, USA, September 27-30, 2015.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9345},
pages = {40--54},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23264-5\_5},
doi = {10.1007/978-3-319-23264-5\_5},
timestamp = {Sun, 02 Jun 2019 21:23:45 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/AlvianoDLR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rr/AdrianLM15,
author = {Weronika T. Adrian and
Nicola Leone and
Marco Manna},
editor = {Balder ten Cate and
Alessandra Mileo},
title = {Semantic Views of Homogeneous Unstructured Data},
booktitle = {Web Reasoning and Rule Systems - 9th International Conference, {RR}
2015, Berlin, Germany, August 4-5, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9209},
pages = {19--29},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-22002-4\_3},
doi = {10.1007/978-3-319-22002-4\_3},
timestamp = {Sat, 09 Apr 2022 12:41:08 +0200},
biburl = {https://dblp.org/rec/conf/rr/AdrianLM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rr/DodaroLNR15,
author = {Carmine Dodaro and
Nicola Leone and
Barbara Nardi and
Francesco Ricca},
editor = {Balder ten Cate and
Alessandra Mileo},
title = {Allotment Problem in Travel Industry: {A} Solution Based on {ASP}},
booktitle = {Web Reasoning and Rule Systems - 9th International Conference, {RR}
2015, Berlin, Germany, August 4-5, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9209},
pages = {77--92},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-22002-4\_7},
doi = {10.1007/978-3-319-22002-4\_7},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rr/DodaroLNR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rweb/LeoneR15,
author = {Nicola Leone and
Francesco Ricca},
editor = {Wolfgang Faber and
Adrian Paschke},
title = {Answer Set Programming: {A} Tour from the Basics to Advanced Development
Tools and Industrial Applications},
booktitle = {Reasoning Web. Web Logic Rules - 11th International Summer School
2015, Berlin, Germany, July 31 - August 4, 2015, Tutorial Lectures},
series = {Lecture Notes in Computer Science},
volume = {9203},
pages = {308--326},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-21768-0\_10},
doi = {10.1007/978-3-319-21768-0\_10},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/rweb/LeoneR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AlvianoL15,
author = {Mario Alviano and
Nicola Leone},
title = {Complexity and Compilation of GZ-Aggregates in Answer Set Programming},
journal = {CoRR},
volume = {abs/1507.03922},
year = {2015},
url = {http://arxiv.org/abs/1507.03922},
eprinttype = {arXiv},
eprint = {1507.03922},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AlvianoL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AdrianLM15,
author = {Weronika T. Adrian and
Nicola Leone and
Marco Manna},
title = {Ontology-driven Information Extraction},
journal = {CoRR},
volume = {abs/1512.06034},
year = {2015},
url = {http://arxiv.org/abs/1512.06034},
eprinttype = {arXiv},
eprint = {1512.06034},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AdrianLM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/AmendolaEL14,
author = {Giovanni Amendola and
Thomas Eiter and
Nicola Leone},
editor = {Eduardo Ferm{\'{e}} and
Jo{\~{a}}o Leite},
title = {Modular Paracoherent Answer Sets},
booktitle = {Logics in Artificial Intelligence - 14th European Conference, {JELIA}
2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8761},
pages = {457--471},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11558-0\_32},
doi = {10.1007/978-3-319-11558-0\_32},
timestamp = {Fri, 07 Aug 2020 08:55:19 +0200},
biburl = {https://dblp.org/rec/conf/jelia/AmendolaEL14.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/FaberL13,
author = {Wolfgang Faber and
Nicola Leone},
title = {Introduction to the special issue on the 25th annual {GULP} conference},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {2},
pages = {147--148},
year = {2013},
url = {https://doi.org/10.1017/S1471068411000676},
doi = {10.1017/S1471068411000676},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/FaberL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/AlvianoDFLR13,
author = {Mario Alviano and
Carmine Dodaro and
Wolfgang Faber and
Nicola Leone and
Francesco Ricca},
editor = {Pedro Cabalar and
Tran Cao Son},
title = {{WASP:} {A} Native {ASP} Solver Based on Constraint Learning},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 12th International Conference,
{LPNMR} 2013, Corunna, Spain, September 15-19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8148},
pages = {54--66},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40564-8\_6},
doi = {10.1007/978-3-642-40564-8\_6},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/AlvianoDFLR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/TerracinaML13,
author = {Giorgio Terracina and
Alessandra Martello and
Nicola Leone},
editor = {Pedro Cabalar and
Tran Cao Son},
title = {Logic-Based Techniques for Data Cleaning: An Application to the Italian
National Healthcare System},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 12th International Conference,
{LPNMR} 2013, Corunna, Spain, September 15-19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8148},
pages = {524--529},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40564-8\_52},
doi = {10.1007/978-3-642-40564-8\_52},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/TerracinaML13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rr/GrassoLR13,
author = {Giovanni Grasso and
Nicola Leone and
Francesco Ricca},
editor = {Wolfgang Faber and
Domenico Lembo},
title = {Answer Set Programming: Language, Applications and Development Tools},
booktitle = {Web Reasoning and Rule Systems - 7th International Conference, {RR}
2013, Mannheim, Germany, July 27-29, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7994},
pages = {19--34},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39666-3\_3},
doi = {10.1007/978-3-642-39666-3\_3},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/rr/GrassoLR13.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/sebd/FebbraroGLRR13,
author = {Onofrio Febbraro and
Giovanni Grasso and
Nicola Leone and
Kristian Reale and
Francesco Ricca},
editor = {Francesco Buccafurri and
Domenico Sacc{\`{a}}},
title = {Development Tools for Datalog},
booktitle = {21st Italian Symposium on Advanced Database Systems, {SEBD} 2013,
Roccella Jonica, Reggio Calabria, Italy, June 30 - July 4, 2013},
pages = {385--392},
publisher = {Curran Associates},
year = {2013},
timestamp = {Tue, 14 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sebd/FebbraroGLRR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sebd/AlvianoFLM13,
author = {Mario Alviano and
Wolfgang Faber and
Nicola Leone and
Marco Manna},
editor = {Francesco Buccafurri and
Domenico Sacc{\`{a}}},
title = {Query Answering over Disjunctive Datalog with Existential Quantifiers},
booktitle = {21st Italian Symposium on Advanced Database Systems, {SEBD} 2013,
Roccella Jonica, Reggio Calabria, Italy, June 30 - July 4, 2013},
pages = {393--400},
publisher = {Curran Associates},
year = {2013},
timestamp = {Tue, 14 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sebd/AlvianoFLM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/AlvianoFGL12,
author = {Mario Alviano and
Wolfgang Faber and
Gianluigi Greco and
Nicola Leone},
title = {Magic Sets for disjunctive Datalog programs},
journal = {Artif. Intell.},
volume = {187},
pages = {156--192},
year = {2012},
url = {https://doi.org/10.1016/j.artint.2012.04.008},
doi = {10.1016/J.ARTINT.2012.04.008},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/AlvianoFGL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tlsdkcs/MannaORAL12,
author = {Marco Manna and
Ermelinda Oro and
Massimo Ruffolo and
Mario Alviano and
Nicola Leone},
title = {The \texttt{H$\imath$L$\varepsilon$X} System for Semantic Information Extraction.},
journal = {Trans. Large Scale Data Knowl. Centered Syst.},
volume = {5},
pages = {91--125},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28148-8\_5},
doi = {10.1007/978-3-642-28148-8\_5},
timestamp = {Tue, 19 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tlsdkcs/MannaORAL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/RiccaGAMLIL12,
author = {Francesco Ricca and
Giovanni Grasso and
Mario Alviano and
Marco Manna and
Vincenzino Lio and
Salvatore Iiritano and
Nicola Leone},
title = {Team-building with answer set programming in the Gioia-Tauro seaport},
journal = {Theory Pract. Log. Program.},
volume = {12},
number = {3},
pages = {361--381},
year = {2012},
url = {https://doi.org/10.1017/S147106841100007X},
doi = {10.1017/S147106841100007X},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/RiccaGAMLIL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/AlvianoFLM12,
author = {Mario Alviano and
Wolfgang Faber and
Nicola Leone and
Marco Manna},
title = {Disjunctive datalog with existential quantifiers: Semantics, decidability,
and complexity issues},
journal = {Theory Pract. Log. Program.},
volume = {12},
number = {4-5},
pages = {701--718},
year = {2012},
url = {https://doi.org/10.1017/S1471068412000257},
doi = {10.1017/S1471068412000257},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/AlvianoFLM12.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}
}
@inproceedings{DBLP:conf/cilc/FebbraroLRR12,
author = {Onofrio Febbraro and
Nicola Leone and
Kristian Reale and
Francesco Ricca},
editor = {Francesca A. Lisi},
title = {Extending {ASPIDE} with User-defined Plugins},
booktitle = {Proceedings of the 9th Italian Convention on Computational Logic,
Rome, Italy, June 6-7, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {857},
pages = {236--240},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-857/paper\_s01.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:45 +0100},
biburl = {https://dblp.org/rec/conf/cilc/FebbraroLRR12.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/datalog/FebbraroGLRR12,
author = {Onofrio Febbraro and
Giovanni Grasso and
Nicola Leone and
Kristian Reale and
Francesco Ricca},
editor = {Pablo Barcel{\'{o}} and
Reinhard Pichler},
title = {Datalog Development Tools - (Extended Abstract)},
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 = {81--85},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32925-8\_9},
doi = {10.1007/978-3-642-32925-8\_9},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/datalog/FebbraroGLRR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/FebbraroLGR12,
author = {Onofrio Febbraro and
Nicola Leone and
Giovanni Grasso and
Francesco Ricca},
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {{JASP:} {A} Framework for Integrating Answer Set Programming with
Java},
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/4520},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/FebbraroLGR12.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/rr/BarilaroLRT12,
author = {Rosamaria Barilaro and
Nicola Leone and
Francesco Ricca and
Giorgio Terracina},
editor = {Markus Kr{\"{o}}tzsch and
Umberto Straccia},
title = {Distributed Ontology Based Data Access via Logic Programming},
booktitle = {Web Reasoning and Rule Systems - 6th International Conference, {RR}
2012, Vienna, Austria, September 10-12, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7497},
pages = {205--208},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33203-6\_15},
doi = {10.1007/978-3-642-33203-6\_15},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/rr/BarilaroLRT12.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}
}
@article{DBLP:journals/corr/abs-1204-6346,
author = {Mario Alviano and
Wolfgang Faber and
Gianluigi Greco and
Nicola Leone},
title = {Magic Sets for Disjunctive Datalog Programs},
journal = {CoRR},
volume = {abs/1204.6346},
year = {2012},
url = {http://arxiv.org/abs/1204.6346},
eprinttype = {arXiv},
eprint = {1204.6346},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1204-6346.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1210-2316,
author = {Mario Alviano and
Wolfgang Faber and
Nicola Leone and
Marco Manna},
title = {Disjunctive Datalog with Existential Quantifiers: Semantics, Decidability,
and Complexity Issues},
journal = {CoRR},
volume = {abs/1210.2316},
year = {2012},
url = {http://arxiv.org/abs/1210.2316},
eprinttype = {arXiv},
eprint = {1210.2316},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-2316.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/FaberPL11,
author = {Wolfgang Faber and
Gerald Pfeifer and
Nicola Leone},
title = {Semantics and complexity of recursive aggregates in answer set programming},
journal = {Artif. Intell.},
volume = {175},
number = {1},
pages = {278--298},
year = {2011},
url = {https://doi.org/10.1016/j.artint.2010.04.002},
doi = {10.1016/J.ARTINT.2010.04.002},
timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/FaberPL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/CalimeriCIL11,
author = {Francesco Calimeri and
Susanna Cozza and
Giovambattista Ianni and
Nicola Leone},
title = {Finitely recursive programs: Decidability and bottom-up computation},
journal = {{AI} Commun.},
volume = {24},
number = {4},
pages = {311--334},
year = {2011},
url = {https://doi.org/10.3233/AIC-2011-0509},
doi = {10.3233/AIC-2011-0509},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aicom/CalimeriCIL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/FaberLMR11,
author = {Wolfgang Faber and
Nicola Leone and
Marco Maratea and
Francesco Ricca},
title = {Look-back Techniques for {ASP} Programs with Aggregates},
journal = {Fundam. Informaticae},
volume = {107},
number = {4},
pages = {379--413},
year = {2011},
url = {https://doi.org/10.3233/FI-2011-408},
doi = {10.3233/FI-2011-408},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/FaberLMR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ia/GrecoLPRS11,
author = {Sergio Greco and
Nicola Leone and
Luigi Palopoli and
Pasquale Rullo and
Domenico Sacc{\`{a}}},
title = {A long tour from theory to practice},
journal = {Intelligenza Artificiale},
volume = {5},
number = {1},
pages = {133--138},
year = {2011},
url = {https://doi.org/10.3233/IA-2011-0016},
doi = {10.3233/IA-2011-0016},
timestamp = {Mon, 18 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ia/GrecoLPRS11.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}
}
@article{DBLP:journals/jcss/MannaSL11,
author = {Marco Manna and
Francesco Scarcello and
Nicola Leone},
title = {On the complexity of regular-grammars with integer attributes},
journal = {J. Comput. Syst. Sci.},
volume = {77},
number = {2},
pages = {393--421},
year = {2011},
url = {https://doi.org/10.1016/j.jcss.2010.05.006},
doi = {10.1016/J.JCSS.2010.05.006},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/MannaSL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/GrassoLMR11,
author = {Giovanni Grasso and
Nicola Leone and
Marco Manna and
Francesco Ricca},
editor = {Marcello Balduccini and
Tran Cao Son},
title = {{ASP} at Work: Spin-off and Applications of the {DLV} System},
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 = {432--451},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20832-4\_27},
doi = {10.1007/978-3-642-20832-4\_27},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/GrassoLMR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/DodaroAFLRS11,
author = {Carmine Dodaro and
Mario Alviano and
Wolfgang Faber and
Nicola Leone and
Francesco Ricca and
Marco Sirianni},
editor = {Fabio Fioravanti},
title = {The Birth of a {WASP:} Preliminary Report on a New {ASP} Solver},
booktitle = {Proceedings of the 26th Italian Conference on Computational Logic,
Pescara, Italy, August 31 - September 2, 2011},
series = {{CEUR} Workshop Proceedings},
volume = {810},
pages = {99--113},
publisher = {CEUR-WS.org},
year = {2011},
url = {https://ceur-ws.org/Vol-810/paper-l06.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:46 +0100},
biburl = {https://dblp.org/rec/conf/cilc/DodaroAFLRS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/inap/FebbraroLRR11,
author = {Onofrio Febbraro and
Nicola Leone and
Kristian Reale and
Francesco Ricca},
editor = {Hans Tompits and
Salvador Abreu and
Johannes Oetsch and
J{\"{o}}rg P{\"{u}}hrer and
Dietmar Seipel and
Masanobu Umeda and
Armin Wolf},
title = {Unit Testing in {ASPIDE}},
booktitle = {Applications of Declarative Programming and Knowledge Management -
19th International Conference, {INAP} 2011, and 25th Workshop on Logic
Programming, {WLP} 2011, Vienna, Austria, September 28-30, 2011, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7773},
pages = {345--364},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-41524-1\_21},
doi = {10.1007/978-3-642-41524-1\_21},
timestamp = {Sun, 02 Jun 2019 21:27:34 +0200},
biburl = {https://dblp.org/rec/conf/inap/FebbraroLRR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/AlvianoGL11,
author = {Mario Alviano and
Gianluigi Greco and
Nicola Leone},
editor = {James P. Delgrande and
Wolfgang Faber},
title = {Dynamic Magic Sets for Programs with Monotone Recursive Aggregates},
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 = {148--160},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20895-9\_14},
doi = {10.1007/978-3-642-20895-9\_14},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/AlvianoGL11.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/sebd/BarilaroLRT11,
author = {Rosamaria Barilaro and
Nicola Leone and
Francesco Ricca and
Giorgio Terracina},
editor = {Giansalvatore Mecca and
Sergio Greco},
title = {Optimizing the Distributed Evaluation of Stratified Datalog Programs
via Structural Analysis},
booktitle = {Sistemi Evoluti per Basi di Dati - {SEBD} 2011, Proceedings of the
Nineteenth Italian Symposium on Advanced Database Systems, Maratea,
Italy, June 26-29, 2011},
pages = {295--302},
year = {2011},
timestamp = {Mon, 28 May 2012 10:17:09 +0200},
biburl = {https://dblp.org/rec/conf/sebd/BarilaroLRT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1101-4554,
author = {Francesco Ricca and
Giovanni Grasso and
Mario Alviano and
Marco Manna and
Vincenzino Lio and
Salvatore Iiritano and
Nicola Leone},
title = {Team-building with Answer Set Programming in the Gioia-Tauro Seaport},
journal = {CoRR},
volume = {abs/1101.4554},
year = {2011},
url = {http://arxiv.org/abs/1101.4554},
eprinttype = {arXiv},
eprint = {1101.4554},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1101-4554.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1106-5257,
author = {Thomas Eiter and
Wolfgang Faber and
Nicola Leone and
Gerald Pfeifer and
Axel Polleres},
title = {Answer Set Planning Under Action Costs},
journal = {CoRR},
volume = {abs/1106.5257},
year = {2011},
url = {http://arxiv.org/abs/1106.5257},
eprinttype = {arXiv},
eprint = {1106.5257},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1106-5257.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1108-5434,
author = {Onofrio Febbraro and
Nicola Leone and
Kristian Reale and
Francesco Ricca},
title = {Unit Testing in {ASPIDE}},
journal = {CoRR},
volume = {abs/1108.5434},
year = {2011},
url = {http://arxiv.org/abs/1108.5434},
eprinttype = {arXiv},
eprint = {1108.5434},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1108-5434.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/RiccaDGIIML10,
author = {Francesco Ricca and
Antonella Dimasi and
Giovanni Grasso and
Salvatore Maria Ielpa and
Salvatore Iiritano and
Marco Manna and
Nicola Leone},
title = {A Logic-Based System for e-Tourism},
journal = {Fundam. Informaticae},
volume = {105},
number = {1-2},
pages = {35--55},
year = {2010},
url = {https://doi.org/10.3233/FI-2010-357},
doi = {10.3233/FI-2010-357},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/RiccaDGIIML10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/AlvianoFL10,
author = {Mario Alviano and
Wolfgang Faber and
Nicola Leone},
title = {Disjunctive {ASP} with functions: Decidable queries and effective
computation},
journal = {Theory Pract. Log. Program.},
volume = {10},
number = {4-6},
pages = {497--512},
year = {2010},
url = {https://doi.org/10.1017/S1471068410000244},
doi = {10.1017/S1471068410000244},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/AlvianoFL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/CalimeriCIL10,
author = {Francesco Calimeri and
Susanna Cozza and
Giovambattista Ianni and
Nicola Leone},
editor = {Maria Fox and
David Poole},
title = {Enhancing {ASP} by Functions: Decidable Classes and Implementation
Techniques},
booktitle = {Proceedings of the Twenty-Fourth {AAAI} Conference on Artificial Intelligence,
{AAAI} 2010, Atlanta, Georgia, USA, July 11-15, 2010},
pages = {1666--1670},
publisher = {{AAAI} Press},
year = {2010},
url = {https://doi.org/10.1609/aaai.v24i1.7702},
doi = {10.1609/AAAI.V24I1.7702},
timestamp = {Mon, 04 Sep 2023 16:23:45 +0200},
biburl = {https://dblp.org/rec/conf/aaai/CalimeriCIL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/Alviano0L10,
author = {Mario Alviano and
Wolfgang Faber and
Nicola Leone},
editor = {Marco Gavanelli and
Toni Mancini},
title = {Well-Founded Semantics for Logic Programs with Aggregates: Implementation
and Experimentation},
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/paper08.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:31 +0100},
biburl = {https://dblp.org/rec/conf/cpaior/Alviano0L10.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/padl/LeoneRRT10,
author = {Nicola Leone and
Francesco Ricca and
Luca Agostino Rubino and
Giorgio Terracina},
editor = {Manuel Carro and
Ricardo Pe{\~{n}}a},
title = {Efficient Application of Answer Set Programming for Advanced Data
Integration},
booktitle = {Practical Aspects of Declarative Languages, 12th International Symposium,
{PADL} 2010, Madrid, Spain, January 18-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5937},
pages = {10--24},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11503-5\_3},
doi = {10.1007/978-3-642-11503-5\_3},
timestamp = {Sat, 19 Oct 2019 20:25:18 +0200},
biburl = {https://dblp.org/rec/conf/padl/LeoneRRT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/GrassoILLRS10,
author = {Giovanni Grasso and
Salvatore Iiritano and
Nicola Leone and
Vincenzino Lio and
Francesco Ricca and
Francesco Scalise},
editor = {Manuel Carro and
Ricardo Pe{\~{n}}a},
title = {An ASP-Based System for Team-Building in the Gioia-Tauro Seaport},
booktitle = {Practical Aspects of Declarative Languages, 12th International Symposium,
{PADL} 2010, Madrid, Spain, January 18-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5937},
pages = {40--42},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11503-5\_5},
doi = {10.1007/978-3-642-11503-5\_5},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/GrassoILLRS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/agp/BonattiCLR10,
author = {Piero A. Bonatti and
Francesco Calimeri and
Nicola Leone and
Francesco Ricca},
editor = {Agostino Dovier and
Enrico Pontelli},
title = {Answer Set Programming},
booktitle = {A 25-Year Perspective on Logic Programming: Achievements of the Italian
Association for Logic Programming, {GULP}},
series = {Lecture Notes in Computer Science},
volume = {6125},
pages = {159--182},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14309-0\_8},
doi = {10.1007/978-3-642-14309-0\_8},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/agp/BonattiCLR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cilc/2010,
editor = {Wolfgang Faber and
Nicola Leone},
title = {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},
urn = {urn:nbn:de:0074-598-1},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cilc/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1007-4028,
author = {Mario Alviano and
Wolfgang Faber and
Nicola Leone},
title = {Disjunctive {ASP} with Functions: Decidable Queries and Effective
Computation},
journal = {CoRR},
volume = {abs/1007.4028},
year = {2010},
url = {http://arxiv.org/abs/1007.4028},
eprinttype = {arXiv},
eprint = {1007.4028},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1007-4028.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BriaFL09,
author = {Annamaria Bria and
Wolfgang Faber and
Nicola Leone},
title = {Normal Form Nested Programs},
journal = {Fundam. Informaticae},
volume = {96},
number = {3},
pages = {271--295},
year = {2009},
url = {https://doi.org/10.3233/FI-2009-179},
doi = {10.3233/FI-2009-179},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/BriaFL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/RiccaGSDGL09,
author = {Francesco Ricca and
Lorenzo Gallucci and
Roman Schindlauer and
Tina Dell'Armi and
Giovanni Grasso and
Nicola Leone},
title = {OntoDLV: An ASP-based System for Enterprise Ontologies},
journal = {J. Log. Comput.},
volume = {19},
number = {4},
pages = {643--670},
year = {2009},
url = {https://doi.org/10.1093/logcom/exn042},
doi = {10.1093/LOGCOM/EXN042},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/RiccaGSDGL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/CalimeriCIL09,
author = {Francesco Calimeri and
Susanna Cozza and
Giovambattista Ianni and
Nicola Leone},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
title = {Magic Sets for the Bottom-Up Evaluation of Finitely Recursive Programs},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
{LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5753},
pages = {71--86},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_9},
doi = {10.1007/978-3-642-04238-6\_9},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/CalimeriCIL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/IelpaILR09,
author = {Salvatore Maria Ielpa and
Salvatore Iiritano and
Nicola Leone and
Francesco Ricca},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
title = {An ASP-Based System for e-Tourism},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
{LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5753},
pages = {368--381},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_31},
doi = {10.1007/978-3-642-04238-6\_31},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/IelpaILR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/BriaFL09,
author = {Annamaria Bria and
Wolfgang Faber and
Nicola Leone},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
title = {nfn2dlp and nfnsolve: Normal Form Nested Programs Compiler and Solver},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
{LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5753},
pages = {477--482},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_45},
doi = {10.1007/978-3-642-04238-6\_45},
timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/BriaFL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/CalimeriCIL09a,
author = {Francesco Calimeri and
Susanna Cozza and
Giovambattista Ianni and
Nicola Leone},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
title = {An {ASP} System with Functions, Lists, and Sets},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
{LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5753},
pages = {483--489},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_46},
doi = {10.1007/978-3-642-04238-6\_46},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/CalimeriCIL09a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/LeoneRT09,
author = {Nicola Leone and
Francesco Ricca and
Giorgio Terracina},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
title = {An ASP-Based Data Integration System},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
{LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5753},
pages = {528--534},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_53},
doi = {10.1007/978-3-642-04238-6\_53},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/LeoneRT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/GrassoILR09,
author = {Giovanni Grasso and
Salvatore Iiritano and
Nicola Leone and
Francesco Ricca},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
title = {Some {DLV} Applications for Knowledge Management},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
{LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5753},
pages = {591--597},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_63},
doi = {10.1007/978-3-642-04238-6\_63},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/GrassoILR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/Leone09,
author = {Nicola Leone},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
title = {Exploiting {ASP} in Real-World Applications: Main Strengths and Challenges},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
{LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5753},
pages = {628--630},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_72},
doi = {10.1007/978-3-642-04238-6\_72},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/Leone09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/GiunchigliaLM08,
author = {Enrico Giunchiglia and
Nicola Leone and
Marco Maratea},
title = {On the relation among answer set solvers},
journal = {Ann. Math. Artif. Intell.},
volume = {53},
number = {1-4},
pages = {169--204},
year = {2008},
url = {https://doi.org/10.1007/s10472-009-9113-1},
doi = {10.1007/S10472-009-9113-1},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/GiunchigliaLM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jal/MarateaRFL08,
author = {Marco Maratea and
Francesco Ricca and
Wolfgang Faber and
Nicola Leone},
title = {Look-back techniques and heuristics in {DLV:} Implementation, evaluation,
and comparison to {QBF} solvers},
journal = {J. Algorithms},
volume = {63},
number = {1-3},
pages = {70--89},
year = {2008},
url = {https://doi.org/10.1016/j.jalgor.2008.02.006},
doi = {10.1016/J.JALGOR.2008.02.006},
timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jal/MarateaRFL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/TerracinaLLP08,
author = {Giorgio Terracina and
Nicola Leone and
Vincenzino Lio and
Claudio Panetta},
title = {Experimenting with recursive queries in database and logic programming
systems},
journal = {Theory Pract. Log. Program.},
volume = {8},
number = {2},
pages = {129--165},
year = {2008},
url = {https://doi.org/10.1017/S1471068407003158},
doi = {10.1017/S1471068407003158},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/TerracinaLLP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/FaberPLDI08,
author = {Wolfgang Faber and
Gerald Pfeifer and
Nicola Leone and
Tina Dell'Armi and
Giuseppe Ielpa},
title = {Design and implementation of aggregate functions in the {DLV} system},
journal = {Theory Pract. Log. Program.},
volume = {8},
number = {5-6},
pages = {545--580},
year = {2008},
url = {https://doi.org/10.1017/S1471068408003323},
doi = {10.1017/S1471068408003323},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/FaberPLDI08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/FaberGL08,
author = {Wolfgang Faber and
Gianluigi Greco and
Nicola Leone},
editor = {Dieter Fox and
Carla P. Gomes},
title = {Magic Sets for Data Integration},
booktitle = {Proceedings of the Twenty-Third {AAAI} Conference on Artificial Intelligence,
{AAAI} 2008, Chicago, Illinois, USA, July 13-17, 2008},
pages = {1528--1531},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/AAAI/2008/aaai08-255.php},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/FaberGL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/GrecoPLRS08,
author = {Sergio Greco and
Luigi Palopoli and
Nicola Leone and
Pasquale Rullo and
Domenico Sacc{\`{a}}},
editor = {Matteo Baldoni and
Cristina Baroglio},
title = {Logic Programming in DataLog: {A} Long Tour from Theory to Practice},
booktitle = {Il Milione (i.e. 2{\^{}}6), Proceedings of the Day Dedicated to Prof.
Alberto Martelli, Turin, Italy, June 3, 2008},
series = {{CEUR} Workshop Proceedings},
volume = {487},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-487/paper8.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:22 +0100},
biburl = {https://dblp.org/rec/conf/birthday/GrecoPLRS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/LeoneF08,
author = {Nicola Leone and
Wolfgang Faber},
editor = {Maria Garcia de la Banda and
Enrico Pontelli},
title = {The {DLV} Project: {A} Tour from Theory and Research to Applications
and Market},
booktitle = {Logic Programming, 24th International Conference, {ICLP} 2008, Udine,
Italy, December 9-13 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5366},
pages = {53--68},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89982-2\_10},
doi = {10.1007/978-3-540-89982-2\_10},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iclp/LeoneF08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/CalimeriCIL08,
author = {Francesco Calimeri and
Susanna Cozza and
Giovambattista Ianni and
Nicola Leone},
editor = {Maria Garcia de la Banda and
Enrico Pontelli},
title = {Computable Functions in {ASP:} Theory and Implementation},
booktitle = {Logic Programming, 24th International Conference, {ICLP} 2008, Udine,
Italy, December 9-13 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5366},
pages = {407--424},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89982-2\_37},
doi = {10.1007/978-3-540-89982-2\_37},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/CalimeriCIL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/BriaFL08,
author = {Annamaria Bria and
Wolfgang Faber and
Nicola Leone},
editor = {Steffen H{\"{o}}lldobler and
Carsten Lutz and
Heinrich Wansing},
title = {Normal Form Nested Programs},
booktitle = {Logics in Artificial Intelligence, 11th European Conference, {JELIA}
2008, Dresden, Germany, September 28 - October 1, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5293},
pages = {76--88},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87803-2\_8},
doi = {10.1007/978-3-540-87803-2\_8},
timestamp = {Tue, 29 Dec 2020 18:34:12 +0100},
biburl = {https://dblp.org/rec/conf/jelia/BriaFL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rcra/0001LMR08,
author = {Wolfgang Faber and
Nicola Leone and
Marco Maratea and
Francesco Ricca},
editor = {Marco Gavanelli and
Toni Mancini},
title = {Look-back Techniques for {ASP} Programs with Aggregates},
booktitle = {Proceedings of the 15th {RCRA} workshop on Experimental Evaluation
of Algorithms for Solving Problems with Combinatorial Explosion, Udine,
Italy, December 12-13, 2008},
series = {{CEUR} Workshop Proceedings},
volume = {451},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-451/paper07faber.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:58 +0100},
biburl = {https://dblp.org/rec/conf/rcra/0001LMR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rcra/TerracinaFPL08,
author = {Giorgio Terracina and
Erika De Francesco and
Claudio Panetta and
Nicola Leone},
editor = {Marco Gavanelli and
Toni Mancini},
title = {Experiencing {ASP} with Real World Applications},
booktitle = {Proceedings of the 15th {RCRA} workshop on Experimental Evaluation
of Algorithms for Solving Problems with Combinatorial Explosion, Udine,
Italy, December 12-13, 2008},
series = {{CEUR} Workshop Proceedings},
volume = {451},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-451/paper17terracina.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rcra/TerracinaFPL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rr/TerracinaFPL08,
author = {Giorgio Terracina and
Erika De Francesco and
Claudio Panetta and
Nicola Leone},
editor = {Diego Calvanese and
Georg Lausen},
title = {Enhancing a {DLP} System for Advanced Database Applications},
booktitle = {Web Reasoning and Rule Systems, Second International Conference, {RR}
2008, Karlsruhe, Germany, October 31-November 1, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5341},
pages = {119--134},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88737-9\_10},
doi = {10.1007/978-3-540-88737-9\_10},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/rr/TerracinaFPL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/wiley/FaberLR08,
author = {Wolfgang Faber and
Nicola Leone and
Francesco Ricca},
editor = {Benjamin W. Wah},
title = {Answer Set Programming},
booktitle = {Wiley Encyclopedia of Computer Science and Engineering},
publisher = {John Wiley {\&} Sons, Inc.},
year = {2008},
url = {https://doi.org/10.1002/9780470050118.ecse226},
doi = {10.1002/9780470050118.ECSE226},
timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/reference/wiley/FaberLR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0802-3137,
author = {Wolfgang Faber and
Gerald Pfeifer and
Nicola Leone and
Tina Dell'Armi and
Giuseppe Ielpa},
title = {Design and Implementation of Aggregate Functions in the {DLV} System},
journal = {CoRR},
volume = {abs/0802.3137},
year = {2008},
url = {http://arxiv.org/abs/0802.3137},
eprinttype = {arXiv},
eprint = {0802.3137},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0802-3137.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/amai/FaberLPR07,
author = {Wolfgang Faber and
Nicola Leone and
Gerald Pfeifer and
Francesco Ricca},
title = {On look-ahead heuristics in disjunctive logic programming},
journal = {Ann. Math. Artif. Intell.},
volume = {51},
number = {2-4},
pages = {229--266},
year = {2007},
url = {https://doi.org/10.1007/s10472-008-9087-4},
doi = {10.1007/S10472-008-9087-4},
timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/amai/FaberLPR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/RiccaL07,
author = {Francesco Ricca and
Nicola Leone},
title = {Disjunctive logic programming with types and objects: The DLV\({}^{\mbox{+}}\)
system},
journal = {J. Appl. Log.},
volume = {5},
number = {3},
pages = {545--573},
year = {2007},
url = {https://doi.org/10.1016/j.jal.2006.02.002},
doi = {10.1016/J.JAL.2006.02.002},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/japll/RiccaL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/ScarcelloGL07,
author = {Francesco Scarcello and
Gianluigi Greco and
Nicola Leone},
title = {Weighted hypertree decompositions and optimal query plans},
journal = {J. Comput. Syst. Sci.},
volume = {73},
number = {3},
pages = {475--506},
year = {2007},
url = {https://doi.org/10.1016/j.jcss.2006.10.010},
doi = {10.1016/J.JCSS.2006.10.010},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/ScarcelloGL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/FaberGL07,
author = {Wolfgang Faber and
Gianluigi Greco and
Nicola Leone},
title = {Magic Sets and their application to data integration},
journal = {J. Comput. Syst. Sci.},
volume = {73},
number = {4},
pages = {584--609},
year = {2007},
url = {https://doi.org/10.1016/j.jcss.2006.10.012},
doi = {10.1016/J.JCSS.2006.10.012},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/FaberGL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/Leone07,
author = {Nicola Leone},
editor = {Chitta Baral and
Gerhard Brewka and
John S. Schlipf},
title = {Logic Programming and Nonmonotonic Reasoning: From Theory to Systems
and Applications},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 9th International Conference,
{LPNMR} 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4483},
pages = {1},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72200-7\_1},
doi = {10.1007/978-3-540-72200-7\_1},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/Leone07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/FaberL07,
author = {Wolfgang Faber and
Nicola Leone},
editor = {Chitta Baral and
Gerhard Brewka and
John S. Schlipf},
title = {On the Complexity of Answer Set Programming with Aggregates},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 9th International Conference,
{LPNMR} 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4483},
pages = {97--109},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72200-7\_10},
doi = {10.1007/978-3-540-72200-7\_10},
timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/FaberL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/FaberLMR07,
author = {Wolfgang Faber and
Nicola Leone and
Marco Maratea and
Francesco Ricca},
editor = {Chitta Baral and
Gerhard Brewka and
John S. Schlipf},
title = {Experimenting with Look-Back Heuristics for Hard {ASP} Programs},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 9th International Conference,
{LPNMR} 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4483},
pages = {110--122},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72200-7\_11},
doi = {10.1007/978-3-540-72200-7\_11},
timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/FaberLMR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0704-3157,
author = {Giorgio Terracina and
Nicola Leone and
Vincenzino Lio and
Claudio Panetta},
title = {Experimenting with recursive queries in database and logic programming
systems},
journal = {CoRR},
volume = {abs/0704.3157},
year = {2007},
url = {http://arxiv.org/abs/0704.3157},
eprinttype = {arXiv},
eprint = {0704.3157},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0704-3157.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/RiccaFL06,
author = {Francesco Ricca and
Wolfgang Faber and
Nicola Leone},
title = {A backjumping technique for Disjunctive Logic Programming},
journal = {{AI} Commun.},
volume = {19},
number = {2},
pages = {155--172},
year = {2006},
url = {http://content.iospress.com/articles/ai-communications/aic369},
timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aicom/RiccaFL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/CalimeriFPL06,
author = {Francesco Calimeri and
Wolfgang Faber and
Gerald Pfeifer and
Nicola Leone},
title = {Pruning Operators for Disjunctive Logic Programming Systems},
journal = {Fundam. Informaticae},
volume = {71},
number = {2-3},
pages = {183--214},
year = {2006},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi71-2-3-03},
timestamp = {Thu, 21 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fuin/CalimeriFPL06.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}
}
@inproceedings{DBLP:conf/bpm/GualtieriDL06,
author = {Andrea Gualtieri and
Tina Dell'Armi and
Nicola Leone},
editor = {Johann Eder and
Schahram Dustdar},
title = {Process Representation and Reasoning Using a Logic Formalism with
Object-Oriented Features},
booktitle = {Business Process Management Workshops, {BPM} 2006 International Workshops,
BPD, BPI, ENEI, GPWW, DPM, semantics4ws, Vienna, Austria, September
4-7, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4103},
pages = {153--163},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11837862\_16},
doi = {10.1007/11837862\_16},
timestamp = {Sun, 02 Jun 2019 21:21:25 +0200},
biburl = {https://dblp.org/rec/conf/bpm/GualtieriDL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismis/TerracinaLLP06,
author = {Giorgio Terracina and
Nicola Leone and
Vincenzino Lio and
Claudio Panetta},
editor = {Floriana Esposito and
Zbigniew W. Ras and
Donato Malerba and
Giovanni Semeraro},
title = {Adding Efficient Data Management to Logic Programming Systems},
booktitle = {Foundations of Intelligent Systems, 16th International Symposium,
{ISMIS} 2006, Bari, Italy, September 27-29, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4203},
pages = {524--533},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11875604\_59},
doi = {10.1007/11875604\_59},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/ismis/TerracinaLLP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/RuffoloMGLS06,
author = {Massimo Ruffolo and
Marco Manna and
Lorenzo Gallucci and
Nicola Leone and
Domenico Sacc{\`{a}}},
editor = {Michael Fisher and
Wiebe van der Hoek and
Boris Konev and
Alexei Lisitsa},
title = {A Logic-Based Tool for Semantic Information Extraction},
booktitle = {Logics in Artificial Intelligence, 10th European Conference, {JELIA}
2006, Liverpool, UK, September 13-15, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4160},
pages = {506--510},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11853886\_48},
doi = {10.1007/11853886\_48},
timestamp = {Fri, 03 Jun 2022 08:18:13 +0200},
biburl = {https://dblp.org/rec/conf/jelia/RuffoloMGLS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sebd/RuffoloGLMS06,
author = {Massimo Ruffolo and
Lorenzo Gallucci and
Nicola Leone and
Marco Manna and
Domenico Sacc{\`{a}}},
editor = {Valeria De Antonellis and
Claudia Diamantini and
Paolo Tiberio},
title = {Towards a Semantic Information Extraction Approach from Unstructured
Documents},
booktitle = {Proceedings of the Fourteenth Italian Symposium on Advanced Database
Systems, {SEBD} 2006, Portonovo (Ancona), Italy, 18-21 June 2006},
pages = {167--174},
year = {2006},
timestamp = {Thu, 12 Jul 2018 08:14:41 +0200},
biburl = {https://dblp.org/rec/conf/sebd/RuffoloGLMS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ia/FaberLR05,
author = {Wolfgang Faber and
Nicola Leone and
Francesco Ricca},
title = {Solving Hard Problems for the Second Level of the Polynomial Hierarchy:
Heuristics and Benchmarks},
journal = {Intelligenza Artificiale},
volume = {2},
number = {3},
pages = {21--28},
year = {2005},
timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ia/FaberLR05.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/asp/RuffoloLMSZ05,
author = {Massimo Ruffolo and
Nicola Leone and
Marco Manna and
Domenico Sacc{\`{a}} and
Amedeo Zavatto},
editor = {Marina De Vos and
Alessandro Provetti},
title = {Exploiting {ASP} for Semantic Information Extraction},
booktitle = {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/page248.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:21 +0100},
biburl = {https://dblp.org/rec/conf/asp/RuffoloLMSZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/FaberGL05,
author = {Wolfgang Faber and
Gianluigi Greco and
Nicola Leone},
editor = {Thomas Eiter and
Leonid Libkin},
title = {Magic Sets and Their Application to Data Integration},
booktitle = {Database Theory - {ICDT} 2005, 10th International Conference, Edinburgh,
UK, January 5-7, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3363},
pages = {306--320},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-30570-5\_21},
doi = {10.1007/978-3-540-30570-5\_21},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/icdt/FaberGL05.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}
}
@inproceedings{DBLP:conf/ijcai/FaberLR05,
author = {Wolfgang Faber and
Nicola Leone and
Francesco Ricca},
editor = {Leslie Pack Kaelbling and
Alessandro Saffiotti},
title = {Heuristics for Hard {ASP} Programs},
booktitle = {IJCAI-05, Proceedings of the Nineteenth International Joint Conference
on Artificial Intelligence, Edinburgh, Scotland, UK, July 30 - August
5, 2005},
pages = {1562--1563},
publisher = {Professional Book Center},
year = {2005},
url = {http://ijcai.org/Proceedings/05/Papers/post-0500.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/FaberLR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/LeoneEFFGGGKILLLNRRST05,
author = {Nicola Leone and
Thomas Eiter and
Wolfgang Faber and
Michael Fink and
Georg Gottlob and
Luigi Granata and
Gianluigi Greco and
Edyta Kalka and
Giovambattista Ianni and
Domenico Lembo and
Maurizio Lenzerini and
Vincenzino Lio and
Bartosz Nowicki and
Riccardo Rosati and
Marco Ruzzi and
Witold Staniszkis and
Giorgio Terracina},
editor = {Chitta Baral and
Gianluigi Greco and
Nicola Leone and
Giorgio Terracina},
title = {Data Integration: a Challenging {ASP} Application},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 8th International Conference,
{LPNMR} 2005, Diamante, Italy, September 5-8, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3662},
pages = {379--383},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11546207\_31},
doi = {10.1007/11546207\_31},
timestamp = {Thu, 02 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/LeoneEFFGGGKILLLNRRST05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/RiccaLBDGG05,
author = {Francesco Ricca and
Nicola Leone and
Valerio De Bonis and
Tina Dell'Armi and
Stefania Galizia and
Giovanni Grasso},
editor = {Chitta Baral and
Gianluigi Greco and
Nicola Leone and
Giorgio Terracina},
title = {A {DLP} System with Object-Oriented Features},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 8th International Conference,
{LPNMR} 2005, Diamante, Italy, September 5-8, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3662},
pages = {432--436},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11546207\_41},
doi = {10.1007/11546207\_41},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/RiccaLBDGG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sebd/FaberGL05,
author = {Wolfgang Faber and
Gianluigi Greco and
Nicola Leone},
editor = {Andrea Cal{\`{\i}} and
Diego Calvanese and
Enrico Franconi and
Maurizio Lenzerini and
Letizia Tanca},
title = {Magic Sets and their Application to Data Integration},
booktitle = {Proceedings of the Thirteenth Italian Symposium on Advanced Database
Systems, {SEBD} 2005, Brixen-Bressanone (near Bozen-Bolzano), Italy,
June 19-22, 2005},
pages = {47--54},
year = {2005},
timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sebd/FaberGL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sebd/LeoneEFFGG05,
author = {Nicola Leone and
Thomas Eiter and
Wolfgang Faber and
Michael Fink and
Georg Gottlob and
Gianluigi Greco},
editor = {Andrea Cal{\`{\i}} and
Diego Calvanese and
Enrico Franconi and
Maurizio Lenzerini and
Letizia Tanca},
title = {Boosting Information Integration: The {INFOMIX} System},
booktitle = {Proceedings of the Thirteenth Italian Symposium on Advanced Database
Systems, {SEBD} 2005, Brixen-Bressanone (near Bozen-Bolzano), Italy,
June 19-22, 2005},
pages = {55--66},
year = {2005},
timestamp = {Thu, 16 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sebd/LeoneEFFGG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/LeoneGILTEFFGRLLRKNS05,
author = {Nicola Leone and
Gianluigi Greco and
Giovambattista Ianni and
Vincenzino Lio and
Giorgio Terracina and
Thomas Eiter and
Wolfgang Faber and
Michael Fink and
Georg Gottlob and
Riccardo Rosati and
Domenico Lembo and
Maurizio Lenzerini and
Marco Ruzzi and
Edyta Kalka and
Bartosz Nowicki and
Witold Staniszkis},
editor = {Fatma {\"{O}}zcan},
title = {The {INFOMIX} system for advanced integration of incomplete and inconsistent
data},
booktitle = {Proceedings of the {ACM} {SIGMOD} International Conference on Management
of Data, Baltimore, Maryland, USA, June 14-16, 2005},
pages = {915--917},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1066157.1066286},
doi = {10.1145/1066157.1066286},
timestamp = {Thu, 02 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigmod/LeoneGILTEFFGRLLRKNS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpnmr/2005,
editor = {Chitta Baral and
Gianluigi Greco and
Nicola Leone and
Giorgio Terracina},
title = {Logic Programming and Nonmonotonic Reasoning, 8th International Conference,
{LPNMR} 2005, Diamante, Italy, September 5-8, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3662},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11546207},
doi = {10.1007/11546207},
isbn = {3-540-28538-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/2005.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}
}
@article{DBLP:journals/tkde/LeoneSS04,
author = {Nicola Leone and
Francesco Scarcello and
V. S. Subrahmanian},
title = {Optimal Models of Disjunctive Logic Programs: Semantics, Complexity,
and Computation},
journal = {{IEEE} Trans. Knowl. Data Eng.},
volume = {16},
number = {4},
pages = {487--503},
year = {2004},
url = {https://doi.org/10.1109/TKDE.2004.1269672},
doi = {10.1109/TKDE.2004.1269672},
timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tkde/LeoneSS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/EiterFLPP04,
author = {Thomas Eiter and
Wolfgang Faber and
Nicola Leone and
Gerald Pfeifer and
Axel Polleres},
title = {A logic programming approach to knowledge-state planning: Semantics
and complexity},
journal = {{ACM} Trans. Comput. Log.},
volume = {5},
number = {2},
pages = {206--263},
year = {2004},
url = {https://doi.org/10.1145/976706.976708},
doi = {10.1145/976706.976708},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/EiterFLPP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/CumboFGL04,
author = {Chiara Cumbo and
Wolfgang Faber and
Gianluigi Greco and
Nicola Leone},
editor = {Bart Demoen and
Vladimir Lifschitz},
title = {Enhancing the Magic-Set Method for Disjunctive Datalog Programs},
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 = {371--385},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27775-0\_26},
doi = {10.1007/978-3-540-27775-0\_26},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iclp/CumboFGL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/FaberLP04,
author = {Wolfgang Faber and
Nicola Leone and
Gerald Pfeifer},
editor = {Jos{\'{e}} J{\'{u}}lio Alferes and
Jo{\~{a}}o Alexandre Leite},
title = {Recursive Aggregates in Disjunctive Logic Programs: Semantics and
Complexity},
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 = {200--212},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30227-8\_19},
doi = {10.1007/978-3-540-30227-8\_19},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/jelia/FaberLP04.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/lpnmr/LeoneLT04,
author = {Nicola Leone and
Vincenzino Lio and
Giorgio Terracina},
editor = {Vladimir Lifschitz and
Ilkka Niemel{\"{a}}},
title = {DLV\({}^{\mbox{DB}}\): Adding Efficient Data Management Features to
{ASP}},
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 = {341--345},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24609-1\_31},
doi = {10.1007/978-3-540-24609-1\_31},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/LeoneLT04.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/pods/ScarcelloGL04,
author = {Francesco Scarcello and
Gianluigi Greco and
Nicola Leone},
editor = {Catriel Beeri and
Alin Deutsch},
title = {Weighted Hypertree Decompositions and Optimal Query Plans},
booktitle = {Proceedings of the Twenty-third {ACM} {SIGACT-SIGMOD-SIGART} Symposium
on Principles of Database Systems, June 14-16, 2004, Paris, France},
pages = {210--221},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1055558.1055587},
doi = {10.1145/1055558.1055587},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/ScarcelloGL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sebd/GrecoLS04,
author = {Gianluigi Greco and
Nicola Leone and
Francesco Scarcello},
editor = {Maristella Agosti and
Nicoletta Dess{\`{\i}} and
Fabio Alberto Schreiber},
title = {On Weighted Hypertree Decompositions},
booktitle = {Proceedings of the Twelfth Italian Symposium on Advanced Database
Systems, {SEBD} 2004, S. Margherita di Pula, Cagliari, Italy, June
21-23, 2004},
pages = {54--61},
year = {2004},
timestamp = {Wed, 15 Jan 2020 18:09:51 +0100},
biburl = {https://dblp.org/rec/conf/sebd/GrecoLS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-AI-0404012,
author = {Francesco Calimeri and
Nicola Leone},
title = {Toward the Implementation of Functions in the {DLV} System (Preliminary
Technical Report)},
journal = {CoRR},
volume = {cs.AI/0404012},
year = {2004},
url = {http://arxiv.org/abs/cs/0404012},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-AI-0404012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/EiterFLPP03,
author = {Thomas Eiter and
Wolfgang Faber and
Nicola Leone and
Gerald Pfeifer and
Axel Polleres},
title = {A logic programming approach to knowledge-state planning, {II:} The
DLV\({}^{\mbox{K}}\) system},
journal = {Artif. Intell.},
volume = {144},
number = {1-2},
pages = {157--211},
year = {2003},
url = {https://doi.org/10.1016/S0004-3702(02)00367-3},
doi = {10.1016/S0004-3702(02)00367-3},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/EiterFLPP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/KochLP03,
author = {Christoph Koch and
Nicola Leone and
Gerald Pfeifer},
title = {Enhancing disjunctive logic programming systems by {SAT} checkers},
journal = {Artif. Intell.},
volume = {151},
number = {1-2},
pages = {177--212},
year = {2003},
url = {https://doi.org/10.1016/S0004-3702(03)00078-X},
doi = {10.1016/S0004-3702(03)00078-X},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/KochLP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/EiterFLPP03,
author = {Thomas Eiter and
Wolfgang Faber and
Nicola Leone and
Gerald Pfeifer and
Axel Polleres},
title = {Answer Set Planning Under Action Costs},
journal = {J. Artif. Intell. Res.},
volume = {19},
pages = {25--71},
year = {2003},
url = {https://doi.org/10.1613/jair.1148},
doi = {10.1613/JAIR.1148},
timestamp = {Mon, 21 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/EiterFLPP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/GottlobLS03,
author = {Georg Gottlob and
Nicola Leone and
Francesco Scarcello},
title = {Robbers, marshals, and guards: game theoretic and logical characterizations
of hypertree width},
journal = {J. Comput. Syst. Sci.},
volume = {66},
number = {4},
pages = {775--808},
year = {2003},
url = {https://doi.org/10.1016/S0022-0000(03)00030-8},
doi = {10.1016/S0022-0000(03)00030-8},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/GottlobLS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/EiterFLP03,
author = {Thomas Eiter and
Wolfgang Faber and
Nicola Leone and
Gerald Pfeifer},
title = {Computing preferred answer sets by meta-interpretation in answer set
programming},
journal = {Theory Pract. Log. Program.},
volume = {3},
number = {4-5},
pages = {463--498},
year = {2003},
url = {https://doi.org/10.1017/S1471068403001753},
doi = {10.1017/S1471068403001753},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/EiterFLP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asp/DellArmiFILP03,
author = {Tina Dell'Armi and
Wolfgang Faber and
Giuseppe Ielpa and
Nicola Leone and
Gerald Pfeifer},
editor = {Marina De Vos and
Alessandro Provetti},
title = {Aggregate Functions in {DLV}},
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-dellarmi.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:21 +0100},
biburl = {https://dblp.org/rec/conf/asp/DellArmiFILP03.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 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asp/LeoneP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/DellArmiFILP03,
author = {Tina Dell'Armi and
Wolfgang Faber and
Giuseppe Ielpa and
Nicola Leone and
Gerald Pfeifer},
editor = {Georg Gottlob and
Toby Walsh},
title = {Aggregate Functions in Disjunctive Logic Programming: Semantics, Complexity,
and Implementation in {DLV}},
booktitle = {IJCAI-03, Proceedings of the Eighteenth International Joint Conference
on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003},
pages = {847--852},
publisher = {Morgan Kaufmann},
year = {2003},
url = {http://ijcai.org/Proceedings/03/Papers/122.pdf},
timestamp = {Tue, 20 Aug 2019 16:18:41 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/DellArmiFILP03.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}
}
@article{DBLP:journals/ai/GelfondL02,
author = {Michael Gelfond and
Nicola Leone},
title = {Knowledge Representation and Logic Programming},
journal = {Artif. Intell.},
volume = {138},
number = {1-2},
pages = {1},
year = {2002},
url = {https://doi.org/10.1016/S0004-3702(02)00206-0},
doi = {10.1016/S0004-3702(02)00206-0},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/GelfondL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/GelfondL02a,
author = {Michael Gelfond and
Nicola Leone},
title = {Logic programming and knowledge representation - The A-Prolog perspective},
journal = {Artif. Intell.},
volume = {138},
number = {1-2},
pages = {3--38},
year = {2002},
url = {https://doi.org/10.1016/S0004-3702(02)00207-2},
doi = {10.1016/S0004-3702(02)00207-2},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/GelfondL02a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/GottlobLS02,
author = {Georg Gottlob and
Nicola Leone and
Francesco Scarcello},
title = {Hypertree Decompositions and Tractable Queries},
journal = {J. Comput. Syst. Sci.},
volume = {64},
number = {3},
pages = {579--627},
year = {2002},
url = {https://doi.org/10.1006/jcss.2001.1809},
doi = {10.1006/JCSS.2001.1809},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/GottlobLS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/GottlobLS02,
author = {Georg Gottlob and
Nicola Leone and
Francesco Scarcello},
title = {Computing {LOGCFL} certificates},
journal = {Theor. Comput. Sci.},
volume = {270},
number = {1-2},
pages = {761--777},
year = {2002},
url = {https://doi.org/10.1016/S0304-3975(01)00108-6},
doi = {10.1016/S0304-3975(01)00108-6},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/GottlobLS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/BuccafurriFL02,
author = {Francesco Buccafurri and
Wolfgang Faber and
Nicola Leone},
title = {Disjunctive Logic Programs with Inheritance},
journal = {Theory Pract. Log. Program.},
volume = {2},
number = {3},
pages = {293--321},
year = {2002},
url = {https://doi.org/10.1017/S1471068402001394},
doi = {10.1017/S1471068402001394},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/BuccafurriFL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/EiterFLPP02,
author = {Thomas Eiter and
Wolfgang Faber and
Nicola Leone and
Gerald Pfeifer and
Axel Polleres},
editor = {Sergio Flesca and
Sergio Greco and
Nicola Leone and
Giovambattista Ianni},
title = {Answer Set Planning under Action Costs},
booktitle = {Logics in Artificial Intelligence, European Conference, {JELIA} 2002,
Cosenza, Italy, September, 23-26, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2424},
pages = {186--197},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45757-7\_16},
doi = {10.1007/3-540-45757-7\_16},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/EiterFLPP02.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}
}
@inproceedings{DBLP:conf/jelia/EiterFLPP02a,
author = {Thomas Eiter and
Wolfgang Faber and
Nicola Leone and
Gerald Pfeifer and
Axel Polleres},
editor = {Sergio Flesca and
Sergio Greco and
Nicola Leone and
Giovambattista Ianni},
title = {The DLV\({}^{\mbox{K}}\) Planning System: Progress Report},
booktitle = {Logics in Artificial Intelligence, European Conference, {JELIA} 2002,
Cosenza, Italy, September, 23-26, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2424},
pages = {541--544},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45757-7\_51},
doi = {10.1007/3-540-45757-7\_51},
timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jelia/EiterFLPP02a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/CalimeriFLP02,
author = {Francesco Calimeri and
Wolfgang Faber and
Nicola Leone and
Gerald Pfeifer},
editor = {Salem Benferhat and
Enrico Giunchiglia},
title = {Pruning operators for answer set programming systems},
booktitle = {9th International Workshop on Non-Monotonic Reasoning {(NMR} 2002),
April 19-21, Toulouse, France, Proceedings},
pages = {200--209},
year = {2002},
timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nmr/CalimeriFLP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sebd/LeoneMS02,
author = {Nicola Leone and
Alfredo Mazzitelli and
Francesco Scarcello},
editor = {Paolo Ciaccia and
Fausto Rabitti and
Giovanni Soda},
title = {Cost-based Query Decompositions},
booktitle = {Decimo Convegno Nazionale su Sistemi Evoluti per Basi di Dati, {SEBD}
2002, Portoferraio, Isola d'Elba, Italy, 19-21 Giugno 2002},
pages = {390--403},
year = {2002},
timestamp = {Mon, 18 Jan 2016 11:07:09 +0100},
biburl = {https://dblp.org/rec/conf/sebd/LeoneMS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/jelia/2002,
editor = {Sergio Flesca and
Sergio Greco and
Nicola Leone and
Giovambattista Ianni},
title = {Logics in Artificial Intelligence, European Conference, {JELIA} 2002,
Cosenza, Italy, September, 23-26, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2424},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45757-7},
doi = {10.1007/3-540-45757-7},
isbn = {3-540-44190-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/2002.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}
}
@article{DBLP:journals/corr/cs-LO-0201013,
author = {Thomas Eiter and
Wolfgang Faber and
Nicola Leone and
Gerald Pfeifer},
title = {Computing Preferred Answer Sets by Meta-Interpretation in Answer Set
Programming},
journal = {CoRR},
volume = {cs.LO/0201013},
year = {2002},
url = {https://arxiv.org/abs/cs/0201013},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-LO-0201013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/GottlobLS01,
author = {Georg Gottlob and
Nicola Leone and
Francesco Scarcello},
title = {The complexity of acyclic conjunctive queries},
journal = {J. {ACM}},
volume = {48},
number = {3},
pages = {431--498},
year = {2001},
url = {https://doi.org/10.1145/382780.382783},
doi = {10.1145/382780.382783},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jacm/GottlobLS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/BuccafurriEGL01,
author = {Francesco Buccafurri and
Thomas Eiter and
Georg Gottlob and
Nicola Leone},
title = {On {ACTL} Formulas Having Linear Counterexamples},
journal = {J. Comput. Syst. Sci.},
volume = {62},
number = {3},
pages = {463--515},
year = {2001},
url = {https://doi.org/10.1006/jcss.2000.1734},
doi = {10.1006/JCSS.2000.1734},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/BuccafurriEGL01.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/asp/EiterFLP01,
author = {Thomas Eiter and
Wolfgang Faber and
Nicola Leone and
Gerald Pfeifer},
editor = {Alessandro Provetti and
Tran Cao Son},
title = {Computing Preferred and Weakly Preferred Answer Sets by Meta Interpretation
in Answer Set Programming},
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/12.ps},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asp/EiterFLP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/FaberLP01,
author = {Wolfgang Faber and
Nicola Leone and
Gerald Pfeifer},
editor = {Bernhard Nebel},
title = {Experimenting with Heuristics for Answer Set Programming},
booktitle = {Proceedings of the Seventeenth International Joint Conference on Artificial
Intelligence, {IJCAI} 2001, Seattle, Washington, USA, August 4-10,
2001},
pages = {635--640},
publisher = {Morgan Kaufmann},
year = {2001},
timestamp = {Tue, 20 Aug 2019 16:18:14 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/FaberLP01.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/FaberLP01,
author = {Wolfgang Faber and
Nicola Leone and
Gerald Pfeifer},
editor = {Thomas Eiter and
Wolfgang Faber and
Miroslaw Truszczynski},
title = {Optimizing the Computation of Heuristics for Answer Set Programming
Systems},
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 = {295--308},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45402-0\_22},
doi = {10.1007/3-540-45402-0\_22},
timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/FaberLP01.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/lpnmr/EiterFLPP01,
author = {Thomas Eiter and
Wolfgang Faber and
Nicola Leone and
Gerald Pfeifer and
Axel Polleres},
editor = {Thomas Eiter and
Wolfgang Faber and
Miroslaw Truszczynski},
title = {System Description: The DLV\({}^{\mbox{K}}\) Planning System},
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 = {429--433},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45402-0\_37},
doi = {10.1007/3-540-45402-0\_37},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/EiterFLPP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/GottlobLS01,
author = {Georg Gottlob and
Nicola Leone and
Francesco Scarcello},
editor = {Jir{\'{\i}} Sgall and
Ales Pultr and
Petr Kolman},
title = {Hypertree Decompositions: {A} Survey},
booktitle = {Mathematical Foundations of Computer Science 2001, 26th International
Symposium, {MFCS} 2001 Marianske Lazne, Czech Republic, August 27-31,
2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2136},
pages = {37--57},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44683-4\_5},
doi = {10.1007/3-540-44683-4\_5},
timestamp = {Sat, 19 Oct 2019 20:31:50 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/GottlobLS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/GottlobLS01,
author = {Georg Gottlob and
Nicola Leone and
Francesco Scarcello},
editor = {Peter Buneman},
title = {Robbers, Marshals, and Guards: Game Theoretic and Logical Characterizations
of Hypertree Width},
booktitle = {Proceedings of the Twentieth {ACM} {SIGACT-SIGMOD-SIGART} Symposium
on Principles of Database Systems, May 21-23, 2001, Santa Barbara,
California, {USA}},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/375551.375579},
doi = {10.1145/375551.375579},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/GottlobLS01.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}
}
@inproceedings{DBLP:conf/sebd/GottlobLS01,
author = {Georg Gottlob and
Nicola Leone and
Francesco Scarcello},
editor = {Augusto Celentano and
Letizia Tanca and
Paolo Tiberio},
title = {Robbers, Marshals, and Guards: Game Theoretic and Logical Characterizations
of Hypertree Width},
booktitle = {Nono Convegno Nazionale Sistemi Evoluti per Basi di Dati, {SEBD} 2001,
Venezia, Italy, 27-29 Giugno 2001},
pages = {147--154},
year = {2001},
timestamp = {Mon, 18 Jan 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sebd/GottlobLS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-AI-0112006,
author = {Thomas Eiter and
Wolfgang Faber and
Nicola Leone and
Gerald Pfeifer and
Axel Polleres},
title = {A Logic Programming Approach to Knowledge-State Planning: Semantics
and Complexity},
journal = {CoRR},
volume = {cs.AI/0112006},
year = {2001},
url = {https://arxiv.org/abs/cs/0112006},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-AI-0112006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-LO-0105036,
author = {Francesco Buccafurri and
Wolfgang Faber and
Nicola Leone},
title = {Disjunctive Logic Programs with Inheritance},
journal = {CoRR},
volume = {cs.LO/0105036},
year = {2001},
url = {https://arxiv.org/abs/cs/0105036},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-LO-0105036.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}
}
@article{DBLP:journals/ai/GottlobLS00,
author = {Georg Gottlob and
Nicola Leone and
Francesco Scarcello},
title = {A comparison of structural {CSP} decomposition methods},
journal = {Artif. Intell.},
volume = {124},
number = {2},
pages = {243--282},
year = {2000},
url = {https://doi.org/10.1016/S0004-3702(00)00078-3},
doi = {10.1016/S0004-3702(00)00078-3},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/GottlobLS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tkde/BuccafurriLR00,
author = {Francesco Buccafurri and
Nicola Leone and
Pasquale Rullo},
title = {Enhancing Disjunctive Datalog by Constraints},
journal = {{IEEE} Trans. Knowl. Data Eng.},
volume = {12},
number = {5},
pages = {845--860},
year = {2000},
url = {https://doi.org/10.1109/69.877512},
doi = {10.1109/69.877512},
timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tkde/BuccafurriLR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cl/EiterFLPP00,
author = {Thomas Eiter and
Wolfgang Faber and
Nicola Leone and
Gerald Pfeifer and
Axel Polleres},
editor = {John W. Lloyd and
Ver{\'{o}}nica Dahl and
Ulrich Furbach and
Manfred Kerber and
Kung{-}Kiu Lau and
Catuscia Palamidessi and
Lu{\'{\i}}s Moniz Pereira and
Yehoshua Sagiv and
Peter J. Stuckey},
title = {Planning under Incomplete Knowledge},
booktitle = {Computational Logic - {CL} 2000, First International Conference, London,
UK, 24-28 July, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1861},
pages = {807--821},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44957-4\_54},
doi = {10.1007/3-540-44957-4\_54},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/cl/EiterFLPP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wlp/EiterFLPP00,
author = {Thomas Eiter and
Wolfgang Faber and
Nicola Leone and
Gerald Pfeifer and
Axel Polleres},
editor = {Fran{\c{c}}ois Bry and
Ulrich Geske and
Dietmar Seipel},
title = {Using the dlv System for Planning and Diagnostic Reasoning},
booktitle = {14. Workshop Logische Programmierung, W{\"{u}}rzburg, Deutschland,
26.-28. Januar 2000},
series = {{GMD} Report},
volume = {90},
pages = {125--134},
year = {2000},
timestamp = {Sat, 07 Sep 2019 11:59:25 +0200},
biburl = {https://dblp.org/rec/conf/wlp/EiterFLPP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-AI-0003036,
author = {Thomas Eiter and
Wolfgang Faber and
Christoph Koch and
Nicola Leone and
Gerald Pfeifer},
title = {{DLV} - {A} System for Declarative Problem Solving},
journal = {CoRR},
volume = {cs.AI/0003036},
year = {2000},
url = {https://arxiv.org/abs/cs/0003036},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-AI-0003036.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/BuccafurriEGL99,
author = {Francesco Buccafurri and
Thomas Eiter and
Georg Gottlob and
Nicola Leone},
title = {Enhancing Model Checking in Verification by {AI} Techniques},
journal = {Artif. Intell.},
volume = {112},
number = {1-2},
pages = {57--104},
year = {1999},
url = {https://doi.org/10.1016/S0004-3702(99)00039-9},
doi = {10.1016/S0004-3702(99)00039-9},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/BuccafurriEGL99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/EiterFLP99,
author = {Thomas Eiter and
Wolfgang Faber and
Nicola Leone and
Gerald Pfeifer},
title = {The Diagnosis Frontend of the dlv System},
journal = {{AI} Commun.},
volume = {12},
number = {1-2},
pages = {99--111},
year = {1999},
url = {http://content.iospress.com/articles/ai-communications/aic171},
timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aicom/EiterFLP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/BuccafurriLR99,
author = {Francesco Buccafurri and
Nicola Leone and
Pasquale Rullo},
title = {Semantics and Expressiveness of Disjunctive Ordered Logic},
journal = {Ann. Math. Artif. Intell.},
volume = {25},
number = {3-4},
pages = {311--337},
year = {1999},
url = {https://doi.org/10.1023/A:1018986207453},
doi = {10.1023/A:1018986207453},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/BuccafurriLR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/GottlobLV99,
author = {Georg Gottlob and
Nicola Leone and
Helmut Veith},
title = {Succinctness as a Source of Complexity in Logical Formalisms},
journal = {Ann. Pure Appl. Log.},
volume = {97},
number = {1-3},
pages = {231--260},
year = {1999},
url = {https://doi.org/10.1016/S0168-0072(98)00057-8},
doi = {10.1016/S0168-0072(98)00057-8},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/GottlobLV99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/GottlobLS99,
author = {Georg Gottlob and
Nicola Leone and
Francesco Scarcello},
title = {On the Complexity of Some Inductive Logic Programming Problems},
journal = {New Gener. Comput.},
volume = {17},
number = {1},
pages = {53--75},
year = {1999},
url = {https://doi.org/10.1007/BF03037582},
doi = {10.1007/BF03037582},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ngc/GottlobLS99.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}
}
@inproceedings{DBLP:conf/dexa/GottlobLS99,
author = {Georg Gottlob and
Nicola Leone and
Francesco Scarcello},
editor = {Trevor J. M. Bench{-}Capon and
Giovanni Soda and
A Min Tjoa},
title = {On Tractable Queries and Constraints},
booktitle = {Database and Expert Systems Applications, 10th International Conference,
{DEXA} '99, Florence, Italy, August 30 - September 3, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1677},
pages = {1--15},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48309-8\_1},
doi = {10.1007/3-540-48309-8\_1},
timestamp = {Tue, 29 Dec 2020 18:31:18 +0100},
biburl = {https://dblp.org/rec/conf/dexa/GottlobLS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/GottlobLS99,
author = {Georg Gottlob and
Nicola Leone and
Francesco Scarcello},
editor = {Jir{\'{\i}} Wiedermann and
Peter van Emde Boas and
Mogens Nielsen},
title = {Computing {LOGCFL} Certificates},
booktitle = {Automata, Languages and Programming, 26th International Colloquium,
ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1644},
pages = {361--371},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48523-6\_33},
doi = {10.1007/3-540-48523-6\_33},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/GottlobLS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/BuccafurriFL99,
author = {Francesco Buccafurri and
Wolfgang Faber and
Nicola Leone},
editor = {Danny De Schreye},
title = {Disjunctive Logic Programs with Inheritance},
booktitle = {Logic Programming: The 1999 International Conference, Las Cruces,
New Mexico, USA, November 29 - December 4, 1999},
pages = {79--93},
publisher = {{MIT} Press},
year = {1999},
timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/BuccafurriFL99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/KochL99,
author = {Christoph Koch and
Nicola Leone},
editor = {Thomas Dean},
title = {Stable Model Checking Made Easy},
booktitle = {Proceedings of the Sixteenth International Joint Conference on Artificial
Intelligence, {IJCAI} 99, Stockholm, Sweden, July 31 - August 6, 1999.
2 Volumes, 1450 pages},
pages = {70--75},
publisher = {Morgan Kaufmann},
year = {1999},
url = {http://ijcai.org/Proceedings/99-1/Papers/011.pdf},
timestamp = {Tue, 20 Aug 2019 16:18:16 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/KochL99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GottlobLS99,
author = {Georg Gottlob and
Nicola Leone and
Francesco Scarcello},
editor = {Thomas Dean},
title = {A Comparison of Structural {CSP} Decomposition Methods},
booktitle = {Proceedings of the Sixteenth International Joint Conference on Artificial
Intelligence, {IJCAI} 99, Stockholm, Sweden, July 31 - August 6, 1999.
2 Volumes, 1450 pages},
pages = {394--399},
publisher = {Morgan Kaufmann},
year = {1999},
url = {http://ijcai.org/Proceedings/99-1/Papers/057.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/GottlobLS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/FaberLP99,
author = {Wolfgang Faber and
Nicola Leone and
Gerald Pfeifer},
editor = {Michael Gelfond and
Nicola Leone and
Gerald Pfeifer},
title = {Pushing Goal Derivation in {DLP} Computations},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 5th International Conference,
LPNMR'99, El Paso, Texas, USA, December 2-4, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1730},
pages = {177--191},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46767-X\_13},
doi = {10.1007/3-540-46767-X\_13},
timestamp = {Sun, 02 Oct 2022 16:11:19 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/FaberLP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/GottlobLS99,
author = {Georg Gottlob and
Nicola Leone and
Francesco Scarcello},
editor = {Victor Vianu and
Christos H. Papadimitriou},
title = {Hypertree Decompositions and Tractable Queries},
booktitle = {Proceedings of the Eighteenth {ACM} {SIGACT-SIGMOD-SIGART} Symposium
on Principles of Database Systems, May 31 - June 2, 1999, Philadelphia,
Pennsylvania, {USA}},
pages = {21--32},
publisher = {{ACM} Press},
year = {1999},
url = {https://doi.org/10.1145/303976.303979},
doi = {10.1145/303976.303979},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/GottlobLS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sebd/GottlobLS99,
author = {Georg Gottlob and
Nicola Leone and
Francesco Scarcello},
editor = {Elisa Bertino and
Silvana Castano},
title = {Hypertree Decompositions and Tractable Queries},
booktitle = {Atti del Settimo Convegno Nazionale Sistemi Evoluti per Basi di Dati,
{SEBD} 1999, Villa Olmo, Como, Italy, 23-25 Giugno 1999},
pages = {275--289},
year = {1999},
timestamp = {Mon, 18 Jan 2016 11:07:09 +0100},
biburl = {https://dblp.org/rec/conf/sebd/GottlobLS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpnmr/1999,
editor = {Michael Gelfond and
Nicola Leone and
Gerald Pfeifer},
title = {Logic Programming and Nonmonotonic Reasoning, 5th International Conference,
LPNMR'99, El Paso, Texas, USA, December 2-4, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1730},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46767-X},
doi = {10.1007/3-540-46767-X},
isbn = {3-540-66749-0},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/1999.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/EiterLS98,
author = {Thomas Eiter and
Nicola Leone and
Domenico Sacc{\`{a}}},
title = {Expressive Power and Complexity of Partial Models for Disjunctive
Deductive Databases},
journal = {Theor. Comput. Sci.},
volume = {206},
number = {1-2},
pages = {181--218},
year = {1998},
url = {https://doi.org/10.1016/S0304-3975(97)00129-1},
doi = {10.1016/S0304-3975(97)00129-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/EiterLS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmldo/LeonePS98,
author = {Nicola Leone and
Luigi Palopoli and
Domenico Sacc{\`{a}}},
editor = {Torsten Polle and
Torsten Ripke and
Klaus{-}Dieter Schewe},
title = {On the Complexity of Search Queries},
booktitle = {Fundamentals of Information Systems - Papers from the Seventh Workshop
on Foundations of Models and Languages for Data and Objects, Ostfriesland,
Germany, October 5-9, 1998},
pages = {113--127},
publisher = {Kluwer},
year = {1998},
timestamp = {Mon, 18 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmldo/LeonePS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/GottlobLS98,
author = {Georg Gottlob and
Nicola Leone and
Francesco Scarcello},
title = {The Complexity of Acyclic Conjunctive Queries},
booktitle = {39th Annual Symposium on Foundations of Computer Science, {FOCS} '98,
November 8-11, 1998, Palo Alto, California, {USA}},
pages = {706--715},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/SFCS.1998.743521},
doi = {10.1109/SFCS.1998.743521},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/GottlobLS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fqas/EiterLMPS98,
author = {Thomas Eiter and
Nicola Leone and
Cristinel Mateis and
Gerald Pfeifer and
Francesco Scarcello},
editor = {Troels Andreasen and
Henning Christiansen and
Henrik Legind Larsen},
title = {Progress Report on the Disjunctive Deductive Database System \texttt{dlv}},
booktitle = {Flexible Query Answering Systems, Third International Conference,
FQAS'98, Roskilde, Denmark, May 13-15, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1495},
pages = {148--163},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055998},
doi = {10.1007/BFB0055998},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fqas/EiterLMPS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/EiterLMPS98,
author = {Thomas Eiter and
Nicola Leone and
Cristinel Mateis and
Gerald Pfeifer and
Francesco Scarcello},
editor = {Anthony G. Cohn and
Lenhart K. Schubert and
Stuart C. Shapiro},
title = {The {KR} System dlv: Progress Report, Comparisons and Benchmarks},
booktitle = {Proceedings of the Sixth International Conference on Principles of
Knowledge Representation and Reasoning (KR'98), Trento, Italy, June
2-5, 1998},
pages = {406--417},
publisher = {Morgan Kaufmann},
year = {1998},
timestamp = {Tue, 20 Jun 2023 09:03:42 +0200},
biburl = {https://dblp.org/rec/conf/kr/EiterLMPS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BuccafurriLR98,
author = {Francesco Buccafurri and
Nicola Leone and
Pasquale Rullo},
editor = {Anthony G. Cohn and
Lenhart K. Schubert and
Stuart C. Shapiro},
title = {Disjunctive Ordered Logic: Semantics and Expressiveness},
booktitle = {Proceedings of the Sixth International Conference on Principles of
Knowledge Representation and Reasoning (KR'98), Trento, Italy, June
2-5, 1998},
pages = {418--431},
publisher = {Morgan Kaufmann},
year = {1998},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/BuccafurriLR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-DB-9812022,
author = {Georg Gottlob and
Nicola Leone and
Francesco Scarcello},
title = {Hypertree Decompositions and Tractable Queries},
journal = {CoRR},
volume = {cs.DB/9812022},
year = {1998},
url = {https://arxiv.org/abs/cs/9812022},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-DB-9812022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/EiterGL97,
author = {Thomas Eiter and
Georg Gottlob and
Nicola Leone},
title = {Semantics and Complexity of Abduction from Default Theories},
journal = {Artif. Intell.},
volume = {90},
number = {1-2},
pages = {177--223},
year = {1997},
url = {https://doi.org/10.1016/S0004-3702(96)00040-9},
doi = {10.1016/S0004-3702(96)00040-9},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/EiterGL97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/EiterLS97,
author = {Thomas Eiter and
Nicola Leone and
Domenico Sacc{\`{a}}},
title = {On the Partial Semantics for Disjunctive Deductive Databases},
journal = {Ann. Math. Artif. Intell.},
volume = {19},
number = {1-2},
pages = {59--96},
year = {1997},
url = {https://doi.org/10.1023/A:1018947420290},
doi = {10.1023/A:1018947420290},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/EiterLS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dke/LeonePR97,
author = {Nicola Leone and
Clara Pizzuti and
Pasquale Rullo},
title = {Efficient Evaluation of a Class of Ordered Logic Programs},
journal = {Data Knowl. Eng.},
volume = {23},
number = {2},
pages = {185--214},
year = {1997},
url = {https://doi.org/10.1016/S0169-023X(96)00050-X},
doi = {10.1016/S0169-023X(96)00050-X},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dke/LeonePR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/LeoneRS97,
author = {Nicola Leone and
Pasquale Rullo and
Francesco Scarcello},
title = {Disjunctive Stable Models: Unfounded Sets, Fixpoint Semantics, and
Computation},
journal = {Inf. Comput.},
volume = {135},
number = {2},
pages = {69--112},
year = {1997},
url = {https://doi.org/10.1006/inco.1997.2630},
doi = {10.1006/INCO.1997.2630},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/LeoneRS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/EiterGL97,
author = {Thomas Eiter and
Georg Gottlob and
Nicola Leone},
title = {On the Indiscernibility of Individuals in Logic Programming},
journal = {J. Log. Comput.},
volume = {7},
number = {6},
pages = {805--824},
year = {1997},
url = {https://doi.org/10.1093/logcom/7.6.805},
doi = {10.1093/LOGCOM/7.6.805},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/EiterGL97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/EiterGL97,
author = {Thomas Eiter and
Georg Gottlob and
Nicola Leone},
title = {Abduction from Logic Programs: Semantics and Complexity},
journal = {Theor. Comput. Sci.},
volume = {189},
number = {1-2},
pages = {129--177},
year = {1997},
url = {https://doi.org/10.1016/S0304-3975(96)00179-X},
doi = {10.1016/S0304-3975(96)00179-X},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/EiterGL97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tkde/LeoneRMR97,
author = {Nicola Leone and
Pasquale Rullo and
Antonella Mecchia and
Giuseppe Rossi},
title = {A Deductive Environment for Dealing with Objects and Nonmonotonic
Reasoning},
journal = {{IEEE} Trans. Knowl. Data Eng.},
volume = {9},
number = {4},
pages = {539--558},
year = {1997},
url = {https://doi.org/10.1109/69.617049},
doi = {10.1109/69.617049},
timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tkde/LeoneRMR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tods/LakshmananLRS97,
author = {Laks V. S. Lakshmanan and
Nicola Leone and
Robert B. Ross and
V. S. Subrahmanian},
title = {ProbView: {A} Flexible Probabilistic Database System},
journal = {{ACM} Trans. Database Syst.},
volume = {22},
number = {3},
pages = {419--469},
year = {1997},
url = {https://doi.org/10.1145/261124.261131},
doi = {10.1145/261124.261131},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tods/LakshmananLRS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/EiterLMPS97,
author = {Thomas Eiter and
Nicola Leone and
Cristinel Mateis and
Gerald Pfeifer and
Francesco Scarcello},
editor = {Moreno Falaschi and
Marisa Navarro and
Alberto Policriti},
title = {The Architecture of a Disjunctive Deductive Database System},
booktitle = {1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'97,
Grado, Italy, June 16-19, 1997},
pages = {141--152},
year = {1997},
timestamp = {Thu, 02 Dec 2004 11:23:16 +0100},
biburl = {https://dblp.org/rec/conf/agp/EiterLMPS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/BuccafurriLR97,
author = {Francesco Buccafurri and
Nicola Leone and
Pasquale Rullo},
editor = {Moreno Falaschi and
Marisa Navarro and
Alberto Policriti},
title = {Adding Weak Constraints to Disjunctive Datalog},
booktitle = {1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'97,
Grado, Italy, June 16-19, 1997},
pages = {557--568},
year = {1997},
timestamp = {Thu, 02 Dec 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/BuccafurriLR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ilp/GottlobLS97,
author = {Georg Gottlob and
Nicola Leone and
Francesco Scarcello},
editor = {Nada Lavrac and
Saso Dzeroski},
title = {On the Complexity of Some Inductive Logic Programming Problems},
booktitle = {Inductive Logic Programming, 7th International Workshop, ILP-97, Prague,
Czech Republic, September 17-20, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1297},
pages = {17--32},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3540635149\_31},
doi = {10.1007/3540635149\_31},
timestamp = {Sat, 09 Apr 2022 12:45:22 +0200},
biburl = {https://dblp.org/rec/conf/ilp/GottlobLS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpkr/GrecoLS97,
author = {Sergio Greco and
Nicola Leone and
Francesco Scarcello},
editor = {J{\"{u}}rgen Dix and
Lu{\'{\i}}s Moniz Pereira and
Teodor C. Przymusinski},
title = {{DATALOG} with Nested Rules},
booktitle = {Logic Programming and Knowledge Representation, Third International
Workshop, {LPKR} '97, Port Jefferson, New York, USA, October 17, 1997,
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1471},
pages = {52--65},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0054789},
doi = {10.1007/BFB0054789},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpkr/GrecoLS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/BuccafurriLR97,
author = {Francesco Buccafurri and
Nicola Leone and
Pasquale Rullo},
editor = {J{\"{u}}rgen Dix and
Ulrich Furbach and
Anil Nerode},
title = {Strong and Weak Constraints in Disjunctive Datalog},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 4th International Conference,
LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1265},
pages = {2--17},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63255-7\_2},
doi = {10.1007/3-540-63255-7\_2},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/BuccafurriLR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/EiterLMPS97,
author = {Thomas Eiter and
Nicola Leone and
Cristinel Mateis and
Gerald Pfeifer and
Francesco Scarcello},
editor = {J{\"{u}}rgen Dix and
Ulrich Furbach and
Anil Nerode},
title = {A Deductive System for Non-Monotonic Reasoning},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 4th International Conference,
LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1265},
pages = {364--375},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63255-7\_27},
doi = {10.1007/3-540-63255-7\_27},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/EiterLMPS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wlp/CitrignoEFGKLMPS97,
author = {Simona Citrigno and
Thomas Eiter and
Wolfgang Faber and
Georg Gottlob and
Christoph Koch and
Nicola Leone and
Cristinel Mateis and
Gerald Pfeifer and
Francesco Scarcello},
editor = {Fran{\c{c}}ois Bry and
Burkhard Freitag and
Dietmar Seipel},
title = {The dlv System: Model Generator and Advanced Frontends (system description)},
booktitle = {Twelfth Workshop Logic Programming, {WLP} 1997, 17-19 September 1997,
M{\"{u}}nchen, Germany, Technical Report {PMS-FB-1997-10}},
publisher = {Ludwig Maximilians Universit{\"{a}}t M{\"{u}}nchen},
year = {1997},
timestamp = {Wed, 07 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wlp/CitrignoEFGKLMPS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/BuccafuriLS96,
author = {Francesco Buccafurri and
Nicola Leone and
Francesco Scarcello},
title = {On the Expressive Power of Ordered Logic},
journal = {{AI} Commun.},
volume = {9},
number = {1},
pages = {4--13},
year = {1996},
url = {https://doi.org/10.3233/AIC-1996-9101},
doi = {10.3233/AIC-1996-9101},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aicom/BuccafuriLS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BuccafurriLR96,
author = {Francesco Buccafurri and
Nicola Leone and
Pasquale Rullo},
title = {Stable Models and Their Computation for Logic Programming with Inheritance
and True Negation},
journal = {J. Log. Program.},
volume = {27},
number = {1},
pages = {5--43},
year = {1996},
url = {https://doi.org/10.1016/0743-1066(95)00076-3},
doi = {10.1016/0743-1066(95)00076-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/BuccafurriLR96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/EiterLS96,
author = {Thomas Eiter and
Nicola Leone and
Domenico Sacc{\`{a}}},
editor = {Paqui Lucio and
Maurizio Martelli and
Marisa Navarro},
title = {Unfounded Sets and Partial Stable Models for Disjuntive Deductive
Databases},
booktitle = {1996 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'96,
Donostia-San Sebastian, Spain, July 15-18, 1996},
pages = {271--282},
year = {1996},
timestamp = {Thu, 02 Dec 2004 11:12:18 +0100},
biburl = {https://dblp.org/rec/conf/agp/EiterLS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/BuccafurriLR96,
author = {Francesco Buccafurri and
Nicola Leone and
Pasquale Rullo},
editor = {Paqui Lucio and
Maurizio Martelli and
Marisa Navarro},
title = {Computing Disjunctive Ordered Logic},
booktitle = {1996 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'96,
Donostia-San Sebastian, Spain, July 15-18, 1996},
pages = {283--294},
year = {1996},
timestamp = {Thu, 02 Dec 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/BuccafurriLR96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dexa/EiterLS96,
author = {Thomas Eiter and
Nicola Leone and
Domenico Sacc{\`{a}}},
editor = {Roland Wagner and
Helmut Thoma},
title = {Partial Semantics for Disjunctive Deductive Databases},
booktitle = {Database and Expert Systems Applications, 7th International Conference,
{DEXA} '96, Zurich, Switzerland, September 9-13, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1134},
pages = {564--573},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0034711},
doi = {10.1007/BFB0034711},
timestamp = {Tue, 27 Apr 2021 15:12:54 +0200},
biburl = {https://dblp.org/rec/conf/dexa/EiterLS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dexa/LeoneRS96,
author = {Nicola Leone and
Pasquale Rullo and
Francesco Scarcello},
editor = {Roland Wagner and
Helmut Thoma},
title = {On the Computation of Disjunctive Stable Models},
booktitle = {Database and Expert Systems Applications, 7th International Conference,
{DEXA} '96, Zurich, Switzerland, September 9-13, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1134},
pages = {654--666},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0034719},
doi = {10.1007/BFB0034719},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dexa/LeoneRS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lid/EiterLS96,
author = {Thomas Eiter and
Nicola Leone and
Domenico Sacc{\`{a}}},
editor = {Dino Pedreschi and
Carlo Zaniolo},
title = {The Expressive Power of Partial Models in Disjunctive Deductive Databases},
booktitle = {Logic in Databases, International Workshop LID'96, San Miniato, Italy,
July 1-2, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1154},
pages = {245--264},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0031745},
doi = {10.1007/BFB0031745},
timestamp = {Mon, 03 Jan 2022 22:35:11 +0100},
biburl = {https://dblp.org/rec/conf/lid/EiterLS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lid/LeoneRS96,
author = {Nicola Leone and
Pasquale Rullo and
Francesco Scarcello},
editor = {Dino Pedreschi and
Carlo Zaniolo},
title = {Stable Model Checking for Disjunctive Logic Programs},
booktitle = {Logic in Databases, International Workshop LID'96, San Miniato, Italy,
July 1-2, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1154},
pages = {265--278},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0031746},
doi = {10.1007/BFB0031746},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lid/LeoneRS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/LeonePR95,
author = {Nicola Leone and
Luigi Palopoli and
Massimo Romeo},
title = {A Language for Updating Logic Programs and its Implementation},
journal = {J. Log. Program.},
volume = {23},
number = {1},
pages = {1--61},
year = {1995},
url = {https://doi.org/10.1016/0743-1066(94)00025-2},
doi = {10.1016/0743-1066(94)00025-2},
timestamp = {Mon, 18 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/LeonePR95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/ScarcelloLP95,
author = {Francesco Scarcello and
Nicola Leone and
Luigi Palopoli},
editor = {Mar{\'{\i}}a Alpuente and
Maria I. Sessa},
title = {Curbing Theories: Fixpoint Semantics and Complexity Issues},
booktitle = {1995 Joint Conference on Declarative Programming, GULP-PRODE'95, Marina
di Vietri, Italy, September 11-14, 1995},
pages = {545--556},
year = {1995},
timestamp = {Mon, 18 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/agp/ScarcelloLP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dexa/BuccafurriLPR95,
author = {Francesco Buccafurri and
Nicola Leone and
Luigi Palopoli and
Pasquale Rullo},
editor = {Norman Revell and
A Min Tjoa},
title = {Disjunctive Ordered Logic},
booktitle = {Database and Expert Systems Applications, 6th International Conference,
DEXA'95, London, United Kingdom, September 4-8, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {978},
pages = {303--312},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0049128},
doi = {10.1007/BFB0049128},
timestamp = {Mon, 18 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dexa/BuccafurriLPR95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/LeoneR95,
author = {Nicola Leone and
Pasquale Rullo},
title = {{BQM:} a system integrating logic, objects, and non-monotonic reasoning},
booktitle = {Seventh International Conference on Tools with Artificial Intelligence,
{ICTAI} '95, Herndon, VA, USA, November 5-8, 1995},
pages = {400--407},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/TAI.1995.479834},
doi = {10.1109/TAI.1995.479834},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/LeoneR95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/EiterGL95,
author = {Thomas Eiter and
Georg Gottlob and
Nicola Leone},
title = {Semantics and Complexity of Abduction from Default Theories},
booktitle = {Proceedings of the Fourteenth International Joint Conference on Artificial
Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
August 20-25 1995, 2 Volumes},
pages = {870--877},
publisher = {Morgan Kaufmann},
year = {1995},
url = {http://ijcai.org/Proceedings/95-1/Papers/112.pdf},
timestamp = {Tue, 20 Aug 2019 16:17:30 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/EiterGL95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/EiterGL95,
author = {Thomas Eiter and
Georg Gottlob and
Nicola Leone},
editor = {V. Wiktor Marek and
Anil Nerode},
title = {Complexity Results for Abductive Logic Programming},
booktitle = {Logic Programming and Nonmonotonic Reasoning, Third International
Conference, LPNMR'95, Lexington, KY, USA, June 26-28, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {928},
pages = {1--14},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-59487-6\_1},
doi = {10.1007/3-540-59487-6\_1},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/EiterGL95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/GottlobLV95,
author = {Georg Gottlob and
Nicola Leone and
Helmut Veith},
editor = {Jir{\'{\i}} Wiedermann and
Petr H{\'{a}}jek},
title = {Second Order Logic and the Weak Exponential Hierarchies},
booktitle = {Mathematical Foundations of Computer Science 1995, 20th International
Symposium, MFCS'95, Prague, Czech Republic, August 28 - September
1, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {969},
pages = {66--81},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60246-1\_113},
doi = {10.1007/3-540-60246-1\_113},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/GottlobLV95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/LeoneS95,
author = {Nicola Leone and
Francesco Scarcello},
editor = {John W. Lloyd},
title = {Declarative and Fixpoint Characterizations of Disjunctive Stable Models},
booktitle = {Logic Programming, Proceedings of the 1995 International Symposium,
Portland, Oregon, USA, December 4-7, 1995},
pages = {399--413},
publisher = {{MIT} Press},
year = {1995},
url = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6300105},
timestamp = {Wed, 11 Aug 2021 17:02:32 +0200},
biburl = {https://dblp.org/rec/conf/slp/LeoneS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wlp/EiterL95,
author = {Thomas Eiter and
Nicola Leone},
editor = {Andreas Krall and
Ulrich Geske},
title = {On Modularity Properties of Partial Semantics for Disjunctive Logic
Programs},
booktitle = {11. Workshop Logische Programmierung, Technische Universit{\"{a}}t
Wien, 27.-29. September 1995, Proceedings. GMD-Studien Nr. 270},
pages = {217--226},
year = {1995},
timestamp = {Thu, 21 Mar 2019 11:27:24 +0100},
biburl = {https://dblp.org/rec/conf/wlp/EiterL95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/LeonePR94,
author = {Nicola Leone and
Luigi Palopoli and
Massimo Romeo},
title = {Modifying Intensional Logic Knowledge},
journal = {Fundam. Informaticae},
volume = {21},
number = {3},
pages = {183--203},
year = {1994},
url = {https://doi.org/10.3233/FI-1994-2132},
doi = {10.3233/FI-1994-2132},
timestamp = {Mon, 18 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/LeonePR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/BuccafurriLR94,
author = {Francesco Buccafurri and
Nicola Leone and
Pasquale Rullo},
editor = {Mar{\'{\i}}a Alpuente and
Roberto Barbuti and
Isidro Ramos},
title = {A non-deterministic semantics for ordered logic programs},
booktitle = {1994 Joint Conference on Declarative Programming, GULP-PRODE'94 Pe{\~{n}}iscola,
Spain, September 19-22, 1994, Volume 1},
pages = {449--463},
year = {1994},
timestamp = {Wed, 01 Dec 2004 15:33:38 +0100},
biburl = {https://dblp.org/rec/conf/agp/BuccafurriLR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sebd/AngiulliLMR94,
author = {Fabrizio Angiulli and
Nicola Leone and
Fabio Messina and
Massimo Romeo},
editor = {Sonia Bergamaschi and
Claudio Sartori and
Paolo Tiberio},
title = {Collegamento di Basi di Dati Orientate agli Oggetti a Basi di Dati
Relazionali Remote},
booktitle = {Atti del Secondo Convegno Nazionale "Sistemi Evoluti per Basi di Dati",
{SEBD} 1994, Rimini, Italy, 1994},
pages = {397--406},
publisher = {Editrice Esculapio Progetto Leonardo, via U. Terracini, 30, 40131
Bologna},
year = {1994},
timestamp = {Sat, 05 Nov 2016 11:53:38 +0100},
biburl = {https://dblp.org/rec/conf/sebd/AngiulliLMR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/LeoneR93,
author = {Nicola Leone and
Pasquale Rullo},
title = {Ordered Logic Programming with Sets},
journal = {J. Log. Comput.},
volume = {3},
number = {6},
pages = {621--642},
year = {1993},
url = {https://doi.org/10.1093/logcom/3.6.621},
doi = {10.1093/LOGCOM/3.6.621},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/LeoneR93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/LeoneR93,
author = {Nicola Leone and
Giuseppe Rossi},
title = {Well-Founded Semantics and Stratification for Ordered Logic Programs},
journal = {New Gener. Comput.},
volume = {12},
number = {1},
pages = {91--121},
year = {1993},
url = {https://doi.org/10.1007/BF03038273},
doi = {10.1007/BF03038273},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ngc/LeoneR93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/LeoneR93,
author = {Nicola Leone and
Pasquale Rullo},
editor = {Domenico Sacc{\`{a}}},
title = {Adding Set Terms to Ordered Logic Programs},
booktitle = {8th Italian Conference on Logic Programming, GULP'93, Gizzeria, Italy,
June 15-18, 1993},
pages = {87--100},
year = {1993},
timestamp = {Thu, 02 Dec 2004 11:00:44 +0100},
biburl = {https://dblp.org/rec/conf/agp/LeoneR93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismis/LeonePR93,
author = {Nicola Leone and
Luigi Palopoli and
Massimo Romeo},
editor = {Henryk Jan Komorowski and
Zbigniew W. Ras},
title = {Updating Logic Programs},
booktitle = {Methodologies for Intelligent Systems, 7th International Symposium,
{ISMIS} '93, Trondheim, Norway, June 15-18, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {689},
pages = {235--244},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56804-2\_22},
doi = {10.1007/3-540-56804-2\_22},
timestamp = {Mon, 18 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ismis/LeonePR93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sebd/LeoneMMS93,
author = {Nicola Leone and
Fabio Messina and
Tommaso Mostardi and
Carlo Siciliano},
editor = {Domenico Sacc{\`{a}}},
title = {Sincronizzazione e Ripristino di Transazioni Distribuite in un Sistema
Multidatabase},
booktitle = {Convegno SEBD'93, Proceedings of the Conference on Advanced Database
Systems (Atti del convegno su Sistemi Evoluti per Basi di Dati), {SEBD}
1993, Hotel Capo Suvero, Gizzeria, Italy, 14-16 June, 1993},
pages = {185--198},
publisher = {Mediterranean Press (via S. Pellico, 13 - Tel. 0984-465645 - 87030
Rende {(CS))}},
year = {1993},
timestamp = {Mon, 18 Jan 2016 11:07:09 +0100},
biburl = {https://dblp.org/rec/conf/sebd/LeoneMMS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:journals/lncs/LeoneRRS93,
author = {Nicola Leone and
Massimo Romeo and
Pasquale Rullo and
Domenico Sacc{\`{a}}},
editor = {Paolo Atzeni},
title = {Effective Implementation of Negation in Database Logic Query Languages},
booktitle = {{LOGIDATA+:} Deductive Databases with Complex Objects},
series = {Lecture Notes in Computer Science},
volume = {701},
pages = {159--175},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0021896},
doi = {10.1007/BFB0021896},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/journals/lncs/LeoneRRS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/LeoneR92,
author = {Nicola Leone and
Pasquale Rullo},
title = {An Efficient Strategy for the Bottom-up Evaluation of Datalog Queries},
journal = {Comput. J.},
volume = {35},
number = {Additional-Papers},
pages = {A519--A527},
year = {1992},
timestamp = {Tue, 11 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/LeoneR92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/is/LeoneR92,
author = {Nicola Leone and
Pasquale Rullo},
title = {Safe computation of the well-founded semantics of Datalog queries},
journal = {Inf. Syst.},
volume = {17},
number = {1},
pages = {17--31},
year = {1992},
url = {https://doi.org/10.1016/0306-4379(92)90003-6},
doi = {10.1016/0306-4379(92)90003-6},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/is/LeoneR92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tkde/GrecoLR92,
author = {Sergio Greco and
Nicola Leone and
Pasquale Rullo},
title = {{COMPLEX:} An Object-Oriented Logic Programming System},
journal = {{IEEE} Trans. Knowl. Data Eng.},
volume = {4},
number = {4},
pages = {344--359},
year = {1992},
url = {https://doi.org/10.1109/69.149930},
doi = {10.1109/69.149930},
timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tkde/GrecoLR92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/LeoneMRR92,
author = {Nicola Leone and
Antonella Mecchia and
Giuseppe Rossi and
Pasquale Rullo},
editor = {Pericles Loucopoulos},
title = {The Basic Query Machine of the {KIWIS} System},
booktitle = {Advanced Information Systems Engineering, CAiSE'92, Manchester, UK,
May 12-15, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {593},
pages = {632--650},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0035157},
doi = {10.1007/BFB0035157},
timestamp = {Sat, 07 Sep 2019 11:59:25 +0200},
biburl = {https://dblp.org/rec/conf/caise/LeoneMRR92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/LeoneR92,
author = {Nicola Leone and
Pasquale Rullo},
editor = {Bernd Neumann},
title = {Stable Model Semantics and its Computation for Ordered Logic Programs},
booktitle = {10th European Conference on Artificial Intelligence, {ECAI} 92, Vienna,
Austria, August 3-7, 1992. Proceedings},
pages = {92--96},
publisher = {John Wiley and Sons},
year = {1992},
timestamp = {Wed, 31 Jul 2019 08:44:58 +0200},
biburl = {https://dblp.org/rec/conf/ecai/LeoneR92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/AhlsenDJLLRRSTBCSVVV91,
author = {Matts Ahls{\'{e}}n and
Alessandro D'Atri and
Paul Johannesson and
Els Laenens and
Nicola Leone and
Pasquale Rullo and
P. Rossi and
Fran{\c{c}}ois Staes and
Laura Tarantino and
L. Van Beirendonck and
L. Van Cadsand and
W. Van Santvliet and
J. Vanslembrouck and
Brigitte Verdonk and
Dirk Vermeir},
editor = {Rudolf Andersen and
Janis A. Bubenko Jr. and
Arne S{\o}lvberg},
title = {The {KIWIS} Knowledge Base Management System},
booktitle = {Advanced Information Systems Engineering, CAiSE'91, Trondheim, Norway,
May 13-15, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {498},
pages = {79--97},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54059-8\_81},
doi = {10.1007/3-540-54059-8\_81},
timestamp = {Thu, 24 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/caise/AhlsenDJLLRRSTBCSVVV91.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-21 17:31 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:
