RICCA, Francesco

RICCA, Francesco  

Dipartimento di Matematica e Informatica  

Mostra records
Risultati 1 - 20 di 205 (tempo di esecuzione: 0.032 secondi).
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 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
A Visual Interface for Drawing ASP Programs 1-gen-2010 Febbraro, O; Reale, K; Ricca, Francesco