Francesco Ricca

Francesco Ricca
Associate Professor

Department of Mathematics and Computer Science
University of Calabria
Via P.. Bucci Cubo 31B,

87036 Rende (CS), Italy
Phone: +39 0984 49 6406
Fax: +39 0984 49 6410


[Areas of Interest] [Biographic Notes] [Research] [Publications] [Teaching(Didattica)] [Software]

Areas of Interest

I'm interested in computer science in general, but I had the opportunity to focus my attention on:

  • Answer Set Programming
  • Logic Programming and Nonmonotonic Reasoning
  • Ontologies, Deductive Databases, Data Integration
  • Software Engineering
  • E-Toursim and E-Learning

Summary of Current Research: I'm interested in declarative logic-based languages, including the issues concerning their practical applications: system design and implementation, integration and development tools.
[My research papers and bibliographic data]

Biographic Notes and Positions

  • Associate Professor (Since November 2014) at the Department of Mathematics of the University of Calabria, Italy.
  • Tenured Assistant Professor "Ricercatore" (November 2006-October 2014) at the Department of Mathematics of the University of Calabria, Italy.
  • Research fellow (November 2005-October 2006) at the Department of Mathematics of the University of Calabria, Italy
  • PhD in Mathematics and Computer Science (2006) from the University of Calabria, Italy.
  • "Laurea" degree (2002) in Ingegneria Informatica (Computer Science Engineering) cum laude, from the University of Calabria, Italy. My thesis received the ASFOR-SMAU award “E-Talenti dell’E-Learning" promoted by the Italian Ministry of Innovation and Technologies.


My research activity ranges over several topics related to the fields of Logic Programming, Artificial Intelligence and related issues of Software Engineering and Applications Development. See the list of my papers and the system/tools section of this site.

Research Projects

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

  • FRAME - “Un FRAmework flessibile ed espandibile, fondato su MEtodologie e strumenti basati sulla conoscenza, per il consolidamento e la gestione ottimizzata di sistemi informativi complessi” funded by MIUR (PON01 02477, PON Ricerca e Competitivita 2007/2013).
  • BA2KNOW “Business Analitycs to Know” funded by MIUR (PON03PE 00001 1 - PON Ricerca e Competitivita, D.R. prot. n. 713/Ric. 29/10/2010) .
  • ITravel PLUS - Funded by the Calabrian Region. The project has the goal of extending a system for e-tourism, PIA POR Calabria FESR 2007-2013 - LI - Avviso pubblico “PIA - Pacchetti Integrati di Agevolazione”, BURC n. 49, Supplemento Straordinario n. 1 del 16/12/2010.
  • Loden - Low-complexity Description logics with Nonmonotonic features. The project, funded by MIUR under the PRIN (Progetti di Ricerca di Rilevante Interesse Nazionale) 2008 Project prot. 2008T4ENM4. LoDeN aims at developing non-monotonic DLs of low complexity, which extend the cheap profiles of OWL2 (OWL2EL and OWL2RL) with nonmonotonic constructs, and techniques for their evaluation.
  • TopClass - Realizzazione del sistema I-Travel (Intelligent Touristic advisor) - project PIA (Pacchetti Integrati di Agevolazione industria, artigianato e servizi) BURC n. 20 - Parte III del 15/05/2009 - DD n. 7373 6/5/2009, funded by the Calabrian Region. The project has the goal of creating a system for e-tourism, called I-Travel. I-Travel is based on the experience of the project IDUM (see below) and aims at providing travel agencies and their clients intelligent advising services.
  • DLVSYSTEM - Estensioni e Verticalizzazioni del Sistema di Intelligenza Artificiale DLV - project PIA (Pacchetti Integrati di Agevolazione industria, artigianato e servizi) - GR. n.220 19/03/2008, funded by the Calabrian Region. The project aims at industrializing the ASP system DLV.
  • IDUM: "Internet becomes human." "Internet Diventa UMana". POR Calabria 2000/2006 Mis. 3.16 Azione D Ricerca e Sviluppo nella Imprese Regionali - Modulo B Voucher Tecnologici) project n. 70. The objective of the project is to develop an intelligent advisor based on artificial intelligence techniques, to be integrated in a business to consumer service.
  • ONTO-DLV: Un Ambiente Basato sulla Programmazione Logica Disgiuntiva per il Trattamento di Ontologie. Il progetto (MIUR 2521) The project (MIUR 2521) had a duration of 24 months. The objective of this project is to design and develop a KRR system, called OntoDLV, for ontology management and automated reasoning.
  • INFOMIX: Boosting Information Integration, IST-2001-33570. The project, funded by the European Commission under the FET (Future Emerging Technologies) aims at developing a data integration system based on computational logic.

Invited Talk, Tutorials and Panels

PC Member and Reviewing activities

I serve(d) as reviewer for various scientific journals such as: Journal of Artificial Intelligence, Journal of Artificial Intelligence Research, Journal of the Theory and Practice of Logic Programming, Journal of Logic and Computation, Journal of Applied Logics, Journal on Satisfiability, Boolean Modeling and Computation, Fundamenta Informaticae, AI Communications, Journal of Applied Non-Classical Logics, Annals of Mathematics in Artificial Intelligence; and I was PC member of IJCAI, AAAI, KR, ICLP and reviewer of conferences such as: IJCAI, KR, ICLP, AAAI, LPNMR, ESWC, ECAI, JELIA, ISWC, RR, LPAR, DL as well as several national and international workshops.

Organizing Committees

Publications and Bibliographic data

I have authored or coauthored more than 70 publications including Journals, Encyclopedia chapters, Conference Papers, and Workshop Papers. The pubblication venues include the Journal of Artificial Intelligence, Journal of Algorithms, Journal of the Theory and Practice of Logic Programming, Journal of Logic and Computation, Journal of Applied Logic, IJCAI, KR, LPNMR, JELIA, ICLP, PADL and more.

The list of my publications and some bibliographic data can be found on my page in Polaris, my DBLP page, my Google Scholar profile, my Scopus Profile, my ArnetMiner profile.

Some papers are here

Software and Spin-offs

I'm a member of the research team developing DLV a state of the art ASP System.
I was team member and often project leader of several softwares the most relevant are listed below:

  • DLV a robust ASP System
  • WASP and WASP2 solvers for ASP
  • ASPIDE an Integrated development environment for ASP
  • JDLV/JASP a framework for integrating Java and Answer Set Programming
  • ME-ASP A Multi-Engine system for Answer Set Solving
  • OntoDLV and IDE for developing and querying ontologies
  • The DLV Wrapper an API for embedding of logic programs in Java code (former site here)

I'm a co-founder of IDUM s.r.l. a spin-off company of the university of Calabria developing software for e-tourism.
I work/I worked in collaboration with DLVSYSTEM s.r.l. and Exeura s.r.l. (other two spin-off companies of the university of Calabria).


Teaching (Didattica e Studenti)

Classes, web pages in italian (Corsi):
  • Ricevo gli studenti di Giovedì, dalle 18:30 alle 20:00 su appuntamento da prendere via email.

Master Thesis and PhD Students:

One of my students, dott. Carmine Dodaro, received the award for the best Italian MSc thesis in artificial intelligence, see the AI*IA web site.