Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Giovambattista Ianni
@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} }
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.