


default search action
Francesco Ricca
- > Home > Persons > Francesco Ricca
Publications
- 2021
- [c95]Riccardo Bertolucci, Carmine Dodaro, Giuseppe Galatà, Marco Maratea, Ivan Porro, Francesco Ricca:
Explaining ASP-based Operating Room Schedules. IPS-RCRA@AI*IA 2021 - 2020
- [j40]Martin Gebser
, Marco Maratea, Francesco Ricca
:
The Seventh Answer Set Programming Competition: Design and Results. Theory Pract. Log. Program. 20(2): 176-204 (2020) - [j38]Francesco Calimeri, Wolfgang Faber
, Martin Gebser
, Giovambattista Ianni, Roland Kaminski, Thomas Krennwallner, Nicola Leone, Marco Maratea, Francesco Ricca, Torsten Schaub
:
ASP-Core-2 Input Language Format. Theory Pract. Log. Program. 20(2): 294-309 (2020) - [e2]Francesco Ricca, Alessandra Russo, Sergio Greco, Nicola Leone, Alexander Artikis, Gerhard Friedrich, Paul Fodor, Angelika Kimmig, Francesca A. Lisi, Marco Maratea, Alessandra Mileo, Fabrizio Riguzzi:
Proceedings 36th International Conference on Logic Programming (Technical Communications), ICLP Technical Communications 2020, (Technical Communications) UNICAL, Rende (CS), Italy, 18-24th September 2020. EPTCS 325, 2020 [contents] - 2019
- [c79]Mario Alviano
, Giovanni Amendola
, Carmine Dodaro
, Nicola Leone
, Marco Maratea
, Francesco Ricca
:
Evaluation of Disjunctive Programs in WASP. LPNMR 2019: 241-255 - [d1]Mario Alviano
, Giovanni Amendola
, Carmine Dodaro
, Nicola Leone
, Marco Maratea
, Francesco Ricca
:
Evaluation of disjunctive programs in WASP. Zenodo, 2019 - [i25]Martin Gebser, Marco Maratea, Francesco Ricca:
The Seventh Answer Set Programming Competition: Design and Results. CoRR abs/1904.09134 (2019) - [i20]Francesco Calimeri, Wolfgang Faber, Martin Gebser, Giovambattista Ianni, Roland Kaminski, Thomas Krennwallner, Nicola Leone, Marco Maratea, Francesco Ricca, Torsten Schaub:
ASP-Core-2 Input Language Format. CoRR abs/1911.04326 (2019) - 2018
- [c72]Martin Gebser
, Nicola Leone, Marco Maratea, Simona Perri
, Francesco Ricca, Torsten Schaub
:
Evaluation Techniques and Systems for Answer Set Programming: a Survey. IJCAI 2018: 5450-5456 - 2017
- [j27]Martin Gebser
, Marco Maratea, Francesco Ricca:
The Sixth Answer Set Programming Competition. J. Artif. Intell. Res. 60: 41-95 (2017) - [c65]Martin Gebser
, Marco Maratea, Francesco Ricca:
The Design of the Seventh Answer Set Programming Competition. LPNMR 2017: 3-9 - 2016
- [j25]Francesco Calimeri, Martin Gebser
, Marco Maratea, Francesco Ricca:
Design and results of the Fifth Answer Set Programming Competition. Artif. Intell. 231: 151-181 (2016) - [j24]Toni Mancini
, Marco Maratea, Francesco Ricca:
Experimental evaluation of algorithms for solving problems with combinatorial explosion. AI Commun. 29(2): 245-247 (2016) - [j23]Yuliya Lierler, Marco Maratea, Francesco Ricca:
Systems, Engineering Environments, and Competitions. AI Mag. 37(3): 45-52 (2016) - [c61]Martin Gebser, Marco Maratea, Francesco Ricca:
What's Hot in the Answer Set Programming Competition. AAAI 2016: 4327-4329 - 2015
- [j20]Toni Mancini
, Marco Maratea, Francesco Ricca:
20th RCRA International workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion". J. Exp. Theor. Artif. Intell. 27(5): 501-502 (2015) - [j19]Marco Maratea, Luca Pulina
, Francesco Ricca:
Multi-engine ASP solving with policy adaptation. J. Log. Comput. 25(6): 1285-1306 (2015) - [c56]Marco Maratea, Luca Pulina
, Francesco Ricca:
Advances in Multi-engine ASP Solving. AI*IA 2015: 179-190 - [c52]Marco Maratea, Luca Pulina
, Francesco Ricca:
Multi-level Algorithm Selection for ASP. LPNMR 2015: 439-445 - [c51]Martin Gebser
, Marco Maratea, Francesco Ricca:
The Design of the Sixth Answer Set Programming Competition - - Report -. LPNMR 2015: 531-544 - 2014
- [j15]Marco Maratea, Luca Pulina
, Francesco Ricca:
A multi-engine approach to answer-set programming. Theory Pract. Log. Program. 14(6): 841-868 (2014) - [i9]Marco Maratea, Luca Pulina, Francesco Ricca:
The Multi-engine ASP Solver ME-ASP: Progress Report. CoRR abs/1405.0876 (2014) - [i7]Francesco Calimeri, Martin Gebser, Marco Maratea, Francesco Ricca:
The Design of the Fifth Answer Set Programming Competition. CoRR abs/1405.3710 (2014) - 2013
- [c44]Marco Maratea, Luca Pulina
, Francesco Ricca:
Automated Selection of Grounding Algorithm in Answer Set Programming. AI*IA 2013: 73-84 - [i6]Marco Maratea, Luca Pulina, Francesco Ricca:
A Multi-Engine Approach to Answer Set Programming. CoRR abs/1306.4925 (2013) - 2012
- [c34]Marco Maratea, Luca Pulina
, Francesco Ricca:
Applying Machine Learning Techniques to ASP Solving. ICLP (Technical Communications) 2012: 37-48 - [c33]Marco Maratea, Luca Pulina
, Francesco Ricca:
The Multi-Engine ASP Solver me-asp. JELIA 2012: 484-487 - 2011
- [j10]Wolfgang Faber
, Nicola Leone
, Marco Maratea, Francesco Ricca:
Look-back Techniques for ASP Programs with Aggregates. Fundam. Informaticae 107(4): 379-413 (2011) - 2010
- [c17]Marco Maratea, Francesco Ricca, Pierfrancesco Veltri:
DLVMC: Enhanced Model Checking in DLV. JELIA 2010: 365-368 - 2008
- [j6]Marco Maratea, Francesco Ricca, Wolfgang Faber
, Nicola Leone
:
Look-back techniques and heuristics in DLV: Implementation, evaluation, and comparison to QBF solvers. J. Algorithms 63(1-3): 70-89 (2008) - [c9]Wolfgang Faber, Nicola Leone, Marco Maratea, Francesco Ricca:
Look-back Techniques for ASP Programs with Aggregates. RCRA 2008 - 2007
- [c8]Wolfgang Faber, Nicola Leone, Marco Maratea, Francesco Ricca:
Experimenting with Look-Back Heuristics for Hard ASP Programs. LPNMR 2007: 110-122

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
[+][–] Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
[+][–] Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-05-12 21:37 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint