Folgen
Francesco Ricca
Francesco Ricca
Full Professor of Computer Science, University of Calabria
Bestätigte E-Mail-Adresse bei mat.unical.it - Startseite
Titel
Zitiert von
Zitiert von
Jahr
ASP-Core-2 input language format
F Calimeri, W Faber, M Gebser, G Ianni, R Kaminski, T Krennwallner, ...
Theory and Practice of Logic Programming 20 (2), 294-309, 2020
2292020
ASP-Core-2: Input language format
F Calimeri, W Faber, M Gebser, G Ianni, R Kaminski, T Krennwallner, ...
ASP Standardization Working Group, 2012
1712012
Advances in WASP
M Alviano, C Dodaro, N Leone, F Ricca
Logic Programming and Nonmonotonic Reasoning: 13th International Conference …, 2015
1592015
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
Theory and Practice of Logic Programming 12 (3), 361-381, 2012
1542012
Design and results of the fifth answer set programming competition
F Calimeri, M Gebser, M Maratea, F Ricca
Artificial Intelligence 231, 151-181, 2016
1452016
The asp system dlv2
M Alviano, F Calimeri, C Dodaro, D Fuscà, N Leone, S Perri, F Ricca, ...
Logic Programming and Nonmonotonic Reasoning: 14th International Conference …, 2017
1342017
WASP: A native ASP solver based on constraint learning
M Alviano, C Dodaro, W Faber, N Leone, F Ricca
Logic Programming and Nonmonotonic Reasoning: 12th International Conference …, 2013
1322013
ASPIDE: Integrated development environment for answer set programming
O Febbraro, K Reale, F Ricca
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2011
1022011
A MaxSAT algorithm using cardinality constraints of bounded size
M Alviano, C Dodaro, F Ricca
Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
912015
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, ...
Logic Programming and Nonmonotonic Reasoning: 11th International Conference …, 2011
872011
The third open answer set programming competition
F Calimeri, G Ianni, F Ricca
Theory and Practice of Logic Programming 14 (1), 117-135, 2014
852014
Evaluation Techniques and Systems for Answer Set Programming: a Survey.
M Gebser, N Leone, M Maratea, S Perri, F Ricca, T Schaub
IJCAI 18, 5450-5456, 2018
822018
The sixth answer set programming competition
M Gebser, M Maratea, F Ricca
Journal of Artificial Intelligence Research 60, 41-95, 2017
822017
A multi-engine approach to answer-set programming
M Maratea, L Pulina, F Ricca
Theory and Practice of Logic Programming 14 (6), 841-868, 2014
802014
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
782009
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
The fourth answer set programming competition: Preliminary report
M Alviano, F Calimeri, G Charwat, M Dao-Tran, C Dodaro, G Ianni, ...
Logic Programming and Nonmonotonic Reasoning: 12th International Conference …, 2013
722013
Disjunctive logic programming with types and objects: The dlv+ system
F Ricca, N Leone
Journal of Applied Logic 5 (3), 545-573, 2007
712007
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
692016
The ASP system DLV: advancements and applications
WT Adrian, M Alviano, F Calimeri, B Cuteri, C Dodaro, W Faber, D Fuscà, ...
KI-Künstliche Intelligenz 32, 177-179, 2018
602018
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20