Giovanni Amendola
Giovanni Amendola
Department of Mathematics and Computer Science, University of Calabria
Verified email at mat.unical.it
Title
Cited by
Cited by
Year
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
252016
Semi-equilibrium models for paracoherent answer set programs
G Amendola, T Eiter, M Fink, N Leone, J Moura
Artificial Intelligence 234, 219-271, 2016
252016
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
232019
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
232016
Generating Hard Random Boolean Formulas and Disjunctive Logic Programs.
G Amendola, F Ricca, M Truszczynski
IJCAI, 532-538, 2017
172017
Finite model reasoning over existential rules
G Amendola, N Leone, M Manna
arXiv preprint arXiv:1707.01870, 2017
172017
Solving the Stable Roommates Problem using Incoherent Answer Set Programs.
G Amendola
RiCeRcA@ AI* IA 2272, 2018
162018
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
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
Preliminary Results on Modeling Interdependent Scheduling Games via Answer Set Programming.
G Amendola
RiCeRcA@ AI* IA 2272, 2018
142018
Externally Supported Models for Efficient Computation of Paracoherent Answer Sets.
G Amendola, C Dodaro, W Faber, F Ricca
AAAI, 2018
132018
Enhancing Existential Rules by Closed-World Variables.
G Amendola, N Leone, M Manna, P Veltri
IJCAI, 1676-1682, 2018
132018
Modular paracoherent answer sets
G Amendola, T Eiter, N Leone
European Workshop on Logics in Artificial Intelligence, 457-471, 2014
132014
A generator of hard 2QBF formulas and ASP programs
G Amendola, F Ricca, M Truszczynski
Principles of Knowledge Representation and Reasoning: Proceedings of the …, 2018
102018
Minimal undefinedness for fuzzy answer sets
M Alviano, G Amendola, R Peņaloza
Proceedings of the AAAI Conference on Artificial Intelligence 31 (1), 2017
102017
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
72018
Explainable Certain Answers.
G Amendola, L Libkin
IJCAI, 1683-1690, 2018
62018
The system can't perform the operation now. Try again later.
Articles 1–20