Francesco Ricca
Francesco Ricca
Associate professor of computer science, University of Calabria
Verified email at mat.unical.it - Homepage
Title
Cited by
Cited by
Year
ASP-Core-2: Input language format
F Calimeri, W Faber, M Gebser, G Ianni, R Kaminski, T Krennwallner, ...
ASP Standardization Working Group, 2012
1342012
Advances in WASP
M Alviano, C Dodaro, N Leone, F Ricca
International Conference on Logic Programming and Nonmonotonic Reasoning, 40-54, 2015
1172015
Design and results of the fifth answer set programming competition
F Calimeri, M Gebser, M Maratea, F Ricca
Artificial Intelligence 231, 151-181, 2016
1052016
Team-building with answer set programming in the Gioia-Tauro seaport
F Ricca, G Grasso, M Alviano, M Manna, V Lio, S Iiritano, N Leone
arXiv preprint arXiv:1101.4554, 2011
1052011
WASP: A native ASP solver based on constraint learning
M Alviano, C Dodaro, W Faber, N Leone, F Ricca
International Conference on Logic Programming and Nonmonotonic Reasoning, 54-66, 2013
1032013
Structural investigations of humic acid from leonardite by spectroscopic methods and thermal analysis
G Ricca, L Federico, C Astori, R Gallo
Geoderma 57 (3), 263-274, 1993
1021993
ASPIDE: Integrated development environment for answer set programming
O Febbraro, K Reale, F Ricca
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2011
792011
The third answer set programming competition: Preliminary report of the system competition track
F Calimeri, G Ianni, F Ricca, M Alviano, A Bria, G Catalano, S Cozza, ...
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2011
772011
The third open answer set programming competition
F Calimeri, G Ianni, F Ricca
Theory and Practice of Logic Programming 14 (1), 117-135, 2014
752014
OntoDLV: an ASP-based system for enterprise ontologies
F Ricca, L Gallucci, R Schindlauer, T Dell’Armi, G Grasso, N Leone
Journal of Logic and Computation 19 (4), 643-670, 2009
682009
Disjunctive logic programming with types and objects: The dlv+ system
F Ricca, N Leone
Journal of Applied Logic 5 (3), 545-573, 2007
652007
A MaxSAT algorithm using cardinality constraints of bounded size
M Alviano, C Dodaro, F Ricca
Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
622015
The fourth answer set programming competition: Preliminary report
M Alviano, F Calimeri, G Charwat, M Dao-Tran, C Dodaro, G Ianni, ...
International Conference on Logic Programming and Nonmonotonic Reasoning, 42-53, 2013
602013
A multi-engine approach to answer set programming
M Maratea, L Pulina, F Ricca
arXiv preprint arXiv:1306.4925, 2013
562013
The asp system DLV2
M Alviano, F Calimeri, C Dodaro, D Fuscą, N Leone, S Perri, F Ricca, ...
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2017
522017
The sixth answer set programming competition
M Gebser, M Maratea, F Ricca
Journal of Artificial Intelligence Research 60, 41-95, 2017
492017
A logic-based system for e-tourism
F Ricca, A Dimasi, G Grasso, SM Ielpa, S Iiritano, M Manna, N Leone
Fundamenta Informaticae 105 (1-2), 35-55, 2010
492010
Look-back techniques and heuristics in DLV: Implementation, evaluation, and comparison to QBF solvers
M Maratea, F Ricca, W Faber, N Leone
Journal of Algorithms 63 (1-3), 70-89, 2008
392008
A backjumping technique for disjunctive logic programming
F Ricca, W Faber, N Leone
AI Communications 19 (2), 155-172, 2006
392006
Combining answer set programming and domain heuristics for solving hard industrial problems (application paper)
C Dodaro, P Gasteiger, N Leone, B Musitsch, F Ricca, K Shchekotykhin
Theory and Practice of Logic Programming 16 (5-6), 653-669, 2016
382016
The system can't perform the operation now. Try again later.
Articles 1–20