Giovanni Amendola
Giovanni Amendola
Department of Mathematics and Computer Science, University of Calabria
Verified email at - Homepage
Cited by
Cited by
Evaluation of disjunctive programs in WASP
M Alviano, G Amendola, C Dodaro, N Leone, M Maratea, F Ricca
Logic Programming and Nonmonotonic Reasoning: 15th International Conference …, 2019
Semi-equilibrium models for paracoherent answer set programs
G Amendola, T Eiter, M Fink, N Leone, J Moura
Artificial Intelligence 234, 219-271, 2016
On the application of answer set programming to the conference paper assignment problem
G Amendola, C Dodaro, N Leone, F Ricca
AI* IA 2016 Advances in Artificial Intelligence: XVth International …, 2016
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
Generating Hard Random Boolean Formulas and Disjunctive Logic Programs.
G Amendola, F Ricca, M Truszczynski
IJCAI, 532-538, 2017
Finite model reasoning over existential rules
G Amendola, N Leone, M Manna
Theory and Practice of Logic Programming 17 (5-6), 726-743, 2017
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
Solving the Stable Roommates Problem using Incoherent Answer Set Programs.
G Amendola
RiCeRcA@ AI* IA 2272, 2018
Preliminary Results on Modeling Interdependent Scheduling Games via Answer Set Programming.
G Amendola
RiCeRcA@ AI* IA 2272, 2018
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
Externally Supported Models for Efficient Computation of Paracoherent Answer Sets.
G Amendola, C Dodaro, W Faber, F Ricca
AAAI, 2018
Modular paracoherent answer sets
G Amendola, T Eiter, N Leone
Logics in Artificial Intelligence: 14th European Conference, JELIA 2014 …, 2014
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
Enhancing Existential Rules by Closed-World Variables.
G Amendola, N Leone, M Manna, P Veltri
IJCAI, 1676-1682, 2018
Minimal undefinedness for fuzzy answer sets
M Alviano, G Amendola, R Penaloza
Proceedings of the AAAI Conference on Artificial Intelligence 31 (1), 2017
Finite Controllability of Conjunctive Query Answering with Existential Rules: Two Steps Forward.
G Amendola, N Leone, M Manna
IJCAI, 5189-5193, 2018
Explainable Certain Answers.
G Amendola, L Libkin
IJCAI, 1683-1690, 2018
ASPQ: An ASP-Based 2QBF Solver.
G Amendola, C Dodaro, F Ricca
QBF@ SAT, 49-54, 2016
Dealing with Incoherence in ASP: Split Semi-Equilibrium Semantics⋆
G Amendola
Second Doctoral Workshop in Artificial Intelligence (DWAI@AI*IA 2014), 23-32, 2014
Random models of very hard 2qbf and disjunctive programs: An overview
G Amendola, F Ricca, M Truszczynski
The system can't perform the operation now. Try again later.
Articles 1–20