Titoli e Documenti utili alla Conferma in Ruolo di Ricercatore
dott. FRANCESCO RICCA

Relazione Attività ed Elenco dei Titoli:

Pareri:

Pubblicazioni Scientifiche (02 Ottobre 2006 - 02 Ottobre 2009): (scarica tutte le pubblicazioni)

- Riviste:

  1. F. Calimeri, S. Perri, F. Ricca
    Experimenting with Parallelism for the Instantiation of ASP Programs,
    Journal of Algorithms in Cognition Informatics and Logics Volume 63, Numeri 1-3, pp. 34 - 54, 2008 ISSN: 0196-6774 Elsevier Inc. 600 Technology Square, 5th Floor, Cambridge, MA 02139 - USA
  2. F. Ricca, L. Gallucci, R. Schindlauer, T. Dell’armi, G. Grasso, N. Leone
    OntoDLV: An ASP-based System for Enterprise Ontologies,
    Journal of Logic and Computation (in stampa, disponibile on-line) doi:10.1093/logcom/exn042 2008 ISSN:1465-363X Oxford Journals - Oxford University Press Great Clarendon Street, Oxford OX2 6DP, UK Elsevier Inc. 600 Technology Square, 5th Floor, Cambridge, MA 02139 - USA
  3. M. Maratea, F. Ricca, W. Faber, N. Leone
    Look-Back Techniques and Heuristics in DLV: Implementation, Evaluation and Comparison to QBF Solvers,
    Journal of Algorithms in Cognition Informatics and Logics Volume 63, Numeri 1-3, pp. 70 - 89, 2008 ISSN: 0196-6774 Elsevier Inc. 600 Technology Square, 5th Floor, Cambridge, MA 02139 - USA
  4. W. Faber, N. Leone, G. Pfeifer, F. Ricca
    On look-ahead heuristics in disjunctive logic programming,
    Annals of Mathematics in Artificial Intel ligence Volume 51, Numeri 2-4, pp. 229- 266, 2007 Springer Netherlands, P.O. Box17, 3300 AA Dordrecht, Olanda, ISSN:1012-2443 e ISSN:1573-7470 (Online version)
  5. F. Ricca and Nicola Leone
    Disjunctive Logic Programming with Types and Ob jects: The DLV+ System,
    Journal of Applied Logics Volume 5, Numero 3, pp. 545 - 573, 2007 Elsevier ISSN:1570-8683 Elsevier Inc. 600 Technology Square, 5th Floor, Cambridge, MA 02139 - USA

- Conferenze e Workshop:

  1. N. Leone, F. Ricca, G. Terracina, L.A. Rubino
    Efficient Application of Answer Set Programming for Advanced Data Integration,
    Proceedings of The 12th International Symposium on Practical Aspects of Declarative Languages, PADL 2010, Madrid, Spagna, January 2010, LNCS (accepted, in press) Springer-Verlag GmbH Tiergartenstrasse 17, 69121, Heidelberg Germany
    (list of accepted papers: http://clip.dia.fi.upm.es/Conferences/PADL-2010/accepted.html)
  2. G. Grasso, S. Iiritano, N. Leone, F. Ricca, V. Lio
    An ASP-based System for Team-building in the Gioia-Tauro Seaport,
    Proceedings of The 12th International Symposium on Practical Aspects of Declarative Languages, PADL 2010, Madrid, Spagna, January 2010, LNCS (accepted, in press) Springer-Verlag GmbH Tiergartenstrasse 17, 69121, Heidelberg Germany
    (list of accepted papers: http://clip.dia.fi.upm.es/Conferences/PADL-2010/accepted.html)
  3. S. Perri, F. Ricca, M. Sirianni
    A Parallel ASP Instantiator Based on DLV
    Proceedings of fifth conference on Declarative Aspects of Multicore Programming, DAMP 2010, Madrid, Spagna, January 2010,
    ACM (accepted, in press) Association for Computing Machinery Inc. PO Box 30777 New York USA 10087-0777
    (list of accepted papers: http://damp10.cs.nmsu.edu/cfp.html)
  4. S.M. Ielpa, S. Iiritano, N. Leone, F. Ricca
    An ASP-Based System for e-Tourism,
    Proceedings of The 10th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2009, Potsdam, Germania, September 2009, LNCS vol. 5753, pp. 528-534, Springer-Verlag GmbH Tiergartenstrasse 17, 69121, Heidelberg Germany, ISBN:978-3-642-04237-9 (download front-matter)
  5. G. Grasso, S. Iiritano, N. Leone, F. Ricca
    Some DLV Applications for Knowledge Management
    ,
    Proceedings of The 10th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2009, Potsdam, Germania, September 2009, LNCS vol. 5753, pp. 591-597, Springer-Verlag GmbH Tiergartenstrasse 17, 69121, Heidelberg Germany, ISBN:978-3-642-04237-9 (download front-matter)
  6. N. Leone, F. Ricca, G. Terracina
    An ASP-Based Data Integration System,
    Proceedings of The 10th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2009, Potsdam, Germania, September 2009, LNCS vol. 5753, pp. 368-381, Springer-Verlag GmbH Tiergartenstrasse 17, 69121, Heidelberg Germany, ISBN:978-3-642-04237-9 (download front-matter)
  7. F. Calimeri, N. Leone, F. Ricca, P. Veltri
    A Visual Tracer for DLV,
    Proceedings of SEA09 (Software Engineering for Answer Set Programming), Potsdam, Germania, CEUR Workshop Proceedings, vol. 546, pp 79-93 Settembre 2009, CEUR is recognized as a publication series by Deutsche Bibliothek, ISSN 1613-0073.
  8. W. Faber, N. Leone, M. Maratea, F. Ricca.
    Look-back Techniques for ASP Programs with Aggregates,
    Proceedings of the 15th RCRA Workshop December 14 2008, Udine, Italy - CEUR Workshop Proceedings, vol. 451, Dicembre 2008, CEUR is recognized as a publication series by Deutsche Bibliothek, ISSN 1613-0073.
  9. G. Bennardo, G. Grasso, N. Leone, F. Ricca
    Upgrading Databases to Ontologies.,
    Proceedings of the 3rd International Workshop on Applications of Logic Programming to the (Semantic) Web and Web Services (ALPSWS2008) December 9-13 2008, Udine, Italy - CEUR Workshop Proceedings, vol. 434, pp 1-14, Dicembre 2008, CEUR is recognized as a publication series by Deutsche Bibliothek, ISSN 1613-0073.
  10. W. Faber, N. Leone, M. Maratea, F. Ricca
    Experimenting with Look-Back Heuristics for Hard ASP Programs,
    Proceedings of The 9th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2007, Tempe, AZ, USA, May 2007, LNCS vol. 4483, pp. 110-122, Springer-Verlag GmbH Tiergartenstrasse 17, 69121, Heidelberg Germany, ISBN:978-3-540-72199-4 (download front-matter)
  11. S. Perri, F. Ricca, G. Terracina, D. Cianni, P. Veltri
    An integrated graphic tool for developing and testing DLV programs,
    Proceedings of SEA07 (Software Engineering for Answer Set Programming), Tempe AZ, USA, CEUR Workshop Proceedings, vol. 281, pp 86-100 Maggio 2007, CEUR is recognized as a publication series by Deutsche Bibliothek, ISSN 1613-0073.
  12. L. Gallucci, F. Ricca
    Visual Querying and Application Programming Interface for an ASP-based Ontology Language,
    Proceedings of SEA07 (Software Engineering for Answer Set Programming), Tempe AZ, USA, CEUR Workshop Proceedings, vol. 281, pp 56-70 Maggio 2007, CEUR is recognized as a publication series by Deutsche Bibliothek, ISSN 1613-0073.
  13. G. Candreva, G. De Franco, D. De Santo, C. Donato, A. Dimasi, G. Grasso, S.M. Ielpa, S. Iiritano, N. Leone, F. Ricca
    IDUM a Logic-Based System for e-Tourism,
    Proceedings of CILC-09 Convegno Italiano di Logica Computazionale. 24-26 Giugno 2009, Ferrara, Italia.
  14. S. Perri, M. Sirianni, F. Ricca
    An Heuristics for Load Balancing and Granularity Control in the Parallel Instantiation of Disjunctive Logic Programs,
    Proceedings of CILC-09 Convegno Italiano di Logica Computazionale. 24-26 Giugno 2009, Ferrara, Italia.
  15. M. Marano, G. Ianni, F. Ricca
    Magic Set Implementation for Disjunctive Logic Programming with Function Symbols,
    Proceedings of CILC-09 Convegno Italiano di Logica Computazionale. 24-26 Giugno 2009, Ferrara, Italia.
  16. W. Faber, N. Leone, M. Maratea, F. Ricca.
    Backjumping and Look-back Heuristics for Disjunctive Logic Programming,
    International Workshop on Logic and Search (LaSh 2008) November 6-7th 2008, in the city of Leuven, Belgium.
  17. S. Perri, F. Ricca, S. Vescio.
    Efficient Parallel ASP Instantiation via Dynamic Rewriting Workshop,
    Proceedings of the 1st International Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP) 2008 December 13th Udine, Italy.
  18. G. Bennardo, G. Grasso, S. M. Ielpa, N. Leone, F. Ricca
    Lifting Databases to Ontologies,
    Proceedings of CILC-08 Convegno Italiano di Logica Computazionale. 10-12 Luglio, 2008, Perugia.
  19. F. Calimeri, S. Perri, F. Ricca
    Increasing Parallelism while Instantiating ASP Programs,
    Proceedings of CILC-08 Convegno Italiano di Logica Computazionale. 10-12 Luglio, 2008, Perugia.
  20. T. Dell’Armi, L. Gallucci, N. Leone, F. Ricca, R. Schindlauer
    OntoDLV: an ASP-based System for Enterprise Ontologies,
    Proceedings of ASP07 (Answer Set Programming Advances in Theory and Implementation), Porto, Portugal, 2007.
  21. W. Faber, M. Maratea, N. Leone, F. Ricca
    Looking Back in DLV: Experiments and Comparison to QBF Solvers,
    Proceedings of ASP07 (Answer Set Programming Advances in Theory and Implementation), Porto, Portugal, 2007.
  22. F. Calimeri, S. Perri, F. Ricca
    Experimenting with Parallelism for the Instantiation of ASP Programs,
    Workshop su Analisi Sperimentale e Benchmark di Algoritmi per L’intel ligenza Artificiale RCRA07, organizzato dalla Associazione Italiana per l’Intelligenza Artificiale. Roma, 5-6 Luglio 2007.
  23. W. Faber, M. Maratea, N. Leone, F. Ricca
    Look-Back Techniques and Heuristics in DLV: Implementation and Evaluation,
    Workshop su Analisi Sperimentale e Benchmark di Algoritmi per L’intel ligenza Artificiale RCRA07, organizzato dalla Associazione Italiana per l’Intelligenza Artificiale. Roma, 5-6 Luglio 2007.
  24. F. Calimeri, S. Perri, F. Ricca
    Parallel Instantiation of ASP Programs,
    Proceedings of CILC-07 Convegno Italiano di Logica Computazionale. 21-22 giugno 2007, Messina.
  25. L. Gallucci, G. Grasso, N. Leone, F. Ricca
    Interoperability Mechanisms for Ontology Management Systems,
    Proceedings of CILC-07 Convegno Italiano di Logica Computazionale. 21-22 giugno 2007, Messina.
  26. W. Faber, M. Maratea, N. Leone, F. Ricca
    Implementation and Evaluation of Look-Back Techniques and Heuristics in DLV,
    Proceedings of CILC-07 Convegno Italiano di Logica Computazionale. 21-22 giugno 2007, Messina.

- Altre pubblicazioni

  1. W. Faber, N. Leone, F. Ricca
    Answer Set Programming,
    In Encyclopedia of Computer Science and Engineering (Benjamin Wah, ed.), Vol. 1, pp 149-162 - John Wiley & Sons, New York, NY, (on-line from 2008) doi:dx.doi.org/10.1002/9780470050118.ecse226.
    Print version was published in Hoboken, NJ, January 2009, ISBN:978-0-471-38393-2.
  2. P. Bonatti, F. Calimeri, N. Leone, F. Ricca
    Answer Set Programming,
    Capitolo del Libro “25 Anni di Programmazione Logica in Italia” Springer ed., 2010 (lavoro invitato), accettato per pubblicazione, in stampa
    (Technical Report 3-09, Dipartimento di Matematica, Università della Calabria, Italy, Settembre 2009.)
  3. N. Leone, W. Faber, A. Bria , F. Calimeri, G. Catalano, S. Cozza, T. Dell’Armi, G. Greco, G. Ianni, G. Ielpa, M. Maratea, C. Panetta, S. Perri, F. Ricca, F. Scarcello, G. Terracina, G. Pfeifer, T. Eiter, G. Gottlob
    DLV: An Advanced System for Knowledge Representation and Reasoning,
    In ALP Newsletter, Vol. 20 (3/4) a cura di E. Pontelli, 2007.

- Articoli Sottomessi in Attesa di Accettazione:

  1. W. Faber, N. Leone, M. Maratea, F. Ricca
    Look-back Techniques for ASP Programs with Aggregates,
    Sottomesso al la rivista internazionale “Fundamenta Informaticae”, in corso di revisione.
    (Technical Report 4-09, Dipartimento di Matematica, Università della Calabria, Italy, Settembre 2009.)
  2. F. Ricca, A. Dimasi, G. Grasso, Ielpa S.M., S. Iiritano, N. Leone
    A Logic-Based System for e-Tourism,
    Invitato dal la rivista internazionale “Fundamenta Informaticae”, in corso di revisione.
    (Technical Report 6-09, Dipartimento di Matematica, Università della Calabria, Italy, Settembre 2009.)