Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 205
Titolo Data di pubblicazione Autore(i) File
Logic Based Agents for E-learning 1-gen-2003 Garro, Alfredo; Leone, Nicola; Ricca, F.
Un Sistema ad Agenti per il Supporto alla Costruzione di Percorsi Didattici 1-gen-2003 Ricca, F; Garro, Alfredo; Leone, Nicola
A Java wrapper for DLV 1-gen-2003 Ricca, Francesco
Specification of assessment-test criteria through logic programming 1-gen-2004 Ianni, Giovambattista; 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.
Solving Hard Problems for the Second Level of the Polynomial Hierarchy: Heuristics and Benchmarks 1-gen-2005 Faber, Wolfgang; Leone, Nicola; Ricca, Francesco
Solving Problems on the Second Level of the Polynomial Hierarchy 1-gen-2005 Faber, Wolfgang; Leone, Nicola; Ricca, Francesco
A Backjumping Technique for Disjunctive Logic Programming 1-gen-2005 Faber, Wolfgang; Leone, Nicola; Ricca, Francesco
Specification of assessment-test criteria through ASP specifications 1-gen-2005 Ianni, Giovambattista; Panetta, C; Ricca, Francesco
Solving Hard ASP Programs Efficiently 1-gen-2005 Faber, Wolfgang; Ricca, Francesco
A DLP System with Object-Oriented Features 1-gen-2005 Ricca, Francesco; Leone, Nicola; DE BONIS, V; Dellarmi, T; Galizia, S; Grasso, G.
Heuristics for Hard ASP Programs 1-gen-2005 Faber, Wolfgang; Leone, Nicola; Ricca, Francesco
OntoDLV: An Object-Oriented Disjunctive Logic Programming System 1-gen-2006 Leone, Nicola; Ricca, Francesco
Evaluating Backjumping for Disjunctive Logic Programming 1-gen-2006 Faber, Wolfgang; Leone, Nicola; Maratea, M; Ricca, Francesco
Exploiting Agents in E-Learning and Skills Management Context 1-gen-2006 Garro, Alfredo; Palopoli, Luigi; Ricca, Francesco
A Backjumping Tecnique for Disjunctive Logic Programming 1-gen-2006 Ricca, Francesco; Faber, W; Leone, Nicola
Look-Back Techniques and Heuristics in DLV: Implementation and Evaluation 1-gen-2007 Faber, Wolfgang; Leone, Nicola; Maratea, M; Ricca, Francesco
Looking Back in DLV: Experiments and Comparison to QBF Solvers 1-gen-2007 Faber, Wolfgang; Leone, Nicola; M., Maratea; Ricca, Francesco
OntoDLV: an ASP-based System for Enterprise Ontologies 1-gen-2007 Dellarmi, T; Gallucci, L; Leone, Nicola; Ricca, Francesco; Schindlauer, R.
Implementation and Evaluation of Look-Back Techniques and Heuristics in DLV 1-gen-2007 Faber, Wolfgang; Leone, Nicola; Maratea, V; Ricca, Francesco
Mostrati risultati da 1 a 20 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