Seguir
Giovanni Amendola
Giovanni Amendola
Department of Mathematics and Computer Science, University of Calabria
E-mail confirmado em mat.unical.it - Página inicial
Título
Citado por
Citado por
Ano
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
732019
Semi-equilibrium models for paracoherent answer set programs
G Amendola, T Eiter, M Fink, N Leone, J Moura
Artificial Intelligence 234, 219-271, 2016
362016
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
302016
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
292016
Generating Hard Random Boolean Formulas and Disjunctive Logic Programs.
G Amendola, F Ricca, M Truszczynski
IJCAI, 532-538, 2017
192017
Solving the Stable Roommates Problem using Incoherent Answer Set Programs.
G Amendola
RiCeRcA@ AI* IA 2272, 2018
172018
Finite model reasoning over existential rules
G Amendola, N Leone, M Manna
Theory and Practice of Logic Programming 17 (5-6), 726-743, 2017
172017
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
172017
Preliminary Results on Modeling Interdependent Scheduling Games via Answer Set Programming.
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
Enhancing Existential Rules by Closed-World Variables.
G Amendola, N Leone, M Manna, P Veltri
IJCAI, 1676-1682, 2018
152018
A generator of hard 2QBF formulas and ASP programs
G Amendola, F Ricca, M Truszczynski
Sixteenth International Conference on Principles of Knowledge Representation …, 2018
142018
Externally Supported Models for Efficient Computation of Paracoherent Answer Sets.
G Amendola, C Dodaro, W Faber, F Ricca
AAAI, 2018
142018
Modular paracoherent answer sets
G Amendola, T Eiter, N Leone
European Workshop on Logics in Artificial Intelligence, 457-471, 2014
142014
Beyond NP: quantifying over answer sets
G Amendola, F Ricca, M Truszczynski
Theory and Practice of Logic Programming 19 (5-6), 705-721, 2019
122019
Finite Controllability of Conjunctive Query Answering with Existential Rules: Two Steps Forward.
G Amendola, N Leone, M Manna
IJCAI, 5189-5193, 2018
102018
Minimal undefinedness for fuzzy answer sets
M Alviano, G Amendola, R Penaloza
Proceedings of the AAAI Conference on Artificial Intelligence 31 (1), 2017
102017
Explainable Certain Answers.
G Amendola, L Libkin
IJCAI, 1683-1690, 2018
92018
ASPQ: An ASP-Based 2QBF Solver.
G Amendola, C Dodaro, F Ricca
QBF@ SAT, 49-54, 2016
92016
New models for generating hard random boolean formulas and disjunctive logic programs
G Amendola, F Ricca, M Truszczynski
Artificial Intelligence 279, 103185, 2020
82020
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20