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