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
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 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.; Manco, G.; Pesenti, V.; Quarta, A.; Ricca, F.; Ritacco, E.
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 Parallel ASP Instantiator Based on DLV
2010-01-01 Perri, Simona; Ricca, Francesco; Marco, Sirianni
A REST-based development framework for ASP: Tools and application
2018-01-01 Catalano, Gelsomina; Laboccetta, Giovanni; Reale, Kristian; Ricca, Francesco; Veltri, Pierfrancesco
A Sequence to Sequence Approach for Knowledge Base Relation Linking
2021-01-01 Barbara, Vito; Manuel, Borroto; Ricca, Francesco
A system for translating natural language questions into SPARQL queries with neural networks: Preliminary results (Discussion Paper)
2021-01-01 BORROTO SANTANA, MANUEL ALEJANDRO; Ricca, Francesco; Cuteri, Bernardo
| 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 | |
| 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 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.; Manco, G.; Pesenti, V.; Quarta, A.; Ricca, F.; Ritacco, E. | |
| 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 Parallel ASP Instantiator Based on DLV | 1-gen-2010 | Perri, Simona; Ricca, Francesco; Marco, Sirianni | |
| A REST-based development framework for ASP: Tools and application | 1-gen-2018 | Catalano, Gelsomina; Laboccetta, Giovanni; Reale, Kristian; Ricca, Francesco; Veltri, Pierfrancesco | |
| A Sequence to Sequence Approach for Knowledge Base Relation Linking | 1-gen-2021 | Barbara, Vito; Manuel, Borroto; Ricca, Francesco | |
| A system for translating natural language questions into SPARQL queries with neural networks: Preliminary results (Discussion Paper) | 1-gen-2021 | BORROTO SANTANA, MANUEL ALEJANDRO; Ricca, Francesco; Cuteri, Bernardo |