Metaquerying: proprietà e tecniche di implementazione. - Fabrizio Angiulli; Giovambattista Ianni; Luigi Palopoli 001 (SEBD, 2000)

NP-SPEC: an executable specification language for solving all problems in NP. - Marco Cadoli; Giovambattista Ianni; Luigi Palopoli 001; Andrea Schaerf; Domenico Vasile (Comput. Lang., 2000)

Searching and Surfing the Web Using a Semi-Adaptive Meta-Engine. - Antony Castellucci; Giovambattista Ianni; Domenico Vasile; Sebastiano Costa (ITCC, 2001)

On the Complexity of Mining Association Rules. - Fabrizio Angiulli; Giovambattista Ianni; Luigi Palopoli 001 (SEBD, 2001)

Intelligent anticipated exploration of Web sites. - Giovambattista Ianni (AI Commun., 2001)

Abduction with Penalization in Logic Programming - Giovambattista Ianni; Nicola Leone; Simona Perri; Francesco Scarcello (CoRR, 2001)

Sintesi di algoritmi con SKY - Giovambattista Ianni (CoRR, 2001)

The DLV System. - Nicola Leone; Gerald Pfeifer; Wolfgang Faber 001; Francesco Calimeri; Tina Dell'Armi; Thomas Eiter; Georg Gottlob; Giovambattista Ianni; Giuseppe Ielpa; Christoph Koch 001; Simona Perri; Axel Polleres (JELIA, 2002)

Reasoning about the Semantic Web using Answer Set Programming. - Giovambattista Ianni; Francesco Calimeri; Vincenzino Lio; Stefania Galizia (APPIA-GULP-PRODE, 2003)

Answer Set Programming with Templates. - Giovambattista Ianni; Giuseppe Ielpa; Adriana Pietramala; Maria Carmela Santoro (Answer Set Programming, 2003)

Metaqueries: Semantics, complexity, and efficient algorithms. - Rachel Ben-Eliyahu-Zohary; Ehud Gudes; Giovambattista Ianni (Artif. Intell., 2003)

Computational properties of metaquerying problems. - Fabrizio Angiulli; Rachel Ben-Eliyahu-Zohary; Giovambattista Ianni; Luigi Palopoli 001 (ACM Trans. Comput. Log., 2003)

A System with Template Answer Set Programs. - Francesco Calimeri; Giovambattista Ianni; Giuseppe Ielpa; Adriana Pietramala; Maria Carmela Santoro (JELIA, 2004)

Nonmonotonic Description Logic Programs: Implementation and Experiments. - Thomas Eiter; Giovambattista Ianni; Roman Schindlauer; Hans Tompits (LPAR, 2004)

Enhancing answer set programming with templates. - Giovambattista Ianni; Giuseppe Ielpa; Adriana Pietramala; Maria Carmela Santoro; Francesco Calimeri (NMR, 2004)

An agent system reasoning about the web and the user. - Giovambattista Ianni; Francesco Ricca; Francesco Calimeri; Vincenzino Lio; Stefania Galizia (WWW (Alternate Track Papers & Posters), 2004)

Parametric external predicates for the DLV System - Giovambattista Ianni; Francesco Calimeri; Adriana Pietramala; Maria Carmela Santoro (CoRR, 2004)

On the complexity of inducing categorical and quantitative association rules. - Fabrizio Angiulli; Giovambattista Ianni; Luigi Palopoli 001 (Theor. Comput. Sci., 2004)

Specification of Assessment-test Criteria through ASP Specifications. - Giovambattista Ianni; Claudio Panetta; Francesco Ricca (Answer Set Programming, 2005)

A Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer-Set Programming. - Thomas Eiter; Giovambattista Ianni; Roman Schindlauer; Hans Tompits (IJCAI, 2005)

External Sources of Computation for Answer Set Solvers. - Francesco Calimeri; Giovambattista Ianni (LPNMR, 2005)

Data Integration: a Challenging ASP Application. - Nicola Leone; Thomas Eiter; Wolfgang Faber 001; Michael Fink 001; Georg Gottlob; Luigi Granata; Gianluigi Greco; Edyta Kalka; Giovambattista Ianni; Domenico Lembo; Maurizio Lenzerini; Vincenzino Lio; et al. (LPNMR, 2005)

The INFOMIX system for advanced integration of incomplete and inconsistent data. - Nicola Leone; Gianluigi Greco; Giovambattista Ianni; Vincenzino Lio; Giorgio Terracina; Thomas Eiter; Wolfgang Faber 001; Michael Fink 001; Georg Gottlob; Riccardo Rosati 001; Domenico Lembo; Maurizio Lenzerini; et al. (SIGMOD Conference, 2005)

Effective Integration of Declarative Rules with External Evaluations for Semantic-Web Reasoning. - Thomas Eiter; Giovambattista Ianni; Roman Schindlauer; Hans Tompits (ESWC, 2006)

Decidable Fragments of Logic Programming with Value Invention. - Francesco Calimeri; Susanna Cozza; Giovambattista Ianni (JELIA, 2006)

Reasoning with Rules and Ontologies. - Thomas Eiter; Giovambattista Ianni; Axel Polleres; Roman Schindlauer; Hans Tompits (Reasoning Web, 2006)

dlvhex: A Prover for Semantic-Web Reasoning under the Answer-Set Semantics. - Thomas Eiter; Giovambattista Ianni; Roman Schindlauer; Hans Tompits (Web Intelligence, 2006)

Forgetting in Managing Rules and Ontologies. - Thomas Eiter; Giovambattista Ianni; Roman Schindlauer; Hans Tompits; Kewen Wang 001 (Web Intelligence, 2006)

Protection Techniques from Information Extraction. - Gianluigi Greco; Giovambattista Ianni; Vincenzino Lio; Luigi Palopoli 001 (Web Intelligence, 2006)

dlvhex: A System for Integrating Multiple Semantics in an Answer-Set Programming Framework. - Thomas Eiter; Giovambattista Ianni; Roman Schindlauer; Hans Tompits (WLP, 2006)

Template programs for Disjunctive Logic Programming: An operational semantics. - Francesco Calimeri; Giovambattista Ianni (AI Commun., 2006)

Some Experiments on the Usage of a Deductive Database for RDFS Querying and Reasoning. - Giovambattista Ianni; Alessandra Martello; Claudio Panetta; Giorgio Terracina (SWAP, 2007)

External sources of knowledge and value invention in logic programming. - Francesco Calimeri; Susanna Cozza; Giovambattista Ianni (Ann. Math. Artif. Intell., 2007)

Versatile Semantic Modeling of Frame Logic Programs under Answer Set Semantics. - Mario Alviano; Giovambattista Ianni; Marco Marano; Alessandra Martello (ASWC, 2008)

Computable Functions in ASP: Theory and Implementation. - Francesco Calimeri; Susanna Cozza; Giovambattista Ianni; Nicola Leone (ICLP, 2008)

Rules and Ontologies for the Semantic Web. - Thomas Eiter; Giovambattista Ianni; Thomas Krennwallner; Axel Polleres (Reasoning Web, 2008)

Combining answer set programming with description logics for the Semantic Web. - Thomas Eiter; Giovambattista Ianni; Thomas Lukasiewicz; Roman Schindlauer; Hans Tompits (Artif. Intell., 2008)

Exploiting conjunctive queries in description logic programs. - Thomas Eiter; Giovambattista Ianni; Thomas Krennwallner; Roman Schindlauer (Ann. Math. Artif. Intell., 2008)

A Rule System for Querying Persistent RDFS Data. - Giovambattista Ianni; Thomas Krennwallner; Alessandra Martello; Axel Polleres (ESWC, 2009)

Combining Nonmonotonic Knowledge Bases with External Sources. - Thomas Eiter; Gerhard Brewka; Minh Dao-Tran; Michael Fink 001; Giovambattista Ianni; Thomas Krennwallner (FroCoS, 2009)

Magic Sets for the Bottom-Up Evaluation of Finitely Recursive Programs. - Francesco Calimeri; Susanna Cozza; Giovambattista Ianni; Nicola Leone (LPNMR, 2009)

An ASP System with Functions, Lists, and Sets. - Francesco Calimeri; Susanna Cozza; Giovambattista Ianni; Nicola Leone (LPNMR, 2009)

Answer Set Programming: A Primer. - Thomas Eiter; Giovambattista Ianni; Thomas Krennwallner (Reasoning Web, 2009)

Dynamic Querying of Mass-Storage RDF Data with Rule-Based Entailment Regimes. - Giovambattista Ianni; Thomas Krennwallner; Alessandra Martello; Axel Polleres (ISWC, 2009)

Efficiently Querying RDF(S) Ontologies with Answer Set Programming. - Giovambattista Ianni; Alessandra Martello; Claudio Panetta; Giorgio Terracina (J. Log. Comput., 2009)

Hybrid Reasoning with Rules and Ontologies. - Wlodzimierz Drabent; Thomas Eiter; Giovambattista Ianni; Thomas Krennwallner; Thomas Lukasiewicz; Jan Maluszynski (REWERSE, 2009)

Enhancing ASP by Functions: Decidable Classes and Implementation Techniques. - Francesco Calimeri; Susanna Cozza; Giovambattista Ianni; Nicola Leone (AAAI, 2010)

HEX Programs with Action Atoms. - Selen Basol; Ozan Erdem; Michael Fink 001; Giovambattista Ianni (ICLP (Technical Communications), 2010)

The IMPL Policy Language for Managing Inconsistency in Multi-Context Systems. - Thomas Eiter; Michael Fink 001; Giovambattista Ianni; Peter Schüller (INAP/WLP, 2011)

The 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 001; Onofrio Febbraro; Nicola Leone; Marco Manna; Alessandra Martello; et al. (LPNMR, 2011)

Pushing Efficient Evaluation of HEX Programs by Modular Decomposition. - Thomas Eiter; Michael Fink 001; Giovambattista Ianni; Thomas Krennwallner; Peter Schüller (LPNMR, 2011)

Towards a Policy Language for Managing Inconsistency in Multi-Context Systems. - Thomas Eiter; Michael Fink 001; Giovambattista Ianni; Peter Schüller (Log-IC@LPNMR, 2011)

Finitely recursive programs: Decidability and bottom-up computation. - Francesco Calimeri; Susanna Cozza; Giovambattista Ianni; Nicola Leone (AI Commun., 2011)

Well-founded semantics for description logic programs in the semantic web. - Thomas Eiter; Giovambattista Ianni; Thomas Lukasiewicz; Roman Schindlauer (ACM Trans. Comput. Log., 2011)

The Answer Set Programming Competition. - Francesco Calimeri; Giovambattista Ianni; Thomas Krennwallner; Francesco Ricca (AI Mag., 2012)

AngryHEX: an Artificial Player for Angry Birds Based on Declarative Knowledge Bases. - Francesco Calimeri; Michael Fink 001; Stefano Germano; Giovambattista Ianni; Christoph Redl; Anton Wimmer (PAI@AI*IA, 2013)

A Domain Meta-wrapper Using Seeds for Intelligent Author List Extraction in the Domain of Scholarly Articles. - Francesco Cauteruccio; Giovambattista Ianni (TPDL, 2013)

The Fourth Answer Set Programming Competition: Preliminary Report. - Mario Alviano; Francesco Calimeri; Günther Charwat; Minh Dao-Tran; Carmine Dodaro; Giovambattista Ianni; Thomas Krennwallner; Martin Kronegger; Johannes Oetsch; Andreas Pfandler; Jörg Pührer; Christoph Redl; et al. (LPNMR, 2013)

VCWC: A Versioning Competition Workflow Compiler. - Günther Charwat; Giovambattista Ianni; Thomas Krennwallner; Martin Kronegger; Andreas Pfandler; Christoph Redl; Martin Schwengerer; Lara Katharina Spendier; Johannes Peter Wallner; Guohui Xiao 001 (LPNMR, 2013)

ActHEX: Implementing HEX Programs with Action Atoms. - Michael Fink 001; Stefano Germano; Giovambattista Ianni; Christoph Redl; Peter Schüller (LPNMR, 2013)

The third open answer set programming competition. - Francesco Calimeri; Giovambattista Ianni; Francesco Ricca (Theory Pract. Log. Program., 2014)

Angry-HEX: An Artificial Player for Angry Birds Based on Declarative Knowledge Bases. - Francesco Calimeri; Michael Fink 001; Stefano Germano; Andreas Humenberger; Giovambattista Ianni; Christoph Redl; Daria Stepanova 001; Andrea Tucci; Anton Wimmer (IEEE Trans. Comput. Intell. AI Games, 2016)

A model building framework for answer set programming with external computations. - Thomas Eiter; Michael Fink 001; Giovambattista Ianni; Thomas Krennwallner; Christoph Redl; Peter Schüller (Theory Pract. Log. Program., 2016)

Answer Set Programming for Declarative Content Specification: A Scalable Partitioning-Based Approach. - Francesco Calimeri; Stefano Germano; Giovambattista Ianni; Francesco Pacenza; Armando Pezzimenti; Andrea Tucci (AI*IA, 2018)

Integrating Rule-Based AI Tools into Mainstream Game Development. - Francesco Calimeri; Stefano Germano; Giovambattista Ianni; Francesco Pacenza; Simona Perri; Jessica Zangari (RuleML+RR, 2018)

The DLVHEX System. - Thomas Eiter; Stefano Germano; Giovambattista Ianni; Tobias Kaminski; Christoph Redl; Peter Schüller; Antonius Weinzierl (Künstliche Intell., 2018)

Tight Integration of Rule-Based Tools in Game Development. - Denise Angilica; Giovambattista Ianni; Francesco Pacenza (AI*IA, 2019)

An Infrastructure for Multi-shot Reasoning with Incremental Grounding. - Giovambattista Ianni; Francesco Pacenza; Jessica Zangari (CILC, 2019)

Incremental Answer Set Programming with Overgrounding. - Francesco Calimeri; Giovambattista Ianni; Francesco Pacenza; Simona Perri; Jessica Zangari (Theory Pract. Log. Program., 2019)

ASP-Core-2 Input Language Format. - Francesco Calimeri; Wolfgang Faber 001; Martin Gebser; Giovambattista Ianni; Roland Kaminski; Thomas Krennwallner; Nicola Leone; Marco Maratea; Francesco Ricca; Torsten Schaub (Theory Pract. Log. Program., 2020)

Incremental maintenance of overgrounded logic programs with tailored simplifications. - Giovambattista Ianni; Francesco Pacenza; Jessica Zangari (Theory Pract. Log. Program., 2020)

AI and Videogames: a "Drosophila" for Declarative Methods. - Denise Angilica; Giovambattista Ianni; Francesca A. Lisi; Luca Pulina (IPS/RiCeRcA/SPIRIT@AI*IA, 2022)

Declarative AI design in Unity using Answer Set Programming. - Denise Angilica; Giovambattista Ianni; Francesco Pacenza (CoG, 2022)

Domain-agnostic Procedural Content Generation Can Be Done Declaratively. - Denise Angilica; Stefano Germano; Giovambattista Ianni (CILC, 2023)

On the impact of sensors update in declarative AI for videogames. - Denise Angilica; Giorgio Michele De Giorgio; Giovambattista Ianni (ICLP Workshops, 2023)

From 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 (KR, 2023)

Integrating ASP-Based Incremental Reasoning in the Videogame Development Workflow (Application Paper). - Denise Angilica; Giovambattista Ianni; Francesco Pacenza; Jessica Zangari (PADL, 2023)

Combining Anti-typosquatting Techniques. - Francesco Blefari; Angelo Furfaro; Giovambattista Ianni; Alessandro Viscomi (ICWE, 2024)

Rethinking Answer Set Programming Templates. - Mario Alviano; Giovambattista Ianni; Francesco Pacenza; Jessica Zangari (PADL, 2024)

Forget and Regeneration Techniques for Optimizing ASP-Based Stream Reasoning. - Francesco Calimeri; Giovambattista Ianni; Francesco Pacenza; Simona Perri; Jessica Zangari (PADL, 2024)

TypoAlert: a browser extension against typosquatting. - Francesco Blefari; Angelo Furfaro; Giovambattista Ianni; Alessandro Viscomi (SEBD, 2024)

A Study on Contradiction Detection Using a Neuro-Symbolic Approach. - Alessia Donata Camarda; Giovambattista Ianni (CILC, 2025)

ASP-Based Multi-Shot Reasoning via DLV2 with Incremental Grounding. - Francesco Calimeri; Giovambattista Ianni; Francesco Pacenza; Simona Perri; Jessica Zangari (Theory Pract. Log. Program., 2025)