RICCA, Francesco

RICCA, Francesco  

Dipartimento di Matematica e Informatica  

Mostra records
Risultati 1 - 20 di 184 (tempo di esecuzione: 0.041 secondi).
Titolo Data di pubblicazione Autore(i) File
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 DLP System with Object-Oriented Features 1-gen-2005 Ricca, Francesco; Leone, Nicola; DE BONIS, V; Dellarmi, T; Galizia, S; Grasso, G.
A graphic tool for ontology reasoning under Datalog∃ 1-gen-2013 Febbraro, O; Leone, Nicola; Ricca, F; Terracina, Giorgio; Veltri, P.
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 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 Visual Interface for Drawing ASP Programs 1-gen-2010 Febbraro, O; Reale, K; Ricca, Francesco
Advanced heuristics for parallel ASP instantiation 1-gen-2009 Perri, Simona; Ricca, Francesco; Sirianni, M.
Advances in Multi-engine ASP Solving 1-gen-2015 Maratea, M; Pulina, L; Ricca, Francesco
Advances in WASP 1-gen-2015 Alviano, Mario; Dodaro, C; Leone, Nicola; Ricca, Francesco
An Agent System Reasoning about the Web and the User 1-gen-2004 Ianni, Giovambattista; Ricca, Francesco; Calimeri, Francesco; Lio, V.; Galizia, S.
The AI system DLV: Ontologies, reasoning, and more 1-gen-2018 Allocca, C.; Calimeri, F.; Laboccetta, G.; Leone, N.; Manna, M.; Perri, S.; Ricca, F.; Veltri, P.; Zangari, J.
Algorithm Selection for Paracoherent Answer Set Computation 1-gen-2019 Amendola, G.; Dodaro, C.; Faber, W.; Pulina, Luca; Ricca, F.
Allotment Problem in Travel Industry: A Solution Based on ASP 1-gen-2015 Dodaro, C; Leone, Nicola; Nardi, B; Ricca, Francesco
An ASP-based system for team-building in the Gioia-Tauro seaport 1-gen-2010 Grasso, Giovanni; Iiritano, S; Leone, Nicola; Lio, V; Ricca, Francesco; Scalise, F.
An Heuristic for Load Balancing and Granularity Control in the Parallel Instantiation of Disjunctive Logic Programs 1-gen-2009 Perri, S; Sirianni, M; Ricca, Francesco
An integrated environment for reasoning over ontologies via logic programming 1-gen-2013 Nardi, B; Reale, K; Ricca, Francesco; Terracina, Giorgio
An integrated graphic tool for developing and testing DLV programs 1-gen-2007 Perri, Simona; Ricca, Francesco; Terracina, Giorgio; Cianni, D; Veltri, P.