RICCA, Francesco

RICCA, Francesco  

Dipartimento di Matematica e Informatica  

Mostra records
Risultati 1 - 20 di 191 (tempo di esecuzione: 0.018 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 W; NICOLA LEONE; FRANCESCO RICCA
A Backjumping Tecnique for Disjunctive Logic Programming 1-gen-2006 RICCA F; FABER W; LEONE N
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 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 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
A Visual Tracer for DLV 1-gen-2009 Calimeri, Francesco; Leone, Nicola; Ricca, Francesco; Veltri, P.
Advanced heuristics for parallel ASP instantiation 1-gen-2009 Perri, Simona; Ricca, Francesco; Sirianni, M.