IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 84
Titolo Data di pubblicazione Autore(i) File
Parallel Instantiation of ASP Programs 1-gen-2007 Calimeri, Francesco; Perri, Simona; Ricca, Francesco
Indexing Techniques for the DLV Instantiator 1-gen-2007 Catalano, G; Leone, Nicola; Perri, Simona
An integrated graphic tool for developing and testing DLV programs 1-gen-2007 Perri, Simona; Ricca, Francesco; Terracina, Giorgio; Cianni, D; Veltri, P.
Experimenting with Parallelism for the Instantiation of ASP Programs 1-gen-2007 Calimeri, Francesco; Perri, Simona; Ricca, Francesco
Enhancing DLV Instantiator by Backjumping Techniques 1-gen-2007 Perri, Simona; Scarcello, Francesco; Catalano, G; Leone, Nicola
On Demand Indexing for the DLV Instantiator 1-gen-2008 G., Catalano; Leone, Nicola; Perri, Simona
Increasing Parallelism while Instantiating ASP Programs 1-gen-2008 Calimeri, Francesco; Perri, Simona; Ricca, Francesco
Efficient Parallel ASP Instantiation via Dynamic Rewriting Workshop 1-gen-2008 Perri, S; Ricca, Francesco; Vescio, S.
Experimenting with Parallelism for the Instantiation of ASP Programs 1-gen-2008 Calimeri, Francesco; Perri, Simona; Ricca, Francesco
Efficient Parallel ASP Instantiation via Dynamic Rewriting 1-gen-2008 Perri, Simona; F., Ricca; S., Vescio
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
Advanced heuristics for parallel ASP instantiation 1-gen-2009 Perri, Simona; Ricca, Francesco; Sirianni, M.
Towards a Fully-Parallel DLV System 1-gen-2010 Perri, Simona; Ricca, Francesco; Sirianni, M.
A Parallel ASP Instantiator Based on DLV 1-gen-2010 Perri, Simona; Ricca, Francesco; Marco, Sirianni
Parallel Instantiation in DLV 1-gen-2010 Perri, Simona; Ricca, Francesco; Sirianni, M.
Handling Function Symbols in the DLV Grounder 1-gen-2011 Calimeri, Francesco; Cozza, S.; Leone, Nicola; Perri, Simona
The DLV Parallel Grounder 1-gen-2011 Perri, Simona; Ricca, Francesco; Sirianni, M.
The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track 1-gen-2011 Calimeri, Francesco; Ianni, Giovambattista; Ricca, Francesco; Alviano, Mario; Bria, Annamaria; Catalano, Gelsomina; Cozza, S; Faber, W; Febbraro, Onofrio; Leone, Nicola; Manna, Marco; Martello, A; Panetta, C; Perri, Simona; Reale, K; Santoro, Mc; Sirianni, M; Terracina, Giorgio; Veltri, P.
The Disjunctive Datalog System DLV 1-gen-2011 Alviano, Mario; Faber, Wolfgang; Leone, Nicola; Perri, Simona; Pfeifer, G; Terracina, Giorgio
Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates 1-gen-2011 Alviano, Mario; Calimeri, Francesco; Faber, Wolfgang; Leone, Nicola; Perri, Simona
Mostrati risultati da 21 a 40 di 84
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile