| 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 | 76 | 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 | 36 | 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 | 31 | 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 | 30 | 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 |
| Enhancing Existential Rules by Closed-World Variables. G Amendola, N Leone, M Manna, P Veltri IJCAI, 1676-1682, 2018 | 16 | 2018 |
| 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 |
| A generator of hard 2QBF formulas and ASP programs G Amendola, F Ricca, M Truszczynski Sixteenth International Conference on Principles of Knowledge Representation …, 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 |
| Beyond NP: quantifying over answer sets G Amendola, F Ricca, M Truszczynski Theory and Practice of Logic Programming 19 (5-6), 705-721, 2019 | 12 | 2019 |
| Finite Controllability of Conjunctive Query Answering with Existential Rules: Two Steps Forward. G Amendola, N Leone, M Manna IJCAI, 5189-5193, 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 |
| Explainable Certain Answers. G Amendola, L Libkin IJCAI, 1683-1690, 2018 | 9 | 2018 |
| ASPQ: An ASP-Based 2QBF Solver. G Amendola, C Dodaro, F Ricca QBF@ SAT, 49-54, 2016 | 9 | 2016 |
| New models for generating hard random boolean formulas and disjunctive logic programs G Amendola, F Ricca, M Truszczynski Artificial Intelligence 279, 103185, 2020 | 8 | 2020 |
Francesco RiccaFull Professor of Computer Science, University of CalabriaVerified email at mat.unical.it
