Giovambattista Ianni

Publication Activity (10 Years)

Years Active: 2000-2024
Publications (10 Years): 26

Top Topics

Answer Set Programming

Top Venues

Theory Pract. Log. Program.

Publications

Francesco Calimeri, Giovambattista Ianni, Francesco Pacenza, Simona Perri, Jessica Zangari
Forget and Regeneration Techniques for Optimizing ASP-Based Stream Reasoning. PADL (2024)
Francesco Blefari, Angelo Furfaro, Giovambattista Ianni, Alessandro Viscomi
Combining Anti-typosquatting Techniques. ICWE (2024)
Mario Alviano, Giovambattista Ianni, Francesco Pacenza, Jessica Zangari
Rethinking Answer Set Programming Templates. PADL (2024)
Francesco Blefari, Angelo Furfaro, Giovambattista Ianni, Alessandro Viscomi
TypoAlert: a browser extension against typosquatting. SEBD (2024)
Denise Angilica, Giovambattista Ianni, Francesco Pacenza, Jessica Zangari
Integrating ASP-Based Incremental Reasoning in the Videogame Development Workflow (Application Paper). PADL (2023)
Mario Alviano, Giovambattista Ianni, Francesco Pacenza, Jessica Zangari
Rethinking Answer Set Programming Templates. CoRR (2023)
Denise Angilica, Stefano Germano, Giovambattista Ianni
Domain-agnostic Procedural Content Generation Can Be Done Declaratively. CILC (2023)
Denise Angilica, Mario Avolio, Giovanni Beraldi, Giovambattista Ianni, Francesco Pacenza
From Vision to Execution: Enabling Knowledge Representation and Reasoning in Hybrid Intelligent Robots Playing Mobile Games. KR (2023)
Denise Angilica, Giorgio Michele De Giorgio, Giovambattista Ianni
On the impact of sensors update in declarative AI for videogames. ICLP Workshops (2023)
Denise Angilica, Giovambattista Ianni, Francesco Pacenza
Declarative AI design in Unity using Answer Set Programming. CoG (2022)
Francesco Calimeri, Giovambattista Ianni, Francesco Pacenza, Simona Perri, Jessica Zangari
ASP-based Multi-shot Reasoning via DLV2 with Incremental Grounding. PPDP (2022)
Denise Angilica, Giovambattista Ianni, Francesca A. Lisi, Luca Pulina
AI and Videogames: a "Drosophila" for Declarative Methods. IPS/RiCeRcA/SPIRIT@AI*IA (2022)
Giovambattista Ianni, Francesco Pacenza, Jessica Zangari
Incremental maintenance of overgrounded logic programs with tailored simplifications. Theory Pract. Log. Program. 20 (5) (2020)
Francesco Calimeri, Wolfgang Faber, Martin Gebser, Giovambattista Ianni, Roland Kaminski, Thomas Krennwallner, Nicola Leone, Marco Maratea, Francesco Ricca, Torsten Schaub
ASP-Core-2 Input Language Format. Theory Pract. Log. Program. 20 (2) (2020)
Giovambattista Ianni, Francesco Pacenza, Jessica Zangari
Incremental maintenance of overgrounded logic programs with tailored simplifications. CoRR (2020)
Giovambattista Ianni, Francesco Pacenza, Jessica Zangari
An Infrastructure for Multi-shot Reasoning with Incremental Grounding. CILC (2019)
Francesco Calimeri, Wolfgang Faber, Martin Gebser, Giovambattista Ianni, Roland Kaminski, Thomas Krennwallner, Nicola Leone, Marco Maratea, Francesco Ricca, Torsten Schaub
ASP-Core-2 Input Language Format. CoRR (2019)
Francesco Calimeri, Giovambattista Ianni, Francesco Pacenza, Simona Perri, Jessica Zangari
Incremental Answer Set Programming with Overgrounding. Theory Pract. Log. Program. 19 (5-6) (2019)
Francesco Calimeri, Giovambattista Ianni, Francesco Pacenza, Simona Perri, Jessica Zangari
Incremental Answer Set Programming with Overgrounding. CoRR (2019)
Denise Angilica, Giovambattista Ianni, Francesco Pacenza
Tight Integration of Rule-Based Tools in Game Development. AI*IA (2019)
Francesco Calimeri, Stefano Germano, Giovambattista Ianni, Francesco Pacenza, Armando Pezzimenti, Andrea Tucci
Answer Set Programming for Declarative Content Specification: A Scalable Partitioning-Based Approach. AI*IA (2018)
Francesco Calimeri, Stefano Germano, Giovambattista Ianni, Francesco Pacenza, Simona Perri, Jessica Zangari
Integrating Rule-Based AI Tools into Mainstream Game Development. RuleML+RR (2018)
Thomas Eiter, Stefano Germano, Giovambattista Ianni, Tobias Kaminski, Christoph Redl, Peter Schüller, Antonius Weinzierl
The DLVHEX System. Künstliche Intell. 32 (2-3) (2018)
Thomas Eiter, Michael Fink, Giovambattista Ianni, Thomas Krennwallner, Christoph Redl, Peter Schüller
A model building framework for answer set programming with external computations. Theory Pract. Log. Program. 16 (4) (2016)
Francesco Calimeri, Michael Fink, Stefano Germano, Andreas Humenberger, Giovambattista Ianni, Christoph Redl, Daria Stepanova, Andrea Tucci, Anton Wimmer
Angry-HEX: An Artificial Player for Angry Birds Based on Declarative Knowledge Bases. IEEE Trans. Comput. Intell. AI Games 8 (2) (2016)
Thomas Eiter, Michael Fink, Giovambattista Ianni, Thomas Krennwallner, Christoph Redl, Peter Schüller
A model building framework for Answer Set Programming with external computations. CoRR (2015)
Francesco Calimeri, Giovambattista Ianni, Francesco Ricca
The third open answer set programming competition. Theory Pract. Log. Program. 14 (1) (2014)
Francesco Cauteruccio, Giovambattista Ianni
A Domain Meta-wrapper Using Seeds for Intelligent Author List Extraction in the Domain of Scholarly Articles. TPDL (2013)
Michael Fink, Stefano Germano, Giovambattista Ianni, Christoph Redl, Peter Schüller
ActHEX: Implementing HEX Programs with Action Atoms. LPNMR (2013)
Francesco Calimeri, Michael Fink, Stefano Germano, Giovambattista Ianni, Christoph Redl, Anton Wimmer
AngryHEX: an Artificial Player for Angry Birds Based on Declarative Knowledge Bases. PAI@AI*IA (2013)
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, Francesco Ricca, Patrik Schneider, Martin Schwengerer, Lara Katharina Spendier, Johannes Peter Wallner, Guohui Xiao
The Fourth Answer Set Programming Competition: Preliminary Report. LPNMR (2013)
Günther Charwat, Giovambattista Ianni, Thomas Krennwallner, Martin Kronegger, Andreas Pfandler, Christoph Redl, Martin Schwengerer, Lara Katharina Spendier, Johannes Peter Wallner, Guohui Xiao
VCWC: A Versioning Competition Workflow Compiler. LPNMR (2013)
Francesco Calimeri, Giovambattista Ianni, Thomas Krennwallner, Francesco Ricca
The Answer Set Programming Competition. AI Mag. 33 (4) (2012)
Francesco Calimeri, Giovambattista Ianni, Francesco Ricca
The third open Answer Set Programming competition CoRR (2012)
Thomas Eiter, Michael Fink, Giovambattista Ianni, Thomas Krennwallner, Peter Schüller
Pushing Efficient Evaluation of HEX Programs by Modular Decomposition. LPNMR (2011)
Thomas Eiter, Michael Fink, Giovambattista Ianni, Peter Schüller
The IMPL Policy Language for Managing Inconsistency in Multi-Context Systems. INAP/WLP (2011)
Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone
Finitely recursive programs: Decidability and bottom-up computation. AI Commun. 24 (4) (2011)
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
The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track. LPNMR (2011)
Thomas Eiter, Giovambattista Ianni, Thomas Lukasiewicz, Roman Schindlauer
Well-founded semantics for description logic programs in the semantic web. ACM Trans. Comput. Log. 12 (2) (2011)
Thomas Eiter, Michael Fink, Giovambattista Ianni, Peter Schüller
Towards a Policy Language for Managing Inconsistency in Multi-Context Systems. Log-IC@LPNMR (2011)
Selen Basol, Ozan Erdem, Michael Fink, Giovambattista Ianni
HEX Programs with Action Atoms. ICLP (Technical Communications) (2010)
Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone
Enhancing ASP by Functions: Decidable Classes and Implementation Techniques. AAAI (2010)
Giovambattista Ianni, Thomas Krennwallner, Alessandra Martello, Axel Polleres
Dynamic Querying of Mass-Storage RDF Data with Rule-Based Entailment Regimes. ISWC (2009)
Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone
Magic Sets for the Bottom-Up Evaluation of Finitely Recursive Programs. LPNMR (2009)
Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone
An ASP System with Functions, Lists, and Sets. LPNMR (2009)
Thomas Eiter, Gerhard Brewka, Minh Dao-Tran, Michael Fink, Giovambattista Ianni, Thomas Krennwallner
Combining Nonmonotonic Knowledge Bases with External Sources. FroCoS (2009)
Giovambattista Ianni, Alessandra Martello, Claudio Panetta, Giorgio Terracina
Efficiently Querying RDF(S) Ontologies with Answer Set Programming. J. Log. Comput. 19 (4) (2009)
Giovambattista Ianni, Thomas Krennwallner, Alessandra Martello, Axel Polleres
A Rule System for Querying Persistent RDFS Data. ESWC (2009)
Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner
Answer Set Programming: A Primer. Reasoning Web (2009)
Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Axel Polleres
Rules and Ontologies for the Semantic Web. Reasoning Web (2008)
Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Roman Schindlauer
Exploiting conjunctive queries in description logic programs. Ann. Math. Artif. Intell. 53 (1-4) (2008)
Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone
Computable Functions in ASP: Theory and Implementation. ICLP (2008)
Mario Alviano, Giovambattista Ianni, Marco Marano, Alessandra Martello
Versatile Semantic Modeling of Frame Logic Programs under Answer Set Semantics. ASWC (2008)
Thomas Eiter, Thomas Krennwallner, Roman Schindlauer, Giovambattista Ianni
Exploiting Conjunctive Queries in Description Logic Programs. ISAIM (2008)
Thomas Eiter, Giovambattista Ianni, Thomas Lukasiewicz, Roman Schindlauer, Hans Tompits
Combining answer set programming with description logics for the Semantic Web. Artif. Intell. 172 (12-13) (2008)
Francesco Calimeri, Susanna Cozza, Giovambattista Ianni
External sources of knowledge and value invention in logic programming. Ann. Math. Artif. Intell. 50 (3-4) (2007)
Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Roman Schindlauer
Exploiting Conjunctive Queries in Description Logic Programs. Description Logics (2007)
Giovambattista Ianni, Alessandra Martello, Claudio Panetta, Giorgio Terracina
Some Experiments on the Usage of a Deductive Database for RDFS Querying and Reasoning. SWAP (2007)
Thomas Eiter, Giovambattista Ianni, Axel Polleres, Roman Schindlauer, Hans Tompits
Reasoning with Rules and Ontologies. Reasoning Web (2006)
Gianluigi Greco, Giovambattista Ianni, Vincenzino Lio, Luigi Palopoli
Protection Techniques from Information Extraction. Web Intelligence (2006)
Francesco Calimeri, Giovambattista Ianni
Template programs for Disjunctive Logic Programming: An operational semantics. AI Commun. 19 (3) (2006)
Francesco Calimeri, Susanna Cozza, Giovambattista Ianni
Decidable Fragments of Logic Programming with Value Invention. JELIA (2006)
Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits, Kewen Wang
Forgetting in Managing Rules and Ontologies. Web Intelligence (2006)
Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits
dlvhex: A System for Integrating Multiple Semantics in an Answer-Set Programming Framework. WLP (2006)
Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits
dlvhex: A Prover for Semantic-Web Reasoning under the Answer-Set Semantics. Web Intelligence (2006)
Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits
Effective Integration of Declarative Rules with External Evaluations for Semantic-Web Reasoning. ESWC (2006)
Francesco Calimeri, Giovambattista Ianni
External Sources of Computation for Answer Set Solvers. LPNMR (2005)
Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits
A Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer-Set Programming. IJCAI (2005)
Giovambattista Ianni, Claudio Panetta, Francesco Ricca
Specification of Assessment-test Criteria through ASP Specifications. Answer Set Programming (2005)
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
The INFOMIX system for advanced integration of incomplete and inconsistent data. SIGMOD Conference (2005)
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
Data Integration: a Challenging ASP Application. LPNMR (2005)
Giovambattista Ianni, Giuseppe Ielpa, Adriana Pietramala, Maria Carmela Santoro, Francesco Calimeri
Enhancing answer set programming with templates. NMR (2004)
Giovambattista Ianni, Francesco Ricca, Francesco Calimeri, Vincenzino Lio, Stefania Galizia
An agent system reasoning about the web and the user. WWW (Alternate Track Papers & Posters) (2004)
Francesco Calimeri, Giovambattista Ianni, Giuseppe Ielpa, Adriana Pietramala, Maria Carmela Santoro
A System with Template Answer Set Programs. JELIA (2004)
Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits
Nonmonotonic Description Logic Programs: Implementation and Experiments. LPAR (2004)
Fabrizio Angiulli, Giovambattista Ianni, Luigi Palopoli
On the complexity of inducing categorical and quantitative association rules. Theor. Comput. Sci. 314 (1-2) (2004)
Giovambattista Ianni, Francesco Calimeri, Adriana Pietramala, Maria Carmela Santoro
Parametric external predicates for the DLV System CoRR (2004)
Rachel Ben-Eliyahu-Zohary, Ehud Gudes, Giovambattista Ianni
Metaqueries: Semantics, complexity, and efficient algorithms. Artif. Intell. 149 (1) (2003)
Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Giovambattista Ianni, Luigi Palopoli
Computational properties of metaquerying problems. ACM Trans. Comput. Log. 4 (2) (2003)
Giovambattista Ianni, Francesco Calimeri, Vincenzino Lio, Stefania Galizia
Reasoning about the Semantic Web using Answer Set Programming. APPIA-GULP-PRODE (2003)
Giovambattista Ianni, Giuseppe Ielpa, Adriana Pietramala, Maria Carmela Santoro
Answer Set Programming with Templates. Answer Set Programming (2003)
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
The DLV System. JELIA (2002)
Fabrizio Angiulli, Giovambattista Ianni, Luigi Palopoli
On the Complexity of Mining Association Rules. SEBD (2001)
Giovambattista Ianni
Intelligent anticipated exploration of Web sites. AI Commun. 14 (4) (2001)
Giovambattista Ianni, Nicola Leone, Simona Perri, Francesco Scarcello
Abduction with Penalization in Logic Programming CoRR (2001)
Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Giovambattista Ianni, Luigi Palopoli
Computational Properties of Metaquerying Problems CoRR (2001)
A. Castellucci, Giovambattista Ianni, Domenico Vasile, S. Costa
Searching and Surfing the Web Using a Semi-Adaptive Meta-Engine. ITCC (2001)
Fabrizio Angiulli, Giovambattista Ianni, Luigi Palopoli
On the complexity of inducing categorical and quantitative association rules CoRR (2001)
Giovambattista Ianni
Sintesi di algoritmi con SKY CoRR (2001)
Giovambattista Ianni
Intelligent Anticipated Exploration of Web Sites CoRR (2001)
Fabrizio Angiulli, Giovambattista Ianni, Luigi Palopoli
Metaquerying: proprietà e tecniche di implementazione. SEBD (2000)
Marco Cadoli, Giovambattista Ianni, Luigi Palopoli, Andrea Schaerf, Domenico Vasile
NP-SPEC: an executable specification language for solving all problems in NP. Comput. Lang. 26 (2-4) (2000)
Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Giovambattista Ianni, Luigi Palopoli
Computational Properties of Metaquerying Problems. PODS (2000)