Giovanni Amendola
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
21
Venues
7
Active years
2014–2025
Best venue rank
A*
Where they publish
Papers
21 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ICLP | neXSim: A System for Explaining Nexus of Similarities. | Giovanni Amendola, Pietro Cofone, Marco Manna, Aldo Ricioppo |
| 2022 | LPNMR | Solving Problems in the Polynomial Hierarchy with ASP(Q). | Giovanni Amendola, Bernardo Cuteri, Francesco Ricca, Mirek Truszczynski |
| 2021 | ICLP | Modeling Clique Coloring via ASP(Q). | Giovanni Amendola, Giovanni Rotondaro |
| 2021 | JELIA | Testing in ASP: Revisited Language and Programming Environment. | Giovanni Amendola, Tobias Berei, Francesco Ricca |
| 2020 | IJCAI | A Formal Approach for Cautious Reasoning in Answer Set Programming (Extended Abstract). | Giovanni Amendola, Carmine Dodaro, Marco Maratea |
| 2019 | JELIA | Algorithm Selection for Paracoherent Answer Set Computation. | Giovanni Amendola, Carmine Dodaro, Wolfgang Faber, Luca Pulina, Francesco Ricca |
| 2019 | JELIA | Extending Bell Numbers for Parsimonious Chase Estimation. | Giovanni Amendola, Cinzia Marte |
| 2019 | LPNMR | Evaluation of Disjunctive Programs in WASP. | Mario Alviano, Giovanni Amendola, Carmine Dodaro, Nicola Leone, Marco Maratea, Francesco Ricca |
| 2018 | AAAI | Externally Supported Models for Efficient Computation of Paracoherent Answer Sets. | Giovanni Amendola, Carmine Dodaro, Wolfgang Faber, Francesco Ricca |
| 2018 | IJCAI | Explainable Certain Answers. | Giovanni Amendola, Leonid Libkin |
| 2018 | IJCAI | Finite Controllability of Conjunctive Query Answering with Existential Rules: Two Steps Forward. | Giovanni Amendola, Nicola Leone, Marco Manna |
| 2018 | IJCAI | Enhancing Existential Rules by Closed-World Variables. | Giovanni Amendola, Nicola Leone, Marco Manna, Pierfrancesco Veltri |
| 2018 | KR | A Generator of Hard 2QBF Formulas and ASP Programs. | Giovanni Amendola, Francesco Ricca, Mirek Truszczynski |
| 2017 | AAAI | Minimal Undefinedness for Fuzzy Answer Sets. | Mario Alviano, Giovanni Amendola, Rafael Pealoza |
| 2017 | AAAI | On the Computation of Paracoherent Answer Sets. | Giovanni Amendola, Carmine Dodaro, Wolfgang Faber, Nicola Leone, Francesco Ricca |
| 2017 | ICLP | Entity set expansion from the Web via ASP. | Weronika T. Adrian, Marco Manna, Nicola Leone, Giovanni Amendola, Marek Adrian |
| 2017 | ICLP | Reasoning on anonymity in Datalog+/-. | Giovanni Amendola, Nicola Leone, Marco Manna, Pierfrancesco Veltri |
| 2017 | IJCAI | Generating Hard Random Boolean Formulas and Disjunctive Logic Programs. | Giovanni Amendola, Francesco Ricca, Miroslaw Truszczynski |
| 2016 | IJCAI | Modeling and Reasoning about NTU Games via Answer Set Programming. | Giovanni Amendola, Gianluigi Greco, Nicola Leone, Pierfrancesco Veltri |
| 2016 | SAT | ASPQ: An ASP-Based 2QBF Solver. | Giovanni Amendola, Carmine Dodaro, Francesco Ricca |
| 2014 | JELIA | Modular Paracoherent Answer Sets. | Giovanni Amendola, Thomas Eiter, Nicola Leone |