Francesco Ricca

Dipartimento di Matematica
Cubo 31B,
Università della Calabria
87036 Rende (CS), Italy
Phone: +39 0984 49 6406
Fax: +39 0984 49 6410

e-mail: ricca_AT_mat.unical.it

Current Position

Currently, I'm an Assistant Professor at the Department of Mathematics of the University of Calabria.

I'm a member of the development team of DLV a state of the art Disjunctive Logic Programming System.

[top]

Research Topics

  • Logic Programming
  • Object Oriented Deductive Databases
  • Ontologies
  • E-learning
[top]

Biographical sketch

Still in Italian, laziness? ... I only need more free time..... ;-)

Sono nato a Cosenza il 21 aprile dell' anno 1978.

Ho conseguito il diploma di Maturità scientifica con voti 60/60 presso il Liceo Scientifico "G.B. Scorza" di Cosenza.

Ho conseguito la laurea in Ingegneria Informatica presso l'Università della Calabria con voti 110/110 e lode, discutendo la tesi dal titolo "Progetto e prototipazione di un Sistema Multi-Agente conforme alle Specifiche FIPA (Foundation for Intelligent Physical Agents), per contesti applicativi di E-Learning", relatori: prof. Nicola Leone, prof. Domenico Saccà e ing. Alfredo Garro, premiata il 4 Ottobre 2003 come seconda classificata al I Bando "E-Talenti dell'E-Learning" realizzato da ASFOR e SMAU con il Patrocinio del Ministro per l'Innovazione e le Tecnologie.

Ho completato, sostenendo con successo l'esame finale, del corso di Dottorato di Ricerca in Matematica e Informatica discutendo la tesi dal titolo: "Disjunctive Logic Programming: Optimization Issues and enhancements for Ontologies".

[top]

Teaching (in italian)

  • Ricevo gli studenti di Giovedì, dalle 18:30 alle 20:00 e su appuntamento.
[top]

Implemented Systems

  • DLV: A state of the art Disjunctive Logic Programming System.
  • ONTO-DLV: An integrated development environment for ontologies
  • DLV Wrapper: A library, implemented in Java, that ``wraps'' the DLV system inside an external application, allowing to embed disjunctive logic programs inside Object-Oriented source code.
  • DLV-Server: A system based on DLV having server facilities.
[top]

Some of the projects I'm/I was involved in:

  • INFOMIX: Boosting Information Integration, IST-2001-33570.
    The main goal of the INFOMIX project is to provide a set of techniques and associated tools for powerful information integration by using advanced reasoning capabilities. The aim of this project is to provide a theory, a set of information integration algorithms, and prototype implementation of a knowledge-based system for advanced information integration which uses computational logic.
  • WASP:Working Group on Answer Set Semantics, IST-2001-37004.
    The project aims at solving main open issues with the current Answer Set Programming (ASP) Technology, both at the theoretical and the implementation level, which are needed to build ASP systems for industrial use.
  • ONTO-DLV: Un Ambiente Basato sulla Programmazione Logica Disgiuntiva per il Trattamento di Ontologie. MIUR 2521
    The main goal of this project is to define a new knowledge representation and reasoning system named OntoDLV based on Disjunctive logic Programming.
  • ELLADE: ELectronic Live Adaptive Learning.
    The project aims at developing new e-learning tools by exploiting logic programming techinques.
[top]

Selected Publications

  • F. Calimeri, S. Perri, F. Ricca "Experimenting with Parallelism for the Instantiation of ASP Programs"
    Journal of Algorithms in Cognition Informatics and Logics Vol. 63, N. 1-3, pp. 34 - 54, 2008 Elsevier
  • 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 print, available on-line) doi:10.1093/logcom/exn042 ISSN: 0955-792X
  • 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 Vol. 63, N. 1-3, pp. 70-89, 2008 Elsevier Inc.
  • W. Faber, N. Leone, G. Pfeifer, F. Ricca "On look-ahead heuristics in disjunctive logic programming", Annals of Mathematics in Artificial Intelligence Vol. 51, N. 2-4, pp. 229-266, 2007 Springer Netherlands
  • F. Ricca and Nicola Leone "Disjunctive Logic Programming with Types and Objects: The DLV+ System", Journal of Applied Logics Vol. 5, N. 3, pp. 545 - 573, 2007 Elsevier
  • F. Ricca, W. Faber, and N. Leone "A Backjumping Tecnique for Disjunctive Logic Programming",
    AI Communications Vol. 19, N. 2, pp. 155 - 172, 2006 - IOS Press
  • A. Garro, L. Palopoli and F. Ricca "Exploiting Agents in E-Learning and Skills Management Context",
    AI Communications Vol. 19, N. 2, pp. 137-154, 2006 - IOS Press
  • W. Faber, N. Leone, F. Ricca "Answer Set Programming", Encyclopedia of Computer Science and Engineering,Wiley New York, NY (in print)
  • W. Faber, N. Leone, M. Maratea and F. Ricca "Experimenting with Look-Back Heuristics for Hard ASP Programs", Proceedings of The 9th International Conference on Logic Programming and Nonmo-notonic Reasoning, LPNMR 2007, Tempe, AZ, USA, May 2007, LNCS vol. 4483, pp. 110-122, Springer
  • W. Faber, F. Ricca "Solving Hard ASP Programs Efficiently", Proceedings of The 8th International Conference on Logic Programming and Nonmo-notonic Reasoning, LPNMR 2005, Diamante, CS, Italy, September 2005, LNCS vol.3662, pp. 240-252, Springer
  • W. Faber, N. Leone, F. Ricca "Heuristics for Hard ASP Programs", Procedings of Nineteenth International Joint Conference on Artificial Intelligence (IJCAI) Edimburgh, Scotland, July-August 2005, pp. 1562-1563, Professional Book Center
  • 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
  • F. Ricca "A Wrapper Java for DLV", Proceedings of APPIA-GULP-PRODE 2003 (2003 Joint Conference on Declarative Programming), Reggio Calabria, Settembre 2003, Università Mediterranea Reggio Calabria Italy
  • G. Ianni, C. Panetta, F. Ricca "Specification of assessment-test criteria through ASP specifications", Proceedings of ASP05 (Answer Set Programming Advances in Theory and Implementation), Bath UK, July 2005, pp. 293-302, Research Press International

The complete list of my pubblications can be can be found either on my page in polaris or in my CV.
This is my DBLP page.


[top]

An (hopefully) up to date Curriculum Vitae (in italian) [last update October 2009]