Giovambattista Ianni

Orcid: 0000-0003-0534-6425

Affiliations:
  • University of Calabria, Cosenza, Italy


According to our database1, Giovambattista Ianni authored at least 82 papers between 2000 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
TypoAlert: a browser extension against typosquatting.
Proceedings of the 32nd Symposium of Advanced Database Systems, 2024

Forget and Regeneration Techniques for Optimizing ASP-Based Stream Reasoning.
Proceedings of the Practical Aspects of Declarative Languages, 2024

Rethinking Answer Set Programming Templates.
Proceedings of the Practical Aspects of Declarative Languages, 2024

Combining Anti-typosquatting Techniques.
Proceedings of the Web Engineering - 24th International Conference, 2024

2023
Integrating ASP-Based Incremental Reasoning in the Videogame Development Workflow (Application Paper).
Proceedings of the Practical Aspects of Declarative Languages, 2023

From Vision to Execution: Enabling Knowledge Representation and Reasoning in Hybrid Intelligent Robots Playing Mobile Games.
Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023

On the impact of sensors update in declarative AI for videogames.
Proceedings of the International Conference on Logic Programming 2023 Workshops co-located with the 39th International Conference on Logic Programming (ICLP 2023), 2023

Domain-agnostic Procedural Content Generation Can Be Done Declaratively.
Proceedings of the 38th Italian Conference on Computational Logic, 2023

2022
ASP-based Multi-shot Reasoning via DLV2 with Incremental Grounding.
Proceedings of the PPDP 2022: 24th International Symposium on Principles and Practice of Declarative Programming, Tbilisi, Georgia, September 20, 2022

Declarative AI design in Unity using Answer Set Programming.
Proceedings of the IEEE Conference on Games, CoG 2022, Beijing, 2022

AI and Videogames: a "Drosophila" for Declarative Methods.
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, 2022

2020
Incremental maintenance of overgrounded logic programs with tailored simplifications.
Theory Pract. Log. Program., 2020

ASP-Core-2 Input Language Format.
Theory Pract. Log. Program., 2020

2019
Incremental Answer Set Programming with Overgrounding.
Theory Pract. Log. Program., 2019

An Infrastructure for Multi-shot Reasoning with Incremental Grounding.
Proceedings of the 34th Italian Conference on Computational Logic, 2019

Tight Integration of Rule-Based Tools in Game Development.
Proceedings of the AI*IA 2019 - Advances in Artificial Intelligence, 2019

2018
The DLVHEX System.
Künstliche Intell., 2018

Integrating Rule-Based AI Tools into Mainstream Game Development.
Proceedings of the Rules and Reasoning - Second International Joint Conference, 2018

Answer Set Programming for Declarative Content Specification: A Scalable Partitioning-Based Approach.
Proceedings of the AI*IA 2018 - Advances in Artificial Intelligence, 2018

2016
A model building framework for answer set programming with external computations.
Theory Pract. Log. Program., 2016

Angry-HEX: An Artificial Player for Angry Birds Based on Declarative Knowledge Bases.
IEEE Trans. Comput. Intell. AI Games, 2016

2014
The third open answer set programming competition.
Theory Pract. Log. Program., 2014

2013
ActHEX: Implementing HEX Programs with Action Atoms.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

VCWC: A Versioning Competition Workflow Compiler.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013


A Domain Meta-wrapper Using Seeds for Intelligent Author List Extraction in the Domain of Scholarly Articles.
Proceedings of the Research and Advanced Technology for Digital Libraries, 2013

AngryHEX: an Artificial Player for Angry Birds Based on Declarative Knowledge Bases.
Proceedings of the Workshop Popularize Artificial Intelligence co-located with the 13th Conference of the Italian Association for Artificial Intelligence (AI*IA 2013), 2013

2012
The Answer Set Programming Competition.
AI Mag., 2012

2011
Well-founded semantics for description logic programs in the semantic web.
ACM Trans. Comput. Log., 2011

Finitely recursive programs: Decidability and bottom-up computation.
AI Commun., 2011

Towards a Policy Language for Managing Inconsistency in Multi-Context Systems.
Proceedings of the 2nd Workshop on Logic-based Interpretation of Context: Modelling and Applications, 2011

Pushing Efficient Evaluation of HEX Programs by Modular Decomposition.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

The IMPL Policy Language for Managing Inconsistency in Multi-Context Systems.
Proceedings of the Applications of Declarative Programming and Knowledge Management, 2011

2010
HEX Programs with Action Atoms.
Proceedings of the Technical Communications of the 26th International Conference on Logic Programming, 2010

Enhancing ASP by Functions: Decidable Classes and Implementation Techniques.
Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010

2009
Hybrid Reasoning with Rules and Ontologies.
Proceedings of the Semantic Techniques for the Web, The REWERSE Perspective, 2009

Efficiently Querying RDF(S) Ontologies with Answer Set Programming.
J. Log. Comput., 2009

Dynamic Querying of Mass-Storage RDF Data with Rule-Based Entailment Regimes.
Proceedings of the Semantic Web - ISWC 2009, 8th International Semantic Web Conference, 2009

Answer Set Programming: A Primer.
Proceedings of the Reasoning Web. Semantic Technologies for Information Systems, 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30, 2009

An ASP System with Functions, Lists, and Sets.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

Magic Sets for the Bottom-Up Evaluation of Finitely Recursive Programs.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

Combining Nonmonotonic Knowledge Bases with External Sources.
Proceedings of the Frontiers of Combining Systems, 7th International Symposium, 2009

A Rule System for Querying Persistent RDFS Data.
Proceedings of the Semantic Web: Research and Applications, 2009

2008
Exploiting conjunctive queries in description logic programs.
Ann. Math. Artif. Intell., 2008

Combining answer set programming with description logics for the Semantic Web.
Artif. Intell., 2008

Rules and Ontologies for the Semantic Web.
Proceedings of the Reasoning Web, 2008

Computable Functions in ASP: Theory and Implementation.
Proceedings of the Logic Programming, 24th International Conference, 2008

Versatile Semantic Modeling of Frame Logic Programs under Answer Set Semantics.
Proceedings of the Semantic Web, 3rd Asian Semantic Web Conference, 2008

2007
External sources of knowledge and value invention in logic programming.
Ann. Math. Artif. Intell., 2007

Some Experiments on the Usage of a Deductive Database for RDFS Querying and Reasoning.
Proceedings of the 4th Italian Semantic Web Workshop, Dipartimento di Informatica - Universita' degli Studi di Bari, 2007

2006
Template programs for Disjunctive Logic Programming: An operational semantics.
AI Commun., 2006

dlvhex: A System for Integrating Multiple Semantics in an Answer-Set Programming Framework.
Proceedings of the 20th Workshop on Logic Programming, 2006

Protection Techniques from Information Extraction.
Proceedings of the 2006 IEEE / WIC / ACM International Conference on Web Intelligence (WI 2006), 2006

Forgetting in Managing Rules and Ontologies.
Proceedings of the 2006 IEEE / WIC / ACM International Conference on Web Intelligence (WI 2006), 2006

dlvhex: A Prover for Semantic-Web Reasoning under the Answer-Set Semantics.
Proceedings of the 2006 IEEE / WIC / ACM International Conference on Web Intelligence (WI 2006), 2006

Reasoning with Rules and Ontologies.
Proceedings of the Reasoning Web, 2006

Decidable Fragments of Logic Programming with Value Invention.
Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 2006

Effective Integration of Declarative Rules with External Evaluations for Semantic-Web Reasoning.
Proceedings of the Semantic Web: Research and Applications, 2006

2005
The INFOMIX system for advanced integration of incomplete and inconsistent data.
Proceedings of the ACM SIGMOD International Conference on Management of Data, 2005


External Sources of Computation for Answer Set Solvers.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005

A Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer-Set Programming.
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

Specification of Assessment-test Criteria through ASP Specifications.
Proceedings of the Answer Set Programming, 2005

2004
On the complexity of inducing categorical and quantitative association rules.
Theor. Comput. Sci., 2004

Parametric external predicates for the DLV System
CoRR, 2004

An agent system reasoning about the web and the user.
Proceedings of the 13th international conference on World Wide Web, 2004

Enhancing answer set programming with templates.
Proceedings of the 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), 2004

Nonmonotonic Description Logic Programs: Implementation and Experiments.
Proceedings of the Logic for Programming, 2004

A System with Template Answer Set Programs.
Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

2003
Computational properties of metaquerying problems.
ACM Trans. Comput. Log., 2003

Metaqueries: Semantics, complexity, and efficient algorithms.
Artif. Intell., 2003

Answer Set Programming with Templates.
Proceedings of the Answer Set Programming, 2003

Reasoning about the Semantic Web using Answer Set Programming.
Proceedings of the 2003 Joint Conference on Declarative Programming, 2003

2002
The DLV System.
Proceedings of the Logics in Artificial Intelligence, European Conference, 2002

2001
Sintesi di algoritmi con SKY
CoRR, 2001

Abduction with Penalization in Logic Programming
CoRR, 2001

Intelligent anticipated exploration of Web sites.
AI Commun., 2001

On the Complexity of Mining Association Rules.
Proceedings of the Nono Convegno Nazionale Sistemi Evoluti per Basi di Dati, 2001

Searching and Surfing the Web Using a Semi-Adaptive Meta-Engine.
Proceedings of the 2001 International Symposium on Information Technology (ITCC 2001), 2001

2000
NP-SPEC: an executable specification language for solving all problems in NP.
Comput. Lang., 2000

Metaquerying: proprietà e tecniche di implementazione.
Proceedings of the Ottavo Convegno Nazionale su Sistemi Evoluti per Basi di Dati, 2000


  Loading...