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 | 65 | 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 | 35 | 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 | 30 | 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 | 27 | 2016 |
Generating Hard Random Boolean Formulas and Disjunctive Logic Programs. G Amendola, F Ricca, M Truszczynski IJCAI, 532-538, 2017 | 19 | 2017 |
Solving the Stable Roommates Problem using Incoherent Answer Set Programs. G Amendola RiCeRcA@ AI* IA 2272, 2018 | 17 | 2018 |
Finite model reasoning over existential rules G Amendola, N Leone, M Manna Theory and Practice of Logic Programming 17 (5-6), 726-743, 2017 | 17 | 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 | 17 | 2017 |
Preliminary Results on Modeling Interdependent Scheduling Games via Answer Set Programming. G Amendola RiCeRcA@ AI* IA 2272, 2018 | 16 | 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 | 16 | 2018 |
Enhancing Existential Rules by Closed-World Variables. G Amendola, N Leone, M Manna, P Veltri IJCAI, 1676-1682, 2018 | 14 | 2018 |
Externally Supported Models for Efficient Computation of Paracoherent Answer Sets. G Amendola, C Dodaro, W Faber, F Ricca AAAI, 2018 | 14 | 2018 |
Modular paracoherent answer sets G Amendola, T Eiter, N Leone European Workshop on Logics in Artificial Intelligence, 457-471, 2014 | 14 | 2014 |
A generator of hard 2QBF formulas and ASP programs G Amendola, F Ricca, M Truszczynski Sixteenth International Conference on Principles of Knowledge Representation …, 2018 | 12 | 2018 |
Finite Controllability of Conjunctive Query Answering with Existential Rules: Two Steps Forward. G Amendola, N Leone, M Manna IJCAI, 5189-5193, 2018 | 10 | 2018 |
Explainable Certain Answers. G Amendola, L Libkin IJCAI, 1683-1690, 2018 | 10 | 2018 |
Minimal undefinedness for fuzzy answer sets M Alviano, G Amendola, R Penaloza Proceedings of the AAAI Conference on Artificial Intelligence 31 (1), 2017 | 10 | 2017 |
Beyond NP: quantifying over answer sets G Amendola, F Ricca, M Truszczynski Theory and Practice of Logic Programming 19 (5-6), 705-721, 2019 | 9 | 2019 |
ASPQ: An ASP-Based 2QBF Solver. G Amendola, C Dodaro, F Ricca QBF@ SAT, 49-54, 2016 | 8 | 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 | 8 | 2014 |