IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 163
Titolo Data di pubblicazione Autore(i) File
Parallel Instantiation of ASP Programs 1-gen-2007 Calimeri, Francesco; Perri, Simona; Ricca, Francesco
Frame Logic under Answer Set Semantics 1-gen-2007 Alviano, M; Calimeri, Francesco; Ianni, Giovambattista; Martello, A.
Experimenting with Parallelism for the Instantiation of ASP Programs 1-gen-2007 Calimeri, Francesco; Perri, Simona; Ricca, Francesco
External sources of knowledge and value invention in logic programming 1-gen-2007 Calimeri, Francesco; Cozza, S; Ianni, Giovambattista
Increasing Parallelism while Instantiating ASP Programs 1-gen-2008 Calimeri, Francesco; Perri, Simona; Ricca, Francesco
Computable Functions in ASP: Theory and Implementation -- [Winner of the ICLP TEST OF TIME AWARD at ICLP 2018] 1-gen-2008 Calimeri, Francesco; Cozza, S; Ianni, Giovambattista; Leone, Nicola
Experimenting with Parallelism for the Instantiation of ASP Programs 1-gen-2008 Calimeri, Francesco; Perri, Simona; Ricca, Francesco
Bottom-up Evaluation of Finitely Recursive Queries 1-gen-2009 Calimeri, Francesco; Cozza, S; Ianni, Giovambattista; Leone, Nicola
A Visual Tracer for DLV 1-gen-2009 Calimeri, Francesco; Leone, Nicola; Ricca, Francesco; Veltri, P.
An ASP System with Functions, Lists, and Sets 1-gen-2009 Calimeri, Francesco; Cozza, S; Ianni, Giovambattista; Leone, Nicola
Magic Sets for the Bottom-Up Evaluation of Finitely Recursive Programs 1-gen-2009 Calimeri, Francesco; Cozza, S; Ianni, Giovambattista; Leone, Nicola
Enhancing ASP by Functions: Decidable Classes and Implementation Techniques 1-gen-2010 Calimeri, Francesco; Cozza, Susanna; Ianni, Giovambattista; Leone, Nicola
Answer Set Programming 1-gen-2010 P. A., Bonatti; Calimeri, Francesco; Leone, Nicola; Ricca, Francesco
Handling Function Symbols in the DLV Grounder 1-gen-2011 Calimeri, Francesco; Cozza, S.; Leone, Nicola; Perri, Simona
Function Symbols in ASP: Overview and Perspectives 1-gen-2011 Alviano, Mario; Calimeri, Francesco; Faber, Wolfgang; Ianni, Giovambattista; Leone, Nicola
Web Reasoning and Rule Systems: Five Years into the Conference 1-gen-2011 Calimeri, Francesco; Hitzler, P.
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.
Finitely Recursive Programs: Decidability and Bottom-up Computation. 1-gen-2011 Calimeri, Francesco; Cozza, S; Ianni, Giovambattista; Leone, Nicola
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
On the Application of the Answer Set Programming System DLV in Industry: a Report from the Field 1-gen-2012 Calimeri, Francesco; Ricca, Francesco
Mostrati risultati da 21 a 40 di 163
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