Skip to content

Giovambattista Ianni

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

30

Venues

14

Active years

2000–2025

Best venue rank

A*

Where they publish

Papers

30 indexed papers, newest first.

YearVenueTitleAuthors
2025ICLPIterative ASP Pipelines: Enhancements for Robots Playing Mobile Games.Denise Angilica, Tayyab Ateeq, Giovambattista Ianni
2024ICWECombining Anti-typosquatting Techniques.Francesco Blefari, Angelo Furfaro, Giovambattista Ianni, Alessandro Viscomi
2024PADLRethinking Answer Set Programming Templates.Mario Alviano, Giovambattista Ianni, Francesco Pacenza, Jessica Zangari
2024PADLForget and Regeneration Techniques for Optimizing ASP-Based Stream Reasoning.Francesco Calimeri, Giovambattista Ianni, Francesco Pacenza, Simona Perri, Jessica Zangari
2023ICLPOn the impact of sensors update in declarative AI for videogames.Denise Angilica, Giorgio Michele De Giorgio, Giovambattista Ianni
2023KRFrom Vision to Execution: Enabling Knowledge Representation and Reasoning in Hybrid Intelligent Robots Playing Mobile Games.Denise Angilica, Mario Avolio, Giovanni Beraldi, Giovambattista Ianni, Francesco Pacenza
2023PADLIntegrating ASP-Based Incremental Reasoning in the Videogame Development Workflow (Application Paper).Denise Angilica, Giovambattista Ianni, Francesco Pacenza, Jessica Zangari
2022PPDPASP-based Multi-shot Reasoning via DLV2 with Incremental Grounding.Francesco Calimeri, Giovambattista Ianni, Francesco Pacenza, Simona Perri, Jessica Zangari
2013LPNMRThe Fourth Answer Set Programming Competition: Preliminary Report.Mario Alviano, Francesco Calimeri, Gnther Charwat, Minh Dao-Tran, Carmine Dodaro, Giovambattista Ianni, Thomas Krennwallner, Martin Kronegger, Johannes Oetsch, Andreas Pfandler, Jrg Phrer, Christoph Redl, Francesco Ricca, Patrik Schneider, Martin Schwengerer, Lara Katharina Spendier, Johannes Peter Wallner, Guohui Xiao
2013LPNMRVCWC: A Versioning Competition Workflow Compiler.Gnther Charwat, Giovambattista Ianni, Thomas Krennwallner, Martin Kronegger, Andreas Pfandler, Christoph Redl, Martin Schwengerer, Lara Katharina Spendier, Johannes Peter Wallner, Guohui Xiao
2013LPNMRActHEX: Implementing HEX Programs with Action Atoms.Michael Fink, Stefano Germano, Giovambattista Ianni, Christoph Redl, Peter Schller
2011LPNMRThe Third Answer Set Programming Competition: Preliminary Report of the System Competition Track.Francesco Calimeri, Giovambattista Ianni, Francesco Ricca, Mario Alviano, Annamaria Bria, Gelsomina Catalano, Susanna Cozza, Wolfgang Faber, Onofrio Febbraro, Nicola Leone, Marco Manna, Alessandra Martello, Claudio Panetta, Simona Perri, Kristian Reale, Maria Carmela Santoro, Marco Sirianni, Giorgio Terracina, Pierfrancesco Veltri
2011LPNMRPushing Efficient Evaluation of HEX Programs by Modular Decomposition.Thomas Eiter, Michael Fink, Giovambattista Ianni, Thomas Krennwallner, Peter Schller
2011LPNMRTowards a Policy Language for Managing Inconsistency in Multi-Context Systems.Thomas Eiter, Michael Fink, Giovambattista Ianni, Peter Schller
2010AAAIEnhancing ASP by Functions: Decidable Classes and Implementation Techniques.Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone
2010ICLPHEX Programs with Action Atoms.Selen Basol, Ozan Erdem, Michael Fink, Giovambattista Ianni
2009LPNMRMagic Sets for the Bottom-Up Evaluation of Finitely Recursive Programs.Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone
2009LPNMRAn ASP System with Functions, Lists, and Sets.Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone
2008ICLPComputable Functions in ASP: Theory and Implementation.Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone
2008ISAIMExploiting Conjunctive Queries in Description Logic Programs.Thomas Eiter, Thomas Krennwallner, Roman Schindlauer, Giovambattista Ianni
2006JELIADecidable Fragments of Logic Programming with Value Invention.Francesco Calimeri, Susanna Cozza, Giovambattista Ianni
2005IJCAIA Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer-Set Programming.Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits
2005LPNMRExternal Sources of Computation for Answer Set Solvers.Francesco Calimeri, Giovambattista Ianni
2005LPNMRData Integration: a Challenging ASP Application.Nicola Leone, Thomas Eiter, Wolfgang Faber, Michael Fink, Georg Gottlob, Luigi Granata, Gianluigi Greco, Edyta Kalka, Giovambattista Ianni, Domenico Lembo, Maurizio Lenzerini, Vincenzino Lio, Bartosz Nowicki, Riccardo Rosati, Marco Ruzzi, Witold Staniszkis, Giorgio Terracina
2005SIGMODThe INFOMIX system for advanced integration of incomplete and inconsistent data.Nicola Leone, Gianluigi Greco, Giovambattista Ianni, Vincenzino Lio, Giorgio Terracina, Thomas Eiter, Wolfgang Faber, Michael Fink, Georg Gottlob, Riccardo Rosati, Domenico Lembo, Maurizio Lenzerini, Marco Ruzzi, Edyta Kalka, Bartosz Nowicki, Witold Staniszkis
2004JELIAA System with Template Answer Set Programs.Francesco Calimeri, Giovambattista Ianni, Giuseppe Ielpa, Adriana Pietramala, Maria Carmela Santoro
2004LPARNonmonotonic Description Logic Programs: Implementation and Experiments.Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits
2004WWWAn agent system reasoning about the web and the user.Giovambattista Ianni, Francesco Ricca, Francesco Calimeri, Vincenzino Lio, Stefania Galizia
2002JELIAThe DLV System.Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Francesco Calimeri, Tina Dell'Armi, Thomas Eiter, Georg Gottlob, Giovambattista Ianni, Giuseppe Ielpa, Christoph Koch, Simona Perri, Axel Polleres
2000PODSComputational Properties of Metaquerying Problems.Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Giovambattista Ianni, Luigi Palopoli