Giovanni Amendola
Giovanni Amendola
Department of Mathematics and Computer Science, University of Calabria
Verified email at mat.unical.it
TitleCited byYear
On the application of answer set programming to the conference paper assignment problem
G Amendola, C Dodaro, N Leone, F Ricca
Conference of the Italian Association for Artificial Intelligence, 164-178, 2016
242016
Modeling and reasoning about NTU games via answer set programming
G Amendola, G Greco, N Leone, P Veltri
Proceedings of the Twenty-Fifth International Joint Conference on Artificial …, 2016
232016
Semi-equilibrium models for paracoherent answer set programs
G Amendola, T Eiter, M Fink, N Leone, J Moura
Artificial Intelligence 234, 219-271, 2016
212016
Entity set expansion from the web via ASP
WT Adrian, M Manna, N Leone, G Amendola, M Adrian
Technical Communications of the 33rd International Conference on Logic …, 2018
162018
Finite model reasoning over existential rules
G Amendola, N Leone, M Manna
Theory and Practice of Logic Programming 17 (5-6), 726-743, 2017
162017
On the computation of paracoherent answer sets
G Amendola, C Dodaro, W Faber, N Leone, F Ricca
Thirty-First AAAI Conference on Artificial Intelligence, 1034-1040, 2017
162017
Solving the Stable Roommates Problem using Incoherent Answer Set Programs.
G Amendola
RiCeRcA@ AI* IA 2272, 2018
152018
Generating Hard Random Boolean Formulas and Disjunctive Logic Programs.
G Amendola, F Ricca, M Truszczynski
IJCAI, 532-538, 2017
152017
Preliminary Results on Modeling Interdependent Scheduling Games via Answer Set Programming.
G Amendola
RiCeRcA@ AI* IA 2272, 2018
142018
Evaluation of disjunctive programs in WASP
M Alviano, G Amendola, C Dodaro, N Leone, M Maratea, F Ricca
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2019
132019
Externally Supported Models for Efficient Computation of Paracoherent Answer Sets.
G Amendola, C Dodaro, W Faber, F Ricca
AAAI, 2018
132018
Modular paracoherent answer sets
G Amendola, T Eiter, N Leone
European Workshop on Logics in Artificial Intelligence, 457-471, 2014
132014
Enhancing Existential Rules by Closed-World Variables.
G Amendola, N Leone, M Manna, P Veltri
IJCAI, 1676-1682, 2018
112018
Minimal undefinedness for fuzzy answer sets
M Alviano, G Amendola, R Peņaloza
Thirty-First AAAI Conference on Artificial Intelligence, 2017
102017
A generator of hard 2qbf formulas and asp programs
G Amendola, F Ricca, M Truszczynski
Sixteenth International Conference on Principles of Knowledge Representation …, 2018
92018
ASPQ: An ASP-Based 2QBF Solver.
G Amendola, C Dodaro, F Ricca
QBF@ SAT, 49-54, 2016
82016
Dealing with Incoherence in ASP: Split Semi-Equilibrium Semantics⋆
G Amendola
Second Doctoral Workshop in Artificial Intelligence (DWAI@AI*IA 2014), 23-32, 2014
82014
Random models of very hard 2qbf and disjunctive programs: An overview
G Amendola, F Ricca, M Truszczynski
72018
Finite Controllability of Conjunctive Query Answering with Existential Rules: Two Steps Forward.
G Amendola, N Leone, M Manna
IJCAI, 5189-5193, 2018
62018
Algorithm selection for paracoherent answer set computation
G Amendola, C Dodaro, W Faber, L Pulina, F Ricca
European Conference on Logics in Artificial Intelligence, 479-489, 2019
42019
The system can't perform the operation now. Try again later.
Articles 1–20