IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 205
Titolo Data di pubblicazione Autore(i) File
DLV: An Advanced System for Knowledge Representation and Reasoning 1-gen-2007 Leone, Nicola; Faber, Wolfgang; Bria, A; Calimeri, Francesco; Catalano, G; Cozza, S; Dell'Armi, T; Greco, G; Ianni, Giovambattista; Ielpa, G; Maratea, M; Panetta, C; Perri, Simona; Ricca, Francesco; Scarcello, F; Terracina, G; Pfeifer, G; Eiter, T; Gottlob, G.
Parallel Instantiation of ASP Programs 1-gen-2007 Calimeri, Francesco; Perri, Simona; Ricca, Francesco
Interoperability Mechanisms for Ontology Management Systems 1-gen-2007 Gallucci, L; Grasso, G; Leone, Nicola; Ricca, Francesco
On Look-Ahead Heuristics in Disjunctive Logic Programming 1-gen-2007 Faber, Wolfgang; Leone, Nicola; Pfeifer, G; Ricca, Francesco
Disjunctive Logic Programming with types and objects: The DLP+ System 1-gen-2007 Ricca, Francesco; Leone, N.
Visual Querying and Application Programming Interface for an ASP-based Ontology Language 1-gen-2007 Gallucci, L; Ricca, Francesco
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
Experimenting with Look-Back Heuristics on Hard ASP Programs 1-gen-2007 Faber, W; Leone, Nicola; Maratea, M; Ricca, Francesco
Increasing Parallelism while Instantiating ASP Programs 1-gen-2008 Calimeri, Francesco; Perri, Simona; Ricca, Francesco
"Backjumping and Look-back Heuristics for Disjunctive Logic Programming 1-gen-2008 Faber, W; Ricca, Francesco; Leone, Nicola; M., Maratea
Efficient Parallel ASP Instantiation via Dynamic Rewriting Workshop 1-gen-2008 Perri, S; Ricca, Francesco; Vescio, S.
Lifting Databases to Ontologies 1-gen-2008 Bennardo, G; Grasso, G. IELPA S. M.; Leone, Nicola; Ricca, Francesco
Look-back Techniques for ASP Programs with Aggregates 1-gen-2008 Faber, Wolfgang; Leone, Nicola; Maratea, M; Ricca, Francesco
Experimenting with Parallelism for the Instantiation of ASP Programs 1-gen-2008 Calimeri, Francesco; Perri, Simona; Ricca, Francesco
Look-Back Techniques and Heuristics in DLV: Implementation, Evaluation and Comparison to QBF Solvers 1-gen-2008 Maratea, M; Ricca, Francesco; Faber, Wolfgang; Leone, Nicola
Answer Set Programming 1-gen-2008 Faber, W; Leone, Nicola; Ricca, Francesco
IDUM a Logic-Based System for e-Tourism 1-gen-2009 Candreva, G; DE FRANCO, G; DE SANTO, D; Donato, G; Dimasi, A; Grasso, Giovanni; Ielpa, S. M.; Iiritano, S; Leone, Nicola; Ricca, Francesco
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
Magic Set Implementation for Disjunctive Logic Programming with Function Symbols 1-gen-2009 Marano, M; Ianni, Giovambattista; Ricca, Francesco
Mostrati risultati da 21 a 40 di 205
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