RICCA, Francesco
RICCA, Francesco
Dipartimento di Matematica e Informatica
"Backjumping and Look-back Heuristics for Disjunctive Logic Programming
2008-01-01 Faber, W; Ricca, Francesco; Leone, Nicola; M., Maratea
2-ASP(Q) Solving Based on CEGAR
2026-01-01 Cuteri, A.; Mazzotta, G.; Ricca, F.
20th {RCRA} International workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion"
2015-01-01 Mancini, T; Maratea, M; Ricca, Francesco
A Backjumping Technique for Disjunctive Logic Programming
2005-01-01 Faber, Wolfgang; Leone, Nicola; Ricca, Francesco
A Backjumping Tecnique for Disjunctive Logic Programming
2006-01-01 Ricca, Francesco; Faber, W; Leone, Nicola
A compiler for stratified Datalog programs: preliminary results
2017-01-01 Cuteri, Bernardo; Ricca, Francesco
A Declarative Framework for Temporal Reasoning in Green-Aware Applications
2024-01-01 De Giacomo, Giuseppe; Fionda, Valeria; Gigante, Nicola; Ielo, Antonio; Ricca, Francesco; Russo, Alessandra
A Direct ASP Encoding for Declare
2024-01-01 Chiariello, Francesco; Fionda, Valeria; Ielo, Antonio; Ricca, Francesco
A DLP System with Object-Oriented Features
2005-01-01 Ricca, Francesco; Leone, Nicola; DE BONIS, V; Dellarmi, T; Galizia, S; Grasso, G.
A Generator of Hard 2QBF Formulas and ASP Programs
2018-01-01 Amendola, Giovanni; Ricca, Francesco; Truszczynski, Mirek
A graphic tool for ontology reasoning under Datalog∃
2013-01-01 Febbraro, O; Leone, Nicola; Ricca, F; Terracina, Giorgio; Veltri, P.
A Java wrapper for DLV
2003-01-01 Ricca, Francesco
A Logic-Based Question Answering System for Cultural Heritage
2019-01-01 Cuteri, B.; Reale, K.; Ricca, F.
A Logic-Based System for e-Tourism
2010-01-01 Ricca, Francesco; Alviano, Mario; Dimasi, A; Grasso, Giovanni; Ielpa, S; Iiritano, S; Manna, Marco; Leone, Nicola
A Loosely-coupled Neural-symbolic approach to Compliance of Electric Panels
2022-01-01 Barbara, V.; Buelli, D.; Guarascio, M.; Ierace, S.; Iiritano, S.; Laboccetta, G.; Leone, N.; Pesenti, V.; Quarta, A.; Ricca, F.; Ritacco, E.; Manco, G.
A MaxSAT Algorithm Using Cardinality Constraints of Bounded Size
2015-01-01 Alviano, Mario; Dodaro, C; Ricca, Francesco
A multi-engine approach to answer-set programming
2014-01-01 Maratea, M; Pulina, L; Ricca, Francesco
A Neural-Machine-Translation System Resilient to Out of Vocabulary Words for Translating Natural Language to SPARQL
2021-01-01 Borroto, M.; Ricca, F.; Cuteri, B.
A Novel Framework for Reasoning over Optimization Problems in Probabilistic Answer Set Programming
2025-01-01 Azzolini, D.; Mazzotta, G.; Ricca, F.; Riguzzi, F.
A Parallel ASP Instantiator Based on DLV
2010-01-01 Perri, Simona; Ricca, Francesco; Marco, Sirianni
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| "Backjumping and Look-back Heuristics for Disjunctive Logic Programming | 1-gen-2008 | Faber, W; Ricca, Francesco; Leone, Nicola; M., Maratea | |
| 2-ASP(Q) Solving Based on CEGAR | 1-gen-2026 | Cuteri, A.; Mazzotta, G.; Ricca, F. | |
| 20th {RCRA} International workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion" | 1-gen-2015 | Mancini, T; Maratea, M; Ricca, Francesco | |
| A Backjumping Technique for Disjunctive Logic Programming | 1-gen-2005 | Faber, Wolfgang; Leone, Nicola; Ricca, Francesco | |
| A Backjumping Tecnique for Disjunctive Logic Programming | 1-gen-2006 | Ricca, Francesco; Faber, W; Leone, Nicola | |
| A compiler for stratified Datalog programs: preliminary results | 1-gen-2017 | Cuteri, Bernardo; Ricca, Francesco | |
| A Declarative Framework for Temporal Reasoning in Green-Aware Applications | 1-gen-2024 | De Giacomo, Giuseppe; Fionda, Valeria; Gigante, Nicola; Ielo, Antonio; Ricca, Francesco; Russo, Alessandra | |
| A Direct ASP Encoding for Declare | 1-gen-2024 | Chiariello, Francesco; Fionda, Valeria; Ielo, Antonio; Ricca, Francesco | |
| A DLP System with Object-Oriented Features | 1-gen-2005 | Ricca, Francesco; Leone, Nicola; DE BONIS, V; Dellarmi, T; Galizia, S; Grasso, G. | |
| A Generator of Hard 2QBF Formulas and ASP Programs | 1-gen-2018 | Amendola, Giovanni; Ricca, Francesco; Truszczynski, Mirek | |
| A graphic tool for ontology reasoning under Datalog∃ | 1-gen-2013 | Febbraro, O; Leone, Nicola; Ricca, F; Terracina, Giorgio; Veltri, P. | |
| A Java wrapper for DLV | 1-gen-2003 | Ricca, Francesco | |
| A Logic-Based Question Answering System for Cultural Heritage | 1-gen-2019 | Cuteri, B.; Reale, K.; Ricca, F. | |
| A Logic-Based System for e-Tourism | 1-gen-2010 | Ricca, Francesco; Alviano, Mario; Dimasi, A; Grasso, Giovanni; Ielpa, S; Iiritano, S; Manna, Marco; Leone, Nicola | |
| A Loosely-coupled Neural-symbolic approach to Compliance of Electric Panels | 1-gen-2022 | Barbara, V.; Buelli, D.; Guarascio, M.; Ierace, S.; Iiritano, S.; Laboccetta, G.; Leone, N.; Pesenti, V.; Quarta, A.; Ricca, F.; Ritacco, E.; Manco, G. | |
| A MaxSAT Algorithm Using Cardinality Constraints of Bounded Size | 1-gen-2015 | Alviano, Mario; Dodaro, C; Ricca, Francesco | |
| A multi-engine approach to answer-set programming | 1-gen-2014 | Maratea, M; Pulina, L; Ricca, Francesco | |
| A Neural-Machine-Translation System Resilient to Out of Vocabulary Words for Translating Natural Language to SPARQL | 1-gen-2021 | Borroto, M.; Ricca, F.; Cuteri, B. | |
| A Novel Framework for Reasoning over Optimization Problems in Probabilistic Answer Set Programming | 1-gen-2025 | Azzolini, D.; Mazzotta, G.; Ricca, F.; Riguzzi, F. | |
| A Parallel ASP Instantiator Based on DLV | 1-gen-2010 | Perri, Simona; Ricca, Francesco; Marco, Sirianni |