Giovanni Amendola

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 45

Top Topics

Top Venues

Theory Pract. Log. Program.

Publications

Giovanni Amendola, Tobias Berei, Giuseppe Mazzotta, Francesco Ricca
Unit Testing in ASP Revisited: Language and Test-Driven Development Environment. CoRR (2024)
Giovanni Amendola, Marco Manna, Aldo Ricioppo
A logic-based framework for characterizing nexus of similarity within knowledge bases. Inf. Sci. 664 (2024)
Giovanni Amendola
Special Issue on Logic-Based Artificial Intelligence. Algorithms 16 (2) (2023)
Giovanni Amendola, Marco Manna, Aldo Ricioppo
Characterizing Nexus of Similarity within Knowledge Bases: A Logic-based Framework and its Computational Complexity Aspects. CoRR (2023)
Giuseppe Agresta, Giovanni Amendola, Pietro Cofone, Marco Manna, Aldo Ricioppo
Characterizing Nexus of Similarity between Entities. IPS-RCRA-SPIRIT@AI*IA (2023)
Giovanni Amendola, Gianluigi Greco, Pierfrancesco Veltri
Answers set programs for non-transferable utility games: Expressiveness, complexity and applications. Artif. Intell. 302 (2022)
Giovanni Amendola, Bernardo Cuteri, Francesco Ricca, Mirek Truszczynski
Solving Problems in the Polynomial Hierarchy with ASP(Q). LPNMR (2022)
Giovanni Amendola, Giovanni Rotondaro
Modeling Clique Coloring via ASP(Q). ICLP Workshops (2021)
Giovanni Amendola, Carmine Dodaro, Wolfgang Faber, Francesco Ricca
Paracoherent answer set computation. Artif. Intell. 299 (2021)
Giovanni Amendola, Tobias Berei, Francesco Ricca
Testing in ASP: Revisited Language and Programming Environment. JELIA (2021)
Giovanni Amendola, Carmine Dodaro, Marco Maratea
A Formal Approach for Cautious Reasoning in Answer Set Programming (Extended Abstract). IJCAI (2020)
Giovanni Amendola, Francesco Ricca, Miroslaw Truszczynski
New models for generating hard random boolean formulas and disjunctive logic programs. Artif. Intell. 279 (2020)
Giovanni Amendola, Carmine Dodaro, Wolfgang Faber, Luca Pulina, Francesco Ricca
Algorithm Selection for Paracoherent Answer Set Computation. JELIA (2019)
Giovanni Amendola, Carmine Dodaro, Marco Maratea
Abstract Solvers for Computing Cautious Consequences of ASP programs. Theory Pract. Log. Program. 19 (5-6) (2019)
Giovanni Amendola, Carmine Dodaro, Marco Maratea
Abstract Solvers for Computing Cautious Consequences of ASP programs. CoRR (2019)
Giovanni Amendola, Carmine Dodaro, Francesco Ricca
Better Paracoherent Answer Sets with Less Resources. CoRR (2019)
Mario Alviano, Giovanni Amendola, Carmine Dodaro, Nicola Leone, Marco Maratea, Francesco Ricca
Evaluation of Disjunctive Programs in WASP. LPNMR (2019)
Giovanni Amendola, Francesco Ricca
Paracoherent Answer Set Semantics meets Argumentation Frameworks. Theory Pract. Log. Program. 19 (5-6) (2019)
Giovanni Amendola, Cinzia Marte
Extending Bell Numbers for Parsimonious Chase Estimation. JELIA (2019)
Giovanni Amendola, Francesco Ricca, Mirek Truszczynski
Beyond NP: Quantifying over Answer Sets. CoRR (2019)
Giovanni Amendola, Francesco Ricca
Paracoherent Answer Set Semantics meets Argumentation Frameworks. CoRR (2019)
Giovanni Amendola, Francesco Ricca, Miroslaw Truszczynski
Beyond NP: Quantifying over Answer Sets. Theory Pract. Log. Program. 19 (5-6) (2019)
Giovanni Amendola, Carmine Dodaro, Francesco Ricca
Better Paracoherent Answer Sets with Less Resources. Theory Pract. Log. Program. 19 (5-6) (2019)
Giovanni Amendola
Towards Quantified Answer Set Programming. RCRA@FLoC (2018)
Giovanni Amendola
Solving the Stable Roommates Problem using Incoherent Answer Set Programs. RiCeRcA@AI*IA (2018)
Giovanni Amendola, Leonid Libkin
Explainable Certain Answers. IJCAI (2018)
Giovanni Amendola, Nicola Leone, Marco Manna, Pierfrancesco Veltri
Enhancing Existential Rules by Closed-World Variables. IJCAI (2018)
Giovanni Amendola
Preliminary Results on Modeling Interdependent Scheduling Games via Answer Set Programming. RiCeRcA@AI*IA (2018)
Giovanni Amendola, Carmine Dodaro, Wolfgang Faber, Francesco Ricca
Externally Supported Models for Efficient Computation of Paracoherent Answer Sets. AAAI (2018)
Giovanni Amendola, Nicola Leone, Marco Manna
Finite Controllability of Conjunctive Query Answering with Existential Rules: Two Steps Forward. IJCAI (2018)
Giovanni Amendola, Francesco Ricca, Miroslaw Truszczynski
New Models for Generating Hard Random Boolean Formulas and Disjunctive Logic Programs. CoRR (2018)
Giovanni Amendola, Francesco Ricca, Mirek Truszczynski
A Generator of Hard 2QBF Formulas and ASP Programs. KR (2018)
Giovanni Amendola, Carmine Dodaro, Wolfgang Faber, Nicola Leone, Francesco Ricca
On the Computation of Paracoherent Answer Sets. CoRR (2017)
Giovanni Amendola, Carmine Dodaro, Wolfgang Faber, Nicola Leone, Francesco Ricca
On the Computation of Paracoherent Answer Sets. AAAI (2017)
Giovanni Amendola, Nicola Leone, Marco Manna
Finite model reasoning over existential rules. Theory Pract. Log. Program. 17 (5-6) (2017)
Giovanni Amendola, Nicola Leone, Marco Manna, Pierfrancesco Veltri
Reasoning on anonymity in Datalog+/-. ICLP (Technical Communications) (2017)
Mario Alviano, Giovanni Amendola, Rafael Peñaloza
Minimal Undefinedness for Fuzzy Answer Sets. AAAI (2017)
Weronika T. Adrian, Marco Manna, Nicola Leone, Giovanni Amendola, Marek Adrian
Entity set expansion from the Web via ASP. ICLP (Technical Communications) (2017)
Giovanni Amendola, Nicola Leone, Marco Manna
Querying finite or arbitrary models? No matter! Existential rules may rely on both once again (discussion paper). SEBD (2017)
Giovanni Amendola, Francesco Ricca, Miroslaw Truszczynski
Generating Hard Random Boolean Formulas and Disjunctive Logic Programs. IJCAI (2017)
Giovanni Amendola, Nicola Leone, Marco Manna
Finite model reasoning over existential rules. CoRR (2017)
Giovanni Amendola, Thomas Eiter, Michael Fink, Nicola Leone, João Moura
Semi-equilibrium models for paracoherent answer set programs. Artif. Intell. 234 (2016)
Giovanni Amendola, Carmine Dodaro, Francesco Ricca
ASPQ: An ASP-Based 2QBF Solver. QBF@SAT (2016)
Giovanni Amendola, Gianluigi Greco, Nicola Leone, Pierfrancesco Veltri
Modeling and Reasoning about NTU Games via Answer Set Programming. IJCAI (2016)
Giovanni Amendola, Carmine Dodaro, Nicola Leone, Francesco Ricca
On the Application of Answer Set Programming to the Conference Paper Assignment Problem. AI*IA (2016)
Giovanni Amendola
Dealing with Incoherence in ASP: Split Semi-Equilibrium Semantics. DWAI@AI*IA (2014)
Giovanni Amendola, Thomas Eiter, Nicola Leone
Modular Paracoherent Answer Sets. JELIA (2014)