BibTeX records: Giovambattista Ianni

download as .bib file

@inproceedings{DBLP:conf/padl/CalimeriIPPZ24,
  author       = {Francesco Calimeri and
                  Giovambattista Ianni and
                  Francesco Pacenza and
                  Simona Perri and
                  Jessica Zangari},
  editor       = {Martin Gebser and
                  Ilya Sergey},
  title        = {Forget and Regeneration Techniques for Optimizing ASP-Based Stream
                  Reasoning},
  booktitle    = {Practical Aspects of Declarative Languages - 26th International Symposium,
                  {PADL} 2024, London, UK, January 15-16, 2024, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14512},
  pages        = {1--17},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-52038-9\_1},
  doi          = {10.1007/978-3-031-52038-9\_1},
  timestamp    = {Fri, 26 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/padl/CalimeriIPPZ24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/AlvianoIPZ24,
  author       = {Mario Alviano and
                  Giovambattista Ianni and
                  Francesco Pacenza and
                  Jessica Zangari},
  editor       = {Martin Gebser and
                  Ilya Sergey},
  title        = {Rethinking Answer Set Programming Templates},
  booktitle    = {Practical Aspects of Declarative Languages - 26th International Symposium,
                  {PADL} 2024, London, UK, January 15-16, 2024, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14512},
  pages        = {82--99},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-52038-9\_6},
  doi          = {10.1007/978-3-031-52038-9\_6},
  timestamp    = {Fri, 26 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/padl/AlvianoIPZ24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/AngilicaGI23,
  author       = {Denise Angilica and
                  Stefano Germano and
                  Giovambattista Ianni},
  editor       = {Agostino Dovier and
                  Andrea Formisano},
  title        = {Domain-agnostic Procedural Content Generation Can Be Done Declaratively},
  booktitle    = {Proceedings of the 38th Italian Conference on Computational Logic,
                  Udine, Italy, June 21-23, 2023},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3428},
  publisher    = {CEUR-WS.org},
  year         = {2023},
  url          = {https://ceur-ws.org/Vol-3428/short1.pdf},
  timestamp    = {Wed, 05 Jul 2023 16:52:15 +0200},
  biburl       = {https://dblp.org/rec/conf/cilc/AngilicaGI23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/AngilicaGI23,
  author       = {Denise Angilica and
                  Giorgio Michele De Giorgio and
                  Giovambattista Ianni},
  editor       = {Joaqu{\'{\i}}n Arias and
                  Sotiris Batsakis and
                  Wolfgang Faber and
                  Gopal Gupta and
                  Francesco Pacenza and
                  Emmanuel Papadakis and
                  Livio Robaldo and
                  Kilian R{\"{u}}ckschlo{\ss} and
                  Elmer Salazar and
                  Zeynep G. Saribatur and
                  Ilias Tachmazidis and
                  Felix Weitk{\"{a}}mper and
                  Adam Z. Wyner},
  title        = {On the impact of sensors update in declarative {AI} for videogames},
  booktitle    = {Proceedings of the International Conference on Logic Programming 2023
                  Workshops co-located with the 39th International Conference on Logic
                  Programming {(ICLP} 2023), London, United Kingdom, July 9th and 10th,
                  2023},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3437},
  publisher    = {CEUR-WS.org},
  year         = {2023},
  url          = {https://ceur-ws.org/Vol-3437/paper11ASPOCP.pdf},
  timestamp    = {Mon, 18 Dec 2023 10:22:48 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/AngilicaGI23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/AngilicaABIP23,
  author       = {Denise Angilica and
                  Mario Avolio and
                  Giovanni Beraldi and
                  Giovambattista Ianni and
                  Francesco Pacenza},
  editor       = {Pierre Marquis and
                  Tran Cao Son and
                  Gabriele Kern{-}Isberner},
  title        = {From Vision to Execution: Enabling Knowledge Representation and Reasoning
                  in Hybrid Intelligent Robots Playing Mobile Games},
  booktitle    = {Proceedings of the 20th International Conference on Principles of
                  Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
                  September 2-8, 2023},
  pages        = {44--54},
  year         = {2023},
  url          = {https://doi.org/10.24963/kr.2023/5},
  doi          = {10.24963/KR.2023/5},
  timestamp    = {Tue, 05 Sep 2023 14:50:36 +0200},
  biburl       = {https://dblp.org/rec/conf/kr/AngilicaABIP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/AngilicaIPZ23,
  author       = {Denise Angilica and
                  Giovambattista Ianni and
                  Francesco Pacenza and
                  Jessica Zangari},
  editor       = {Michael Hanus and
                  Daniela Inclezan},
  title        = {Integrating ASP-Based Incremental Reasoning in the Videogame Development
                  Workflow (Application Paper)},
  booktitle    = {Practical Aspects of Declarative Languages - 25th International Symposium,
                  {PADL} 2023, Boston, MA, USA, January 16-17, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13880},
  pages        = {96--106},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-24841-2\_7},
  doi          = {10.1007/978-3-031-24841-2\_7},
  timestamp    = {Tue, 31 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/padl/AngilicaIPZ23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-06382,
  author       = {Mario Alviano and
                  Giovambattista Ianni and
                  Francesco Pacenza and
                  Jessica Zangari},
  title        = {Rethinking Answer Set Programming Templates},
  journal      = {CoRR},
  volume       = {abs/2307.06382},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2307.06382},
  doi          = {10.48550/ARXIV.2307.06382},
  eprinttype    = {arXiv},
  eprint       = {2307.06382},
  timestamp    = {Mon, 24 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2307-06382.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/AngilicaILP22,
  author       = {Denise Angilica and
                  Giovambattista Ianni and
                  Francesca A. Lisi and
                  Luca Pulina},
  editor       = {Riccardo De Benedictis and
                  Nicola Gatti and
                  Marco Maratea and
                  Andrea Micheli and
                  Aniello Murano and
                  Enrico Scala and
                  Luciano Serafini and
                  Ivan Serina and
                  Alessandro Umbrico and
                  Mauro Vallati},
  title        = {{AI} and Videogames: a "Drosophila" for Declarative Methods},
  booktitle    = {Proceedings of the 10th Italian workshop on Planning and Scheduling
                  {(IPS} 2022), {RCRA} Incontri {E} Confronti (RiCeRcA 2022), and the
                  workshop on Strategies, Prediction, Interaction, and Reasoning in
                  Italy {(SPIRIT} 2022) co-located with 21st International Conference
                  of the Italian Association for Artificial Intelligence (AIxIA 2022),
                  November 28 - December 2, 2022, University of Udine, Udine, Italy},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3345},
  publisher    = {CEUR-WS.org},
  year         = {2022},
  url          = {https://ceur-ws.org/Vol-3345/paper8\_RiCeRCa1.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:01 +0100},
  biburl       = {https://dblp.org/rec/conf/aiia/AngilicaILP22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cig/AngilicaIP22,
  author       = {Denise Angilica and
                  Giovambattista Ianni and
                  Francesco Pacenza},
  title        = {Declarative {AI} design in Unity using Answer Set Programming},
  booktitle    = {{IEEE} Conference on Games, CoG 2022, Beijing, China, August 21-24,
                  2022},
  pages        = {417--424},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.1109/CoG51982.2022.9893603},
  doi          = {10.1109/COG51982.2022.9893603},
  timestamp    = {Wed, 05 Oct 2022 14:41:54 +0200},
  biburl       = {https://dblp.org/rec/conf/cig/AngilicaIP22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/CalimeriIPPZ22,
  author       = {Francesco Calimeri and
                  Giovambattista Ianni and
                  Francesco Pacenza and
                  Simona Perri and
                  Jessica Zangari},
  title        = {ASP-based Multi-shot Reasoning via {DLV2} with Incremental Grounding},
  booktitle    = {{PPDP} 2022: 24th International Symposium on Principles and Practice
                  of Declarative Programming, Tbilisi, Georgia, September 20 - 22, 2022},
  pages        = {2:1--2:9},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3551357.3551371},
  doi          = {10.1145/3551357.3551371},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ppdp/CalimeriIPPZ22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@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/IanniPZ20,
  author       = {Giovambattista Ianni and
                  Francesco Pacenza and
                  Jessica Zangari},
  title        = {Incremental maintenance of overgrounded logic programs with tailored
                  simplifications},
  journal      = {Theory Pract. Log. Program.},
  volume       = {20},
  number       = {5},
  pages        = {719--734},
  year         = {2020},
  url          = {https://doi.org/10.1017/S147106842000040X},
  doi          = {10.1017/S147106842000040X},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tplp/IanniPZ20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2008-04108,
  author       = {Giovambattista Ianni and
                  Francesco Pacenza and
                  Jessica Zangari},
  title        = {Incremental maintenance of overgrounded logic programs with tailored
                  simplifications},
  journal      = {CoRR},
  volume       = {abs/2008.04108},
  year         = {2020},
  url          = {https://arxiv.org/abs/2008.04108},
  eprinttype    = {arXiv},
  eprint       = {2008.04108},
  timestamp    = {Fri, 14 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2008-04108.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/CalimeriIPPZ19,
  author       = {Francesco Calimeri and
                  Giovambattista Ianni and
                  Francesco Pacenza and
                  Simona Perri and
                  Jessica Zangari},
  title        = {Incremental Answer Set Programming with Overgrounding},
  journal      = {Theory Pract. Log. Program.},
  volume       = {19},
  number       = {5-6},
  pages        = {957--973},
  year         = {2019},
  url          = {https://doi.org/10.1017/S1471068419000292},
  doi          = {10.1017/S1471068419000292},
  timestamp    = {Thu, 13 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tplp/CalimeriIPPZ19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/AngilicaIP19,
  author       = {Denise Angilica and
                  Giovambattista Ianni and
                  Francesco Pacenza},
  editor       = {Mario Alviano and
                  Gianluigi Greco and
                  Francesco Scarcello},
  title        = {Tight Integration of Rule-Based Tools in Game Development},
  booktitle    = {AI*IA 2019 - Advances in Artificial Intelligence - XVIIIth International
                  Conference of the Italian Association for Artificial Intelligence,
                  Rende, Italy, November 19-22, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11946},
  pages        = {3--17},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-35166-3\_1},
  doi          = {10.1007/978-3-030-35166-3\_1},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aiia/AngilicaIP19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/IanniPZ19,
  author       = {Giovambattista Ianni and
                  Francesco Pacenza and
                  Jessica Zangari},
  editor       = {Alberto Casagrande and
                  Eugenio G. Omodeo},
  title        = {An Infrastructure for Multi-shot Reasoning with Incremental Grounding},
  booktitle    = {Proceedings of the 34th Italian Conference on Computational Logic,
                  Trieste, Italy, June 19-21, 2019},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2396},
  pages        = {269--278},
  publisher    = {CEUR-WS.org},
  year         = {2019},
  url          = {https://ceur-ws.org/Vol-2396/paper24.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:45 +0100},
  biburl       = {https://dblp.org/rec/conf/cilc/IanniPZ19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1909-07646,
  editor       = {Bart Bogaerts and
                  Esra Erdem and
                  Paul Fodor and
                  Andrea Formisano and
                  Giovambattista Ianni and
                  Daniela Inclezan and
                  Germ{\'{a}}n Vidal and
                  Alicia Villanueva and
                  Marina De Vos and
                  Fangkai Yang},
  title        = {Proceedings 35th International Conference on Logic Programming (Technical
                  Communications), {ICLP} 2019 Technical Communications, Las Cruces,
                  NM, USA, September 20-25, 2019},
  series       = {{EPTCS}},
  volume       = {306},
  year         = {2019},
  url          = {https://doi.org/10.4204/EPTCS.306},
  doi          = {10.4204/EPTCS.306},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1909-07646.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-09212,
  author       = {Francesco Calimeri and
                  Giovambattista Ianni and
                  Francesco Pacenza and
                  Simona Perri and
                  Jessica Zangari},
  title        = {Incremental Answer Set Programming with Overgrounding},
  journal      = {CoRR},
  volume       = {abs/1907.09212},
  year         = {2019},
  url          = {http://arxiv.org/abs/1907.09212},
  eprinttype    = {arXiv},
  eprint       = {1907.09212},
  timestamp    = {Tue, 30 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1907-09212.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-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/EiterGIKRSW18,
  author       = {Thomas Eiter and
                  Stefano Germano and
                  Giovambattista Ianni and
                  Tobias Kaminski and
                  Christoph Redl and
                  Peter Sch{\"{u}}ller and
                  Antonius Weinzierl},
  title        = {The {DLVHEX} System},
  journal      = {K{\"{u}}nstliche Intell.},
  volume       = {32},
  number       = {2-3},
  pages        = {187--189},
  year         = {2018},
  url          = {https://doi.org/10.1007/s13218-018-0535-y},
  doi          = {10.1007/S13218-018-0535-Y},
  timestamp    = {Tue, 14 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ki/EiterGIKRSW18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/CalimeriGIPPT18,
  author       = {Francesco Calimeri and
                  Stefano Germano and
                  Giovambattista Ianni and
                  Francesco Pacenza and
                  Armando Pezzimenti and
                  Andrea Tucci},
  editor       = {Chiara Ghidini and
                  Bernardo Magnini and
                  Andrea Passerini and
                  Paolo Traverso},
  title        = {Answer Set Programming for Declarative Content Specification: {A}
                  Scalable Partitioning-Based Approach},
  booktitle    = {AI*IA 2018 - Advances in Artificial Intelligence - XVIIth International
                  Conference of the Italian Association for Artificial Intelligence,
                  Trento, Italy, November 20-23, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11298},
  pages        = {225--237},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-03840-3\_17},
  doi          = {10.1007/978-3-030-03840-3\_17},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/aiia/CalimeriGIPPT18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/CalimeriGIPPZ18,
  author       = {Francesco Calimeri and
                  Stefano Germano and
                  Giovambattista Ianni and
                  Francesco Pacenza and
                  Simona Perri and
                  Jessica Zangari},
  editor       = {Christoph Benzm{\"{u}}ller and
                  Francesco Ricca and
                  Xavier Parent and
                  Dumitru Roman},
  title        = {Integrating Rule-Based {AI} Tools into Mainstream Game Development},
  booktitle    = {Rules and Reasoning - Second International Joint Conference, RuleML+RR
                  2018, Luxembourg, September 18-21, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11092},
  pages        = {310--317},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-99906-7\_23},
  doi          = {10.1007/978-3-319-99906-7\_23},
  timestamp    = {Tue, 31 Mar 2020 16:35:50 +0200},
  biburl       = {https://dblp.org/rec/conf/ruleml/CalimeriGIPPZ18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rweb/2017,
  editor       = {Giovambattista Ianni and
                  Domenico Lembo and
                  Leopoldo E. Bertossi and
                  Wolfgang Faber and
                  Birte Glimm and
                  Georg Gottlob and
                  Steffen Staab},
  title        = {Reasoning Web. Semantic Interoperability on the Web - 13th International
                  Summer School 2017, London, UK, July 7-11, 2017, Tutorial Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {10370},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-61033-7},
  doi          = {10.1007/978-3-319-61033-7},
  isbn         = {978-3-319-61032-0},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rweb/2017.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tciaig/CalimeriFGHIR0T16,
  author       = {Francesco Calimeri and
                  Michael Fink and
                  Stefano Germano and
                  Andreas Humenberger and
                  Giovambattista Ianni and
                  Christoph Redl and
                  Daria Stepanova and
                  Andrea Tucci and
                  Anton Wimmer},
  title        = {Angry-HEX: An Artificial Player for Angry Birds Based on Declarative
                  Knowledge Bases},
  journal      = {{IEEE} Trans. Comput. Intell. {AI} Games},
  volume       = {8},
  number       = {2},
  pages        = {128--139},
  year         = {2016},
  url          = {https://doi.org/10.1109/TCIAIG.2015.2509600},
  doi          = {10.1109/TCIAIG.2015.2509600},
  timestamp    = {Wed, 13 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tciaig/CalimeriFGHIR0T16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/EiterFIKRS16,
  author       = {Thomas Eiter and
                  Michael Fink and
                  Giovambattista Ianni and
                  Thomas Krennwallner and
                  Christoph Redl and
                  Peter Sch{\"{u}}ller},
  title        = {A model building framework for answer set programming with external
                  computations},
  journal      = {Theory Pract. Log. Program.},
  volume       = {16},
  number       = {4},
  pages        = {418--464},
  year         = {2016},
  url          = {https://doi.org/10.1017/S1471068415000113},
  doi          = {10.1017/S1471068415000113},
  timestamp    = {Thu, 13 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tplp/EiterFIKRS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpnmr/2015,
  editor       = {Francesco Calimeri and
                  Giovambattista Ianni and
                  Miroslaw Truszczynski},
  title        = {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},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-23264-5},
  doi          = {10.1007/978-3-319-23264-5},
  isbn         = {978-3-319-23263-8},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpnmr/2015.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/EiterFIKRS15,
  author       = {Thomas Eiter and
                  Michael Fink and
                  Giovambattista Ianni and
                  Thomas Krennwallner and
                  Christoph Redl and
                  Peter Sch{\"{u}}ller},
  title        = {A model building framework for Answer Set Programming with external
                  computations},
  journal      = {CoRR},
  volume       = {abs/1507.01451},
  year         = {2015},
  url          = {http://arxiv.org/abs/1507.01451},
  eprinttype    = {arXiv},
  eprint       = {1507.01451},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/EiterFIKRS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/CalimeriIR14,
  author       = {Francesco Calimeri and
                  Giovambattista Ianni and
                  Francesco Ricca},
  title        = {The third open answer set programming competition},
  journal      = {Theory Pract. Log. Program.},
  volume       = {14},
  number       = {1},
  pages        = {117--135},
  year         = {2014},
  url          = {https://doi.org/10.1017/S1471068412000105},
  doi          = {10.1017/S1471068412000105},
  timestamp    = {Thu, 13 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tplp/CalimeriIR14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/CalimeriFGIRW13,
  author       = {Francesco Calimeri and
                  Michael Fink and
                  Stefano Germano and
                  Giovambattista Ianni and
                  Christoph Redl and
                  Anton Wimmer},
  editor       = {Matteo Baldoni and
                  Federico Chesani and
                  Paola Mello and
                  Marco Montali},
  title        = {AngryHEX: an Artificial Player for Angry Birds Based on Declarative
                  Knowledge Bases},
  booktitle    = {Proceedings of the Workshop Popularize Artificial Intelligence co-located
                  with the 13th Conference of the Italian Association for Artificial
                  Intelligence (AI*IA 2013), Turin, Italy, December 5, 2013},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1107},
  pages        = {29--35},
  publisher    = {CEUR-WS.org},
  year         = {2013},
  url          = {https://ceur-ws.org/Vol-1107/paper10.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aiia/CalimeriFGIRW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ercimdl/CauteruccioI13,
  author       = {Francesco Cauteruccio and
                  Giovambattista Ianni},
  editor       = {Trond Aalberg and
                  Christos Papatheodorou and
                  Milena Dobreva and
                  Giannis Tsakonas and
                  Charles J. Farrugia},
  title        = {A Domain Meta-wrapper Using Seeds for Intelligent Author List Extraction
                  in the Domain of Scholarly Articles},
  booktitle    = {Research and Advanced Technology for Digital Libraries - International
                  Conference on Theory and Practice of Digital Libraries, {TPDL} 2013,
                  Valletta, Malta, September 22-26, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8092},
  pages        = {309--314},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40501-3\_31},
  doi          = {10.1007/978-3-642-40501-3\_31},
  timestamp    = {Fri, 27 Mar 2020 08:46:27 +0100},
  biburl       = {https://dblp.org/rec/conf/ercimdl/CauteruccioI13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/AlvianoCCDDIKKOPPRRSSSWX13,
  author       = {Mario Alviano and
                  Francesco Calimeri and
                  G{\"{u}}nther Charwat and
                  Minh Dao{-}Tran and
                  Carmine Dodaro and
                  Giovambattista Ianni and
                  Thomas Krennwallner and
                  Martin Kronegger and
                  Johannes Oetsch and
                  Andreas Pfandler and
                  J{\"{o}}rg P{\"{u}}hrer and
                  Christoph Redl and
                  Francesco Ricca and
                  Patrik Schneider and
                  Martin Schwengerer and
                  Lara Katharina Spendier and
                  Johannes Peter Wallner and
                  Guohui Xiao},
  editor       = {Pedro Cabalar and
                  Tran Cao Son},
  title        = {The Fourth Answer Set Programming Competition: Preliminary Report},
  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        = {42--53},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40564-8\_5},
  doi          = {10.1007/978-3-642-40564-8\_5},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpnmr/AlvianoCCDDIKKOPPRRSSSWX13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/CharwatIKKPRSSWX13,
  author       = {G{\"{u}}nther Charwat and
                  Giovambattista Ianni and
                  Thomas Krennwallner and
                  Martin Kronegger and
                  Andreas Pfandler and
                  Christoph Redl and
                  Martin Schwengerer and
                  Lara Katharina Spendier and
                  Johannes Peter Wallner and
                  Guohui Xiao},
  editor       = {Pedro Cabalar and
                  Tran Cao Son},
  title        = {{VCWC:} {A} Versioning Competition Workflow Compiler},
  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        = {233--238},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40564-8\_23},
  doi          = {10.1007/978-3-642-40564-8\_23},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpnmr/CharwatIKKPRSSWX13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/FinkGIRS13,
  author       = {Michael Fink and
                  Stefano Germano and
                  Giovambattista Ianni and
                  Christoph Redl and
                  Peter Sch{\"{u}}ller},
  editor       = {Pedro Cabalar and
                  Tran Cao Son},
  title        = {ActHEX: Implementing {HEX} Programs with Action Atoms},
  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        = {317--322},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40564-8\_31},
  doi          = {10.1007/978-3-642-40564-8\_31},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lpnmr/FinkGIRS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/CalimeriIKR12,
  author       = {Francesco Calimeri and
                  Giovambattista Ianni and
                  Thomas Krennwallner and
                  Francesco Ricca},
  title        = {The Answer Set Programming Competition},
  journal      = {{AI} Mag.},
  volume       = {33},
  number       = {4},
  pages        = {114--118},
  year         = {2012},
  url          = {https://doi.org/10.1609/aimag.v33i4.2448},
  doi          = {10.1609/AIMAG.V33I4.2448},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aim/CalimeriIKR12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1206-3111,
  author       = {Francesco Calimeri and
                  Giovambattista Ianni and
                  Francesco Ricca},
  title        = {The third open Answer Set Programming competition},
  journal      = {CoRR},
  volume       = {abs/1206.3111},
  year         = {2012},
  url          = {http://arxiv.org/abs/1206.3111},
  eprinttype    = {arXiv},
  eprint       = {1206.3111},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1206-3111.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/tocl/EiterILS11,
  author       = {Thomas Eiter and
                  Giovambattista Ianni and
                  Thomas Lukasiewicz and
                  Roman Schindlauer},
  title        = {Well-founded semantics for description logic programs in the semantic
                  web},
  journal      = {{ACM} Trans. Comput. Log.},
  volume       = {12},
  number       = {2},
  pages        = {11:1--11:41},
  year         = {2011},
  url          = {https://doi.org/10.1145/1877714.1877717},
  doi          = {10.1145/1877714.1877717},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tocl/EiterILS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/inap/EiterFIS11,
  author       = {Thomas Eiter and
                  Michael Fink and
                  Giovambattista Ianni and
                  Peter Sch{\"{u}}ller},
  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        = {The {IMPL} Policy Language for Managing Inconsistency in Multi-Context
                  Systems},
  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        = {3--26},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-41524-1\_1},
  doi          = {10.1007/978-3-642-41524-1\_1},
  timestamp    = {Sun, 02 Jun 2019 21:27:34 +0200},
  biburl       = {https://dblp.org/rec/conf/inap/EiterFIS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/EiterFIS11,
  author       = {Thomas Eiter and
                  Michael Fink and
                  Giovambattista Ianni and
                  Peter Sch{\"{u}}ller},
  editor       = {Alessandra Mileo and
                  Michael Fink},
  title        = {Towards a Policy Language for Managing Inconsistency in Multi-Context
                  Systems},
  booktitle    = {Proceedings of the 2nd Workshop on Logic-based Interpretation of Context:
                  Modelling and Applications, Vancouver, Canada, May 16, 2011},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {738},
  pages        = {23--35},
  publisher    = {CEUR-WS.org},
  year         = {2011},
  url          = {https://ceur-ws.org/Vol-738/eiter-etal.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:44 +0100},
  biburl       = {https://dblp.org/rec/conf/lpnmr/EiterFIS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/EiterFIKS11,
  author       = {Thomas Eiter and
                  Michael Fink and
                  Giovambattista Ianni and
                  Thomas Krennwallner and
                  Peter Sch{\"{u}}ller},
  editor       = {James P. Delgrande and
                  Wolfgang Faber},
  title        = {Pushing Efficient Evaluation of {HEX} Programs by Modular Decomposition},
  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        = {93--106},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-20895-9\_10},
  doi          = {10.1007/978-3-642-20895-9\_10},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/lpnmr/EiterFIKS11.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/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/iclp/BasolEFI10,
  author       = {Selen Basol and
                  Ozan Erdem and
                  Michael Fink and
                  Giovambattista Ianni},
  editor       = {Manuel V. Hermenegildo and
                  Torsten Schaub},
  title        = {{HEX} Programs with Action Atoms},
  booktitle    = {Technical Communications of the 26th International Conference on Logic
                  Programming, {ICLP} 2010, July 16-19, 2010, Edinburgh, Scotland, {UK}},
  series       = {LIPIcs},
  volume       = {7},
  pages        = {24--33},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2010},
  url          = {https://doi.org/10.4230/LIPIcs.ICLP.2010.24},
  doi          = {10.4230/LIPICS.ICLP.2010.24},
  timestamp    = {Tue, 11 Feb 2020 15:52:14 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/BasolEFI10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/IanniMPT09,
  author       = {Giovambattista Ianni and
                  Alessandra Martello and
                  Claudio Panetta and
                  Giorgio Terracina},
  title        = {Efficiently Querying {RDF(S)} Ontologies with Answer Set Programming},
  journal      = {J. Log. Comput.},
  volume       = {19},
  number       = {4},
  pages        = {671--695},
  year         = {2009},
  url          = {https://doi.org/10.1093/logcom/exn043},
  doi          = {10.1093/LOGCOM/EXN043},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/logcom/IanniMPT09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esws/IanniKMP09,
  author       = {Giovambattista Ianni and
                  Thomas Krennwallner and
                  Alessandra Martello and
                  Axel Polleres},
  editor       = {Lora Aroyo and
                  Paolo Traverso and
                  Fabio Ciravegna and
                  Philipp Cimiano and
                  Tom Heath and
                  Eero Hyv{\"{o}}nen and
                  Riichiro Mizoguchi and
                  Eyal Oren and
                  Marta Sabou and
                  Elena Simperl},
  title        = {A Rule System for Querying Persistent {RDFS} Data},
  booktitle    = {The Semantic Web: Research and Applications, 6th European Semantic
                  Web Conference, {ESWC} 2009, Heraklion, Crete, Greece, May 31-June
                  4, 2009, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5554},
  pages        = {857--862},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02121-3\_70},
  doi          = {10.1007/978-3-642-02121-3\_70},
  timestamp    = {Fri, 23 Jun 2023 11:56:12 +0200},
  biburl       = {https://dblp.org/rec/conf/esws/IanniKMP09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/EiterBDFIK09,
  author       = {Thomas Eiter and
                  Gerhard Brewka and
                  Minh Dao{-}Tran and
                  Michael Fink and
                  Giovambattista Ianni and
                  Thomas Krennwallner},
  editor       = {Silvio Ghilardi and
                  Roberto Sebastiani},
  title        = {Combining Nonmonotonic Knowledge Bases with External Sources},
  booktitle    = {Frontiers of Combining Systems, 7th International Symposium, FroCoS
                  2009, Trento, Italy, September 16-18, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5749},
  pages        = {18--42},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04222-5\_2},
  doi          = {10.1007/978-3-642-04222-5\_2},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/frocos/EiterBDFIK09.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/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/rweb/EiterIK09,
  author       = {Thomas Eiter and
                  Giovambattista Ianni and
                  Thomas Krennwallner},
  editor       = {Sergio Tessaris and
                  Enrico Franconi and
                  Thomas Eiter and
                  Claudio Gutierrez and
                  Siegfried Handschuh and
                  Marie{-}Christine Rousset and
                  Renate A. Schmidt},
  title        = {Answer Set Programming: {A} Primer},
  booktitle    = {Reasoning Web. Semantic Technologies for Information Systems, 5th
                  International Summer School 2009, Brixen-Bressanone, Italy, August
                  30 - September 4, 2009, Tutorial Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {5689},
  pages        = {40--110},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-03754-2\_2},
  doi          = {10.1007/978-3-642-03754-2\_2},
  timestamp    = {Thu, 10 Nov 2022 07:36:26 +0100},
  biburl       = {https://dblp.org/rec/conf/rweb/EiterIK09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/IanniKMP09,
  author       = {Giovambattista Ianni and
                  Thomas Krennwallner and
                  Alessandra Martello and
                  Axel Polleres},
  editor       = {Abraham Bernstein and
                  David R. Karger and
                  Tom Heath and
                  Lee Feigenbaum and
                  Diana Maynard and
                  Enrico Motta and
                  Krishnaprasad Thirunarayan},
  title        = {Dynamic Querying of Mass-Storage {RDF} Data with Rule-Based Entailment
                  Regimes},
  booktitle    = {The Semantic Web - {ISWC} 2009, 8th International Semantic Web Conference,
                  {ISWC} 2009, Chantilly, VA, USA, October 25-29, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5823},
  pages        = {310--327},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04930-9\_20},
  doi          = {10.1007/978-3-642-04930-9\_20},
  timestamp    = {Tue, 07 Sep 2021 13:47:49 +0200},
  biburl       = {https://dblp.org/rec/conf/semweb/IanniKMP09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/DrabentEIKLM09,
  author       = {Wlodzimierz Drabent and
                  Thomas Eiter and
                  Giovambattista Ianni and
                  Thomas Krennwallner and
                  Thomas Lukasiewicz and
                  Jan Maluszynski},
  editor       = {Fran{\c{c}}ois Bry and
                  Jan Maluszynski},
  title        = {Hybrid Reasoning with Rules and Ontologies},
  booktitle    = {Semantic Techniques for the Web, The {REWERSE} Perspective},
  series       = {Lecture Notes in Computer Science},
  volume       = {5500},
  pages        = {1--49},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04581-3\_1},
  doi          = {10.1007/978-3-642-04581-3\_1},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/lncs/DrabentEIKLM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/EiterILST08,
  author       = {Thomas Eiter and
                  Giovambattista Ianni and
                  Thomas Lukasiewicz and
                  Roman Schindlauer and
                  Hans Tompits},
  title        = {Combining answer set programming with description logics for the Semantic
                  Web},
  journal      = {Artif. Intell.},
  volume       = {172},
  number       = {12-13},
  pages        = {1495--1539},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.artint.2008.04.002},
  doi          = {10.1016/J.ARTINT.2008.04.002},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/EiterILST08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/EiterIKS08,
  author       = {Thomas Eiter and
                  Giovambattista Ianni and
                  Thomas Krennwallner and
                  Roman Schindlauer},
  title        = {Exploiting conjunctive queries in description logic programs},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {53},
  number       = {1-4},
  pages        = {115--152},
  year         = {2008},
  url          = {https://doi.org/10.1007/s10472-009-9111-3},
  doi          = {10.1007/S10472-009-9111-3},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/amai/EiterIKS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aswc/AlvianoIMM08,
  author       = {Mario Alviano and
                  Giovambattista Ianni and
                  Marco Marano and
                  Alessandra Martello},
  editor       = {John Domingue and
                  Chutiporn Anutariya},
  title        = {Versatile Semantic Modeling of Frame Logic Programs under Answer Set
                  Semantics},
  booktitle    = {The Semantic Web, 3rd Asian Semantic Web Conference, {ASWC} 2008,
                  Bangkok, Thailand, December 8-11, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5367},
  pages        = {106--121},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-89704-0\_8},
  doi          = {10.1007/978-3-540-89704-0\_8},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/aswc/AlvianoIMM08.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    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/iclp/CalimeriCIL08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaim/EiterKSI08,
  author       = {Thomas Eiter and
                  Thomas Krennwallner and
                  Roman Schindlauer and
                  Giovambattista Ianni},
  title        = {Exploiting Conjunctive Queries in Description Logic Programs},
  booktitle    = {International Symposium on Artificial Intelligence and Mathematics,
                  {ISAIM} 2008, Fort Lauderdale, Florida, USA, January 2-4, 2008},
  year         = {2008},
  url          = {http://isaim2008.unl.edu/PAPERS/SS1-AI+Logic/TEiter-ss1.pdf},
  timestamp    = {Thu, 12 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isaim/EiterKSI08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rweb/EiterIKP08,
  author       = {Thomas Eiter and
                  Giovambattista Ianni and
                  Thomas Krennwallner and
                  Axel Polleres},
  editor       = {Cristina Baroglio and
                  Piero A. Bonatti and
                  Jan Maluszynski and
                  Massimo Marchiori and
                  Axel Polleres and
                  Sebastian Schaffert},
  title        = {Rules and Ontologies for the Semantic Web},
  booktitle    = {Reasoning Web, 4th International Summer School 2008, Venice, Italy,
                  September 7-11, 2008, Tutorial Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {5224},
  pages        = {1--53},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-85658-0\_1},
  doi          = {10.1007/978-3-540-85658-0\_1},
  timestamp    = {Tue, 14 May 2019 10:00:55 +0200},
  biburl       = {https://dblp.org/rec/conf/rweb/EiterIKP08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/CalimeriCI07,
  author       = {Francesco Calimeri and
                  Susanna Cozza and
                  Giovambattista Ianni},
  title        = {External sources of knowledge and value invention in logic programming},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {50},
  number       = {3-4},
  pages        = {333--361},
  year         = {2007},
  url          = {https://doi.org/10.1007/s10472-007-9076-z},
  doi          = {10.1007/S10472-007-9076-Z},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/CalimeriCI07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/EiterIKS07,
  author       = {Thomas Eiter and
                  Giovambattista Ianni and
                  Thomas Krennwallner and
                  Roman Schindlauer},
  editor       = {Diego Calvanese and
                  Enrico Franconi and
                  Volker Haarslev and
                  Domenico Lembo and
                  Boris Motik and
                  Anni{-}Yasmin Turhan and
                  Sergio Tessaris},
  title        = {Exploiting Conjunctive Queries in Description Logic Programs},
  booktitle    = {Proceedings of the 2007 International Workshop on Description Logics
                  (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June,
                  2007},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {250},
  publisher    = {CEUR-WS.org},
  year         = {2007},
  url          = {https://ceur-ws.org/Vol-250/paper\_64.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:17 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/EiterIKS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/swap/IanniMPT07,
  author       = {Giovambattista Ianni and
                  Alessandra Martello and
                  Claudio Panetta and
                  Giorgio Terracina},
  editor       = {Giovanni Semeraro and
                  Eugenio Di Sciascio and
                  Christian Morbidoni and
                  Heiko Stoermer},
  title        = {Some Experiments on the Usage of a Deductive Database for {RDFS} Querying
                  and Reasoning},
  booktitle    = {Proceedings of the 4th Italian Semantic Web Workshop, Dipartimento
                  di Informatica - Universita' degli Studi di Bari - Italy, 18-20 December,
                  2007},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {314},
  publisher    = {CEUR-WS.org},
  year         = {2007},
  url          = {https://ceur-ws.org/Vol-314/53.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:20 +0100},
  biburl       = {https://dblp.org/rec/conf/swap/IanniMPT07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/CalimeriI06,
  author       = {Francesco Calimeri and
                  Giovambattista Ianni},
  title        = {Template programs for Disjunctive Logic Programming: An operational
                  semantics},
  journal      = {{AI} Commun.},
  volume       = {19},
  number       = {3},
  pages        = {193--206},
  year         = {2006},
  url          = {http://content.iospress.com/articles/ai-communications/aic373},
  timestamp    = {Thu, 21 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/aicom/CalimeriI06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esws/EiterIST06,
  author       = {Thomas Eiter and
                  Giovambattista Ianni and
                  Roman Schindlauer and
                  Hans Tompits},
  editor       = {York Sure and
                  John Domingue},
  title        = {Effective Integration of Declarative Rules with External Evaluations
                  for Semantic-Web Reasoning},
  booktitle    = {The Semantic Web: Research and Applications, 3rd European Semantic
                  Web Conference, {ESWC} 2006, Budva, Montenegro, June 11-14, 2006,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4011},
  pages        = {273--287},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11762256\_22},
  doi          = {10.1007/11762256\_22},
  timestamp    = {Fri, 25 Dec 2020 01:15:10 +0100},
  biburl       = {https://dblp.org/rec/conf/esws/EiterIST06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/CalimeriCI06,
  author       = {Francesco Calimeri and
                  Susanna Cozza and
                  Giovambattista Ianni},
  editor       = {Michael Fisher and
                  Wiebe van der Hoek and
                  Boris Konev and
                  Alexei Lisitsa},
  title        = {Decidable Fragments of Logic Programming with Value Invention},
  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        = {95--110},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11853886\_10},
  doi          = {10.1007/11853886\_10},
  timestamp    = {Fri, 03 Jun 2022 08:18:13 +0200},
  biburl       = {https://dblp.org/rec/conf/jelia/CalimeriCI06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rweb/EiterIPST06,
  author       = {Thomas Eiter and
                  Giovambattista Ianni and
                  Axel Polleres and
                  Roman Schindlauer and
                  Hans Tompits},
  editor       = {Pedro Barahona and
                  Fran{\c{c}}ois Bry and
                  Enrico Franconi and
                  Nicola Henze and
                  Ulrike Sattler},
  title        = {Reasoning with Rules and Ontologies},
  booktitle    = {Reasoning Web, Second International Summer School 2006, Lisbon, Portugal,
                  September 4-8, 2006, Tutorial Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {4126},
  pages        = {93--127},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11837787\_4},
  doi          = {10.1007/11837787\_4},
  timestamp    = {Tue, 14 May 2019 10:00:55 +0200},
  biburl       = {https://dblp.org/rec/conf/rweb/EiterIPST06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/webi/EiterISTW06,
  author       = {Thomas Eiter and
                  Giovambattista Ianni and
                  Roman Schindlauer and
                  Hans Tompits and
                  Kewen Wang},
  title        = {Forgetting in Managing Rules and Ontologies},
  booktitle    = {2006 {IEEE} / {WIC} / {ACM} International Conference on Web Intelligence
                  {(WI} 2006), 18-22 December 2006, Hong Kong, China},
  pages        = {411--419},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/WI.2006.83},
  doi          = {10.1109/WI.2006.83},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/webi/EiterISTW06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/webi/GrecoILP06,
  author       = {Gianluigi Greco and
                  Giovambattista Ianni and
                  Vincenzino Lio and
                  Luigi Palopoli},
  title        = {Protection Techniques from Information Extraction},
  booktitle    = {2006 {IEEE} / {WIC} / {ACM} International Conference on Web Intelligence
                  {(WI} 2006), 18-22 December 2006, Hong Kong, China},
  pages        = {1029--1033},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/WI.2006.138},
  doi          = {10.1109/WI.2006.138},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/webi/GrecoILP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/webi/EiterIST06,
  author       = {Thomas Eiter and
                  Giovambattista Ianni and
                  Roman Schindlauer and
                  Hans Tompits},
  title        = {dlvhex: {A} Prover for Semantic-Web Reasoning under the Answer-Set
                  Semantics},
  booktitle    = {2006 {IEEE} / {WIC} / {ACM} International Conference on Web Intelligence
                  {(WI} 2006), 18-22 December 2006, Hong Kong, China},
  pages        = {1073--1074},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/WI.2006.64},
  doi          = {10.1109/WI.2006.64},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/webi/EiterIST06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wlp/EiterIST06,
  author       = {Thomas Eiter and
                  Giovambattista Ianni and
                  Roman Schindlauer and
                  Hans Tompits},
  editor       = {Michael Fink and
                  Hans Tompits and
                  Stefan Woltran},
  title        = {dlvhex: {A} System for Integrating Multiple Semantics in an Answer-Set
                  Programming Framework},
  booktitle    = {20th Workshop on Logic Programming, Vienna, Austria, February 22--24,
                  2006},
  series       = {{INFSYS} Research Report},
  volume       = {1843-06-02},
  pages        = {206--210},
  publisher    = {Technische Universit{\"{a}}t Wien, Austria},
  year         = {2006},
  url          = {http://www.kr.tuwien.ac.at/wlp06/S02-final.ps.gz},
  timestamp    = {Thu, 16 Nov 2017 07:57:26 +0100},
  biburl       = {https://dblp.org/rec/conf/wlp/EiterIST06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asp/IanniPR05,
  author       = {Giovambattista Ianni and
                  Claudio Panetta and
                  Francesco Ricca},
  editor       = {Marina De Vos and
                  Alessandro Provetti},
  title        = {Specification of Assessment-test Criteria through {ASP} Specifications},
  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/page293.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:21 +0100},
  biburl       = {https://dblp.org/rec/conf/asp/IanniPR05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/EiterIST05,
  author       = {Thomas Eiter and
                  Giovambattista Ianni and
                  Roman Schindlauer and
                  Hans Tompits},
  editor       = {Leslie Pack Kaelbling and
                  Alessandro Saffiotti},
  title        = {A Uniform Integration of Higher-Order Reasoning and External Evaluations
                  in Answer-Set Programming},
  booktitle    = {IJCAI-05, Proceedings of the Nineteenth International Joint Conference
                  on Artificial Intelligence, Edinburgh, Scotland, UK, July 30 - August
                  5, 2005},
  pages        = {90--96},
  publisher    = {Professional Book Center},
  year         = {2005},
  url          = {http://ijcai.org/Proceedings/05/Papers/1353.pdf},
  timestamp    = {Tue, 20 Aug 2019 16:16:29 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/EiterIST05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/CalimeriI05,
  author       = {Francesco Calimeri and
                  Giovambattista Ianni},
  editor       = {Chitta Baral and
                  Gianluigi Greco and
                  Nicola Leone and
                  Giorgio Terracina},
  title        = {External Sources of Computation for Answer Set Solvers},
  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        = {105--118},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11546207\_9},
  doi          = {10.1007/11546207\_9},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/lpnmr/CalimeriI05.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/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}
}
@article{DBLP:journals/tcs/AngiulliIP04,
  author       = {Fabrizio Angiulli and
                  Giovambattista Ianni and
                  Luigi Palopoli},
  title        = {On the complexity of inducing categorical and quantitative association
                  rules},
  journal      = {Theor. Comput. Sci.},
  volume       = {314},
  number       = {1-2},
  pages        = {217--249},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.tcs.2003.12.017},
  doi          = {10.1016/J.TCS.2003.12.017},
  timestamp    = {Mon, 18 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/AngiulliIP04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/CalimeriIIPS04,
  author       = {Francesco Calimeri and
                  Giovambattista Ianni and
                  Giuseppe Ielpa and
                  Adriana Pietramala and
                  Maria Carmela Santoro},
  editor       = {Jos{\'{e}} J{\'{u}}lio Alferes and
                  Jo{\~{a}}o Alexandre Leite},
  title        = {A System with Template Answer Set Programs},
  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        = {693--697},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30227-8\_59},
  doi          = {10.1007/978-3-540-30227-8\_59},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/jelia/CalimeriIIPS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/EiterIST04,
  author       = {Thomas Eiter and
                  Giovambattista Ianni and
                  Roman Schindlauer and
                  Hans Tompits},
  editor       = {Franz Baader and
                  Andrei Voronkov},
  title        = {Nonmonotonic Description Logic Programs: Implementation and Experiments},
  booktitle    = {Logic for Programming, Artificial Intelligence, and Reasoning, 11th
                  International Conference, {LPAR} 2004, Montevideo, Uruguay, March
                  14-18, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3452},
  pages        = {511--527},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-32275-7\_34},
  doi          = {10.1007/978-3-540-32275-7\_34},
  timestamp    = {Tue, 14 May 2019 10:00:55 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/EiterIST04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/IanniIPSC04,
  author       = {Giovambattista Ianni and
                  Giuseppe Ielpa and
                  Adriana Pietramala and
                  Maria Carmela Santoro and
                  Francesco Calimeri},
  editor       = {James P. Delgrande and
                  Torsten Schaub},
  title        = {Enhancing answer set programming with templates},
  booktitle    = {10th International Workshop on Non-Monotonic Reasoning {(NMR} 2004),
                  Whistler, Canada, June 6-8, 2004, Proceedings},
  pages        = {233--239},
  year         = {2004},
  url          = {http://www.pims.math.ca/science/2004/NMR/papers/paper31.pdf},
  timestamp    = {Thu, 21 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/nmr/IanniIPSC04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/IanniRCLG04,
  author       = {Giovambattista Ianni and
                  Francesco Ricca and
                  Francesco Calimeri and
                  Vincenzino Lio and
                  Stefania Galizia},
  editor       = {Stuart I. Feldman and
                  Mike Uretsky and
                  Marc Najork and
                  Craig E. Wills},
  title        = {An agent system reasoning about the web and the user},
  booktitle    = {Proceedings of the 13th international conference on World Wide Web
                  - Alternate Track Papers {\&} Posters, {WWW} 2004, New York, NY,
                  USA, May 17-20, 2004},
  pages        = {492--493},
  publisher    = {{ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1145/1013367.1013541},
  doi          = {10.1145/1013367.1013541},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/www/IanniRCLG04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-AI-0404011,
  author       = {Giovambattista Ianni and
                  Francesco Calimeri and
                  Adriana Pietramala and
                  Maria Carmela Santoro},
  title        = {Parametric external predicates for the {DLV} System},
  journal      = {CoRR},
  volume       = {cs.AI/0404011},
  year         = {2004},
  url          = {http://arxiv.org/abs/cs/0404011},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-AI-0404011.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/Ben-Eliyahu-ZoharyGI03,
  author       = {Rachel Ben{-}Eliyahu{-}Zohary and
                  Ehud Gudes and
                  Giovambattista Ianni},
  title        = {Metaqueries: Semantics, complexity, and efficient algorithms},
  journal      = {Artif. Intell.},
  volume       = {149},
  number       = {1},
  pages        = {61--87},
  year         = {2003},
  url          = {https://doi.org/10.1016/S0004-3702(03)00073-0},
  doi          = {10.1016/S0004-3702(03)00073-0},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/Ben-Eliyahu-ZoharyGI03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/AngiulliBIP03,
  author       = {Fabrizio Angiulli and
                  Rachel Ben{-}Eliyahu{-}Zohary and
                  Giovambattista Ianni and
                  Luigi Palopoli},
  title        = {Computational properties of metaquerying problems},
  journal      = {{ACM} Trans. Comput. Log.},
  volume       = {4},
  number       = {2},
  pages        = {149--180},
  year         = {2003},
  url          = {https://doi.org/10.1145/635499.635501},
  doi          = {10.1145/635499.635501},
  timestamp    = {Mon, 18 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tocl/AngiulliBIP03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/IanniCLG03,
  author       = {Giovambattista Ianni and
                  Francesco Calimeri and
                  Vincenzino Lio and
                  Stefania Galizia},
  editor       = {Francesco Buccafurri},
  title        = {Reasoning about the Semantic Web using Answer Set Programming},
  booktitle    = {2003 Joint Conference on Declarative Programming, AGP-2003, Reggio
                  Calabria, Italy, September 3-5, 2003},
  pages        = {324--336},
  year         = {2003},
  timestamp    = {Wed, 01 Dec 2004 15:29:03 +0100},
  biburl       = {https://dblp.org/rec/conf/agp/IanniCLG03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asp/IanniIPS03,
  author       = {Giovambattista Ianni and
                  Giuseppe Ielpa and
                  Adriana Pietramala and
                  Maria Carmela Santoro},
  editor       = {Marina De Vos and
                  Alessandro Provetti},
  title        = {Answer Set Programming with Templates},
  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-ianni.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:21 +0100},
  biburl       = {https://dblp.org/rec/conf/asp/IanniIPS03.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}
}
@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/aicom/Ianni01,
  author       = {Giovambattista Ianni},
  title        = {Intelligent anticipated exploration of Web sites},
  journal      = {{AI} Commun.},
  volume       = {14},
  number       = {4},
  pages        = {197--214},
  year         = {2001},
  url          = {http://content.iospress.com/articles/ai-communications/aic248},
  timestamp    = {Fri, 15 May 2015 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aicom/Ianni01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itcc/CastellucciIVC01,
  author       = {Antony Castellucci and
                  Giovambattista Ianni and
                  Domenico Vasile and
                  Sebastiano Costa},
  title        = {Searching and Surfing the Web Using a Semi-Adaptive Meta-Engine},
  booktitle    = {2001 International Symposium on Information Technology {(ITCC} 2001),
                  2-4 April 2001, Las Vegas, NV, {USA}},
  pages        = {416--420},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/ITCC.2001.918832},
  doi          = {10.1109/ITCC.2001.918832},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/itcc/CastellucciIVC01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sebd/AngiulliIP01,
  author       = {Fabrizio Angiulli and
                  Giovambattista Ianni and
                  Luigi Palopoli},
  editor       = {Augusto Celentano and
                  Letizia Tanca and
                  Paolo Tiberio},
  title        = {On the Complexity of Mining Association Rules},
  booktitle    = {Nono Convegno Nazionale Sistemi Evoluti per Basi di Dati, {SEBD} 2001,
                  Venezia, Italy, 27-29 Giugno 2001},
  pages        = {177--184},
  year         = {2001},
  timestamp    = {Mon, 18 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sebd/AngiulliIP01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-AI-0111012,
  author       = {Giovambattista Ianni},
  title        = {Intelligent Anticipated Exploration of Web Sites},
  journal      = {CoRR},
  volume       = {cs.AI/0111012},
  year         = {2001},
  url          = {https://arxiv.org/abs/cs/0111012},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-AI-0111012.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-CC-0111009,
  author       = {Fabrizio Angiulli and
                  Giovambattista Ianni and
                  Luigi Palopoli},
  title        = {On the complexity of inducing categorical and quantitative association
                  rules},
  journal      = {CoRR},
  volume       = {cs.CC/0111009},
  year         = {2001},
  url          = {https://arxiv.org/abs/cs/0111009},
  timestamp    = {Mon, 18 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/cs-CC-0111009.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-DB-0106012,
  author       = {Fabrizio Angiulli and
                  Rachel Ben{-}Eliyahu{-}Zohary and
                  Giovambattista Ianni and
                  Luigi Palopoli},
  title        = {Computational Properties of Metaquerying Problems},
  journal      = {CoRR},
  volume       = {cs.DB/0106012},
  year         = {2001},
  url          = {https://arxiv.org/abs/cs/0106012},
  timestamp    = {Mon, 18 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/cs-DB-0106012.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/corr/cs-LO-0111011,
  author       = {Giovambattista Ianni},
  title        = {Sintesi di algoritmi con {SKY}},
  journal      = {CoRR},
  volume       = {cs.LO/0111011},
  year         = {2001},
  url          = {https://arxiv.org/abs/cs/0111011},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-LO-0111011.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/CadoliIPSV00,
  author       = {Marco Cadoli and
                  Giovambattista Ianni and
                  Luigi Palopoli and
                  Andrea Schaerf and
                  Domenico Vasile},
  title        = {{NP-SPEC:} an executable specification language for solving all problems
                  in {NP}},
  journal      = {Comput. Lang.},
  volume       = {26},
  number       = {2-4},
  pages        = {165--195},
  year         = {2000},
  url          = {https://doi.org/10.1016/S0096-0551(01)00010-8},
  doi          = {10.1016/S0096-0551(01)00010-8},
  timestamp    = {Mon, 18 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cl/CadoliIPSV00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/AngiulliBIP00,
  author       = {Fabrizio Angiulli and
                  Rachel Ben{-}Eliyahu{-}Zohary and
                  Giovambattista Ianni and
                  Luigi Palopoli},
  editor       = {Victor Vianu and
                  Georg Gottlob},
  title        = {Computational Properties of Metaquerying Problems},
  booktitle    = {Proceedings of the Nineteenth {ACM} {SIGMOD-SIGACT-SIGART} Symposium
                  on Principles of Database Systems, May 15-17, 2000, Dallas, Texas,
                  {USA}},
  pages        = {237--244},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/335168.335227},
  doi          = {10.1145/335168.335227},
  timestamp    = {Mon, 18 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pods/AngiulliBIP00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sebd/AngiulliIP00,
  author       = {Fabrizio Angiulli and
                  Giovambattista Ianni and
                  Luigi Palopoli},
  title        = {Metaquerying: propriet{\`{a}} e tecniche di implementazione},
  booktitle    = {Ottavo Convegno Nazionale su Sistemi Evoluti per Basi di Dati, {SEBD}
                  2000, Palazzo dell'Emiciclo, L'Aquila, Italy, 26-28 Giugno 2000},
  pages        = {317--330},
  year         = {2000},
  timestamp    = {Mon, 18 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sebd/AngiulliIP00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics