Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 84
Titolo Data di pubblicazione Autore(i) File
Utilizzo di AI per la Programmazione Logica Disgiuntiva 1-gen-1999 Leone, Nicola; Perri, S.; Rullo, P.
Local Search Techniques for Disjunctive Logic Programs 1-gen-2000 Leone, Nicola; Perri, Simona; Rullo, Pasquale
Join Ordering Techniques for Knowledge Base Systems 1-gen-2001 Leone, Nicola; Perri, Simona; Scarcello, F.
DLV - Declarative Problem Solving Using Answer Set Programming 1-gen-2001 Calimeri, Francesco; Faber, Wolfgang; Leone, Nicola; Perri, Simona; Pfeifer, G.
Abduction with Penalization in Logic Programming 1-gen-2001 Leone, Nicola; Perri, Simona; Scarcello, F.
Improving ASP Instantiators by Join-Ordering Methods 1-gen-2001 Leone, Nicola; Perri, Simona; Scarcello, F.
System Description: DLV 1-gen-2001 Dell'Armi, T.; Ielpa, G.; Faber, Wolfgang; Leone, Nicola; Perri, Simona; Pfeifer, G.
Census Data Repair: A Challenging Application of Disjunctive Logic Programming 1-gen-2001 Franconi, E; LAURETI PALMA, A; Leone, Nicola; Perri, Simona; Scarcello, Francesco
The DLV System 1-gen-2002 Leone, Nicola; Pfeifer, G; Faber, Wolfgang; Calimeri, Francesco; Dell'Armi, Tina; Eiter, T; Gottlob, G; Ianni, Giovambattista; Ielpa, Giuseppe; Koch, C; Perri, Simona; Polleres, A.
Advanced BackJumping Techniques for Rule Instantiations 1-gen-2003 Perri, Simona; Scarcello, F.
Parametric Connectives in Disjunctive Logic Programming 1-gen-2003 Leone, Nicola; Perri, Simona
BackJumping Techniques for Rules Instantiation in the DLV System 1-gen-2004 Leone, Nicola; Perri, Simona; Scarcello, F.
System Description: DLV with Aggregates 1-gen-2004 Dell'Armi, T.; Faber, Wolfgang; Ielpa, G.; Leone, Nicola; Perri, Simona; Pfeifer, G.
New DLV Features for Data Integration. JELIA 2004 1-gen-2004 Calimeri, Francesco; Citrigno, M.; Cumbo, C.; Faber, W.; Leone, Nicola; Perri, Simona; Pfeifer, G.
Parametric Connectives in Disjunctive Logic Programming 1-gen-2004 Perri, Simona; Leone, Nicola
New DLV Features for Data Integration 1-gen-2004 Calimeri, F; Citrigno, Manuela; Cumbo, Chiara; Faber, W; Leone, N; Perri, S; Pfeifer, G
Abductive Logic Programs with Penalization: Semantics, Complexity and Implementation 1-gen-2005 Perri, Simona; Scarcello, Francesco; Leone, Nicola
Declarative and Computational Properties of Logic Programs with Aggregates 1-gen-2005 Calimeri, Francesco; Faber, Wolfgang; Leone, Nicola; Perri, Simona
The DLV System for Knowledge Representation and Reasoning 1-gen-2006 Leone, Nicola; Pfeifer, G; Faber, Wolfgang; Eiter, T; Gottlob, G; Perri, Simona; Scarcello, Francesco
Parallel Instantiation of ASP Programs 1-gen-2007 Calimeri, Francesco; Perri, Simona; Ricca, Francesco
Mostrati risultati da 1 a 20 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