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
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
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
242016
Generating Hard Random Boolean Formulas and Disjunctive Logic Programs.
G Amendola, F Ricca, M Truszczynski
IJCAI, 532-538, 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
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
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
152019
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
Modular paracoherent answer sets
G Amendola, T Eiter, N Leone
European Workshop on Logics in Artificial Intelligence, 457-471, 2014
132014
Access
G AMENDOLA, C DODARO, M MARATEA
Theory and Practice of Logic Programming 19 (5-6), 2019
112019
Enhancing Existential Rules by Closed-World Variables.
G Amendola, N Leone, M Manna, P Veltri
IJCAI, 1676-1682, 2018
112018
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
31th AAAI Conference on Artificial Intelligence (AAAI), 3694-3700, 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
62018
The system can't perform the operation now. Try again later.
Articles 1–20