Sfoglia per Autore
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
Logic Based Agents for E-learning
2003-01-01 Garro, Alfredo; Leone, Nicola; Ricca, F.
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
Specification of assessment-test criteria through ASP specifications
2005-01-01 Ianni, Giovambattista; Panetta, C; 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
A Backjumping Technique for Disjunctive Logic Programming
2005-01-01 Faber, Wolfgang; Leone, Nicola; Ricca, Francesco
Solving Hard ASP Programs Efficiently
2005-01-01 Faber, Wolfgang; Ricca, Francesco
Evaluating Backjumping for Disjunctive Logic Programming
2006-01-01 Faber, Wolfgang; Leone, Nicola; Maratea, M; Ricca, Francesco
OntoDLV: An Object-Oriented Disjunctive Logic Programming System
2006-01-01 Leone, Nicola; Ricca, Francesco
A Backjumping Tecnique for Disjunctive Logic Programming
2006-01-01 Ricca, Francesco; Faber, W; Leone, Nicola
Exploiting Agents in E-Learning and Skills Management Context
2006-01-01 Garro, Alfredo; Palopoli, Luigi; Ricca, Francesco
Look-Back Techniques and Heuristics in DLV: Implementation and Evaluation
2007-01-01 Faber, Wolfgang; Leone, Nicola; Maratea, M; Ricca, Francesco
DLV: An Advanced System for Knowledge Representation and Reasoning
2007-01-01 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.
Interoperability Mechanisms for Ontology Management Systems
2007-01-01 Gallucci, L; Grasso, G; Leone, Nicola; Ricca, Francesco
Parallel Instantiation of ASP Programs
2007-01-01 Calimeri, Francesco; Perri, Simona; Ricca, Francesco
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
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 | |
Logic Based Agents for E-learning | 1-gen-2003 | Garro, Alfredo; Leone, Nicola; Ricca, F. | |
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 | |
Specification of assessment-test criteria through ASP specifications | 1-gen-2005 | Ianni, Giovambattista; Panetta, C; 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 | |
A Backjumping Technique for Disjunctive Logic Programming | 1-gen-2005 | Faber, Wolfgang; Leone, Nicola; Ricca, Francesco | |
Solving Hard ASP Programs Efficiently | 1-gen-2005 | Faber, Wolfgang; Ricca, Francesco | |
Evaluating Backjumping for Disjunctive Logic Programming | 1-gen-2006 | Faber, Wolfgang; Leone, Nicola; Maratea, M; Ricca, Francesco | |
OntoDLV: An Object-Oriented Disjunctive Logic Programming System | 1-gen-2006 | Leone, Nicola; Ricca, Francesco | |
A Backjumping Tecnique for Disjunctive Logic Programming | 1-gen-2006 | Ricca, Francesco; Faber, W; Leone, Nicola | |
Exploiting Agents in E-Learning and Skills Management Context | 1-gen-2006 | Garro, Alfredo; Palopoli, Luigi; Ricca, Francesco | |
Look-Back Techniques and Heuristics in DLV: Implementation and Evaluation | 1-gen-2007 | Faber, Wolfgang; Leone, Nicola; Maratea, M; Ricca, Francesco | |
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. | |
Interoperability Mechanisms for Ontology Management Systems | 1-gen-2007 | Gallucci, L; Grasso, G; Leone, Nicola; Ricca, Francesco | |
Parallel Instantiation of ASP Programs | 1-gen-2007 | Calimeri, Francesco; Perri, Simona; 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