Dealing with Incoherence in ASP: Split Semi-Equilibrium Semantics. - Giovanni Amendola (DWAI@AI*IA, 2014)

Modular Paracoherent Answer Sets. - Giovanni Amendola; Thomas Eiter; Nicola Leone (JELIA, 2014)

On the Application of Answer Set Programming to the Conference Paper Assignment Problem. - Giovanni Amendola; Carmine Dodaro; Nicola Leone; Francesco Ricca (AI*IA, 2016)

Modeling and Reasoning about NTU Games via Answer Set Programming. - Giovanni Amendola; Gianluigi Greco; Nicola Leone; Pierfrancesco Veltri (IJCAI, 2016)

ASPQ: An ASP-Based 2QBF Solver. - Giovanni Amendola; Carmine Dodaro; Francesco Ricca (QBF@SAT, 2016)

Semi-equilibrium models for paracoherent answer set programs. - Giovanni Amendola; Thomas Eiter; Michael Fink 001; Nicola Leone; João Moura 001 (Artif. Intell., 2016)

Minimal Undefinedness for Fuzzy Answer Sets. - Mario Alviano; Giovanni Amendola; Rafael Peñaloza (AAAI, 2017)

On the Computation of Paracoherent Answer Sets. - Giovanni Amendola; Carmine Dodaro; Wolfgang Faber 001; Nicola Leone; Francesco Ricca (AAAI, 2017)

Entity set expansion from the Web via ASP. - Weronika T. Adrian; Marco Manna; Nicola Leone; Giovanni Amendola; Marek Adrian (ICLP (Technical Communications), 2017)

Reasoning on anonymity in Datalog+/-. - Giovanni Amendola; Nicola Leone; Marco Manna; Pierfrancesco Veltri (ICLP (Technical Communications), 2017)

Generating Hard Random Boolean Formulas and Disjunctive Logic Programs. - Giovanni Amendola; Francesco Ricca; Miroslaw Truszczynski (IJCAI, 2017)

Querying finite or arbitrary models? No matter! Existential rules may rely on both once again (discussion paper). - Giovanni Amendola; Nicola Leone; Marco Manna (SEBD, 2017)

Finite model reasoning over existential rules. - Giovanni Amendola; Nicola Leone; Marco Manna (Theory Pract. Log. Program., 2017)

Externally Supported Models for Efficient Computation of Paracoherent Answer Sets. - Giovanni Amendola; Carmine Dodaro; Wolfgang Faber 001; Francesco Ricca (AAAI, 2018)

Solving the Stable Roommates Problem using Incoherent Answer Set Programs. - Giovanni Amendola (RiCeRcA@AI*IA, 2018)

Preliminary Results on Modeling Interdependent Scheduling Games via Answer Set Programming. - Giovanni Amendola (RiCeRcA@AI*IA, 2018)

Explainable Certain Answers. - Giovanni Amendola; Leonid Libkin (IJCAI, 2018)

Finite Controllability of Conjunctive Query Answering with Existential Rules: Two Steps Forward. - Giovanni Amendola; Nicola Leone; Marco Manna (IJCAI, 2018)

Enhancing Existential Rules by Closed-World Variables. - Giovanni Amendola; Nicola Leone; Marco Manna; Pierfrancesco Veltri (IJCAI, 2018)

A Generator of Hard 2QBF Formulas and ASP Programs. - Giovanni Amendola; Francesco Ricca; Mirek Truszczynski (KR, 2018)

Towards Quantified Answer Set Programming. - Giovanni Amendola (RCRA@FLoC, 2018)

Algorithm Selection for Paracoherent Answer Set Computation. - Giovanni Amendola; Carmine Dodaro; Wolfgang Faber 001; Luca Pulina; Francesco Ricca (JELIA, 2019)

Extending Bell Numbers for Parsimonious Chase Estimation. - Giovanni Amendola; Cinzia Marte (JELIA, 2019)

Evaluation of Disjunctive Programs in WASP. - Mario Alviano; Giovanni Amendola; Carmine Dodaro; Nicola Leone; Marco Maratea; Francesco Ricca (LPNMR, 2019)

Abstract Solvers for Computing Cautious Consequences of ASP programs. - Giovanni Amendola; Carmine Dodaro; Marco Maratea (Theory Pract. Log. Program., 2019)

Better Paracoherent Answer Sets with Less Resources. - Giovanni Amendola; Carmine Dodaro; Francesco Ricca (Theory Pract. Log. Program., 2019)

Paracoherent Answer Set Semantics meets Argumentation Frameworks. - Giovanni Amendola; Francesco Ricca (Theory Pract. Log. Program., 2019)

Beyond NP: Quantifying over Answer Sets. - Giovanni Amendola; Francesco Ricca; Miroslaw Truszczynski (Theory Pract. Log. Program., 2019)

Evaluation of disjunctive programs in WASP. - Mario Alviano; Giovanni Amendola; Carmine Dodaro; Nicola Leone; Marco Maratea; Francesco Ricca (Zenodo, 2019)

A Formal Approach for Cautious Reasoning in Answer Set Programming (Extended Abstract). - Giovanni Amendola; Carmine Dodaro; Marco Maratea (IJCAI, 2020)

New models for generating hard random boolean formulas and disjunctive logic programs. - Giovanni Amendola; Francesco Ricca; Miroslaw Truszczynski (Artif. Intell., 2020)

Paracoherent Answer Set Computation. - Giovanni Amendola; Carmine Dodaro; Wolfgang Faber 001; Francesco Ricca (Zenodo, 2020)

Modeling Clique Coloring via ASP(Q). - Giovanni Amendola; Giovanni Rotondaro (ICLP Workshops, 2021)

Testing in ASP: Revisited Language and Programming Environment. - Giovanni Amendola; Tobias Berei; Francesco Ricca (JELIA, 2021)

Paracoherent answer set computation. - Giovanni Amendola; Carmine Dodaro; Wolfgang Faber 001; Francesco Ricca (Artif. Intell., 2021)

Paracoherent Answer Set Computation: binaries and instructions. - Giovanni Amendola; Carmine Dodaro; Wolfgang Faber 001; Francesco Ricca (Zenodo, 2021)

Solving Problems in the Polynomial Hierarchy with ASP(Q). - Giovanni Amendola; Bernardo Cuteri; Francesco Ricca; Mirek Truszczynski (LPNMR, 2022)

Answers set programs for non-transferable utility games: Expressiveness, complexity and applications. - Giovanni Amendola; Gianluigi Greco; Pierfrancesco Veltri (Artif. Intell., 2022)

Characterizing Nexus of Similarity between Entities. - Giuseppe Agresta; Giovanni Amendola; Pietro Cofone; Marco Manna; Aldo Ricioppo (IPS-RCRA-SPIRIT@AI*IA, 2023)

Characterizing Nexus of Similarity within Knowledge Bases: A Logic-based Framework and its Computational Complexity Aspects. - Giovanni Amendola; Marco Manna; Aldo Ricioppo (CoRR, 2023)

Special Issue on Logic-Based Artificial Intelligence. - Giovanni Amendola (Algorithms, 2023)

A logic-based framework for characterizing nexus of similarity within knowledge bases. - Giovanni Amendola; Marco Manna; Aldo Ricioppo (Inf. Sci., 2024)

Unit Testing in ASP Revisited: Language and Test-Driven Development Environment. - Giovanni Amendola; Giuseppe Mazzotta; Francesco Ricca; Tobias Berei (Theory Pract. Log. Program., 2024)