Giovanni Amendola

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