Home.
At the moment, I am a tenured Assistant Professor ("Ricercatore") at the Department of Mathematics of the University of Calabria. My address there is:
Department of Mathematics - University of CalabriaVia PietroBucci, cubo 30B
87036 Rende (CS) - Italy
Phone: +39 0984 496478
Fax: +39 0984 496410
Email: calimeri[AT]mat.unical.it
Biographical Sketch.
My name is Francesco Calimeri. I was born in Lamezia Terme, Calabria (southern Italy) on January 9th, 1976. After primary schools, I went to secondary (high) school in Lamezia Terme; I received my graduation from Liceo Ginnasio "F. Fiorentino" in 1994. I received from University of Calabria my "Laurea" degree (pretty equivalent to an Msc degree) in "Ingegneria Informatica" (Computer Science Engineering) in 2001, and my PhD in Mathematics and Informatics in 2006. In January 2006 I started working at the Department of Mathematics, University of Calabria, being on a research grant. Starting from October 2006, I am a tenured Assistant Professor (position called “Ricercatore” in Italy), still at the Department of Mathematics of the University of Calabria. Beside many teaching and tutoring activities, I am (and have been) involved in several research projects.
Research Interests.
Present and past, necessarily incomplete, and in no particular order:
- Artificial Intelligence
- Answer Set Programming (ASP)
- Logic Programming
- Nonmonotonic Reasoning
- Deductive Databases
- Data & Information Retrieval, Web Agents
- Ontologies
Teaching Activities / Attività Didattica (in Italiano).
Didattica - Per i corsi da me tenuti, o in cui sono (o sono stato) coinvolto, si faccia riferimento alla pagina dedicata. L'elenco comprende:
- Sistemi Intelligenti
- Informatica (CdL Matematica)
- Intelligenza Artificiale
- Corsi di "Potenziamento” in Informatica
- Tecniche di Base di Intelligenza Artificiale
- Fondamenti di Programmazione
- Introduzione all’Informatica
- Prova di Informatica (CdL Storia)
Projects.
This is a list featuring some of the projects I am (or have been) involved.
Publications.
Look at these sources:
Some selected publications follow (for a more comprehensive list have a look at my CV).
- F. Calimeri, S. Cozza, G. Ianni, N. Leone, "Magic Sets for the Bottom-up Evaluation of Finitely Recursive Programs", Proceedings of the 10th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR'09), September 2009, Potsdam, Germany, Lecture Notes in Computer Science (LNCS), vol. 5753, pp. 71-86, doi: http://dx.doi.org/10.1007/978-3-642-04238-6_9, Springer Verlag, GmbH Tiergartenstrasse 17, 69121, Heidelberg Germany, ISBN 978-3-642-04237-9.
- F. Calimeri, S.Cozza, G.Ianni, N. Leone, "An ASP System with Functions, Lists, and Sets", Proceedings of the 10th International Conference on Logic Programming and Non- monotonic Reasoning (LPNMR'09), September 2009, Potsdam, Germany, Lecture Notes in Computer Science (LNCS), vol. 5753, pp. 483-489, doi: http://dx.doi.org/10.1007/978-3-642-04238-6_46, Springer Verlag, GmbH Tiergartenstrasse 17, 69121, Heidelberg Germany, ISBN 978-3-642-04237-9.
- F. Calimeri, S.Cozza, G.Ianni, N. Leone, "Computable Functions in ASP: Theory and Implementation", Proceedings of the 24th International Conference on Logic Programming (ICLP 2008), Lecture Notes in Computer Science (LNCS), vol. 5366, pp. 407-424, Udine, Italy, December 2008, Springer Verlag, GmbH Tiergartenstrasse 17, 69121, Heidelberg Germany, ISBN 978-3-540-89981-5.
- F. Calimeri, S. Perri, F. Ricca, “Experimenting with Parallelism for the Instantiation of ASP Programs”, Journal of Algorithms in Cognition, Informatics and Logic, Vol. 63, N. 1-3, pp. 34-54, doi:http://dx.doi.org/10.1016/j.jalgor.2008.02.003, Elsevier Science B.V., POB 211, 1000AE Amsterdam, The Netherlands, 2008, ISSN 0196-6774.
- N. Leone, W. Faber, G. Pfeifer, A. Bria, F. Calimeri, G. Catalano, S. Cozza, T. Dell'Armi, T. Eiter, G. Gottlob, G. Greco, G. Ianni, G. Ielpa, M. Maratea, C. Panetta, S. Perri, F. Ricca, F. Scarcello, G. Terracina, “DLV: An Advanced System for Knowledge Representation and Reasoning”, ALP Newsletter, Vol. 20(3-4), December 2007.
- F. Calimeri, S. Cozza, G. Ianni, “External Sources of Knowledge and Value Invention in Logic Programming”, Annals of Mathematics and Artificial Intelligence (AMAI), Volume 50, N. 3-4, pp. 333-361, Springer Netherlands, P.O. Box 989 3300 AZ Dordrecht, The Netherlands, Agosto 2007, ISSN 1012-2443 (Print), ISSN 1573-7470 (Online).
- F. Calimeri, S. Cozza, G. Ianni, “Decidable fragments of Logic Programming with Value Invention”, Proceedings of the tenth European Conference on Logics in Artificial Intelligence (JELIA'06) in Logics in Artificial Intelligence, Lecture Notes in Computer Science (LNCS), v. 4160, pp. 95-110, Settembre 2006, Liverpool, UK, Springer Verlag, GmbH Tiergartenstrasse 17, 69121, Heidelberg Germany, ISBN 3-540-39625-X.
- F. Calimeri, G. Ianni, “Template Programs for Disjunctive Logic Programming: An Operational Semantics”, AI Communications, Vol. 19, Numero 3, pp. 193-206, IOS Press, Nieuwe Hemweg 6B, 1013 BG Amsterdam, 2006.
- F. Calimeri, W. Faber, G. Pfeifer, N. Leone, “Pruning Operators for Disjunctive Logic Programming Systems”, Fundamenta Informaticae, Vol. 71, No 2-3, IOS Press, 2006, pp. 183-214.
- F. Calimeri, G. Ianni, “External sources of computation for Answer Set Solvers”, Proceedings of the eighth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR’05), September 2005, Diamante, Italy, Lecture Notes in Computer Science (LNCS), v. 3662, pp. 105-118, Springer Verlag, GmbH Tiergartenstrasse 17, 69121, Heidelberg Germany, ISBN 3-540-28538-5.
- F. Calimeri, W. Faber, N. Leone, S. Perri, “Declarative and Computational Properties of Logic Programs with Aggregates”, Proceedings of the nineteenth International Joint Conference on Artificial Intelligence (IJCAI’05), pp. 406-411, July 30th-August 5th 2005, Edinburgh, Scotland, Leslie Pack Kaelbling and Alessandro Saffiotti editors, distributed by Professional Book Center P.O. Box 9249, Denver CO 80209 USA, ISBN 0-938075-93-4.
- F. Calimeri, G. Ianni, G. Ielpa, A. Pietramala, M. C. Santoro, “A System With Template Answer Set Programs”, Proceedings of the ninth European Conference on Logics in Artificial Intelligence (JELIA’04), in Logics in Artificial Intelligence, Lecture Notes in Computer Science (LNCS), v. 3229, pp. 693-697, September 2004, Lisbon, Portugal, Springer Verlag, GmbH Tiergartenstrasse 17, 69121, Heidelberg Germany, ISBN 3-540-23242-7.
- F. Calimeri, M. Citrigno, C. Cumbo, W. Faber, N. Leone, S. Perri, G. Pfeifer, “New DLV Features for Data Integration”, Proceedings of the ninth European Conference on Logics in Artificial Intelligence (JELIA’04), in Logics in Artificial Intelligence, Lecture Notes in Computer Science (LNCS), v. 3229, pp. 698-701, September 2004, Lisbon, Portugal, Springer Verlag, GmbH Tiergartenstrasse 17, 69121, Heidelberg Germany, ISBN 3-540-23242-7.
- G. Ianni, F. Calimeri, F. Ricca, V. Lio, S. Galizia, “An agent system reasoning about the web and the user”, Thirteenth World Wide Web Conference, poster session, pp. 492-494, 17-22 May 2004, New York City, U.S.A, ACM 2004, ISBN 1-58113-912-8.
- N. Leone, G. Pfeifer, W. Faber, F. Calimeri, T. Dell’Armi, T. Eiter, G. Gottlob, G. Ianni, G. Ielpa, C Koch, S. Perri, A. Polleres, “The DLV System”, Proceedings of the eighth European Conference on Logics in Artificial Intelligence (JELIA’02), in Logics in Artificial Intelligence, Lecture Notes in Computer Science (LNCS), v. 2424, pp. 537-540, September 2002, Cosenza, Italy, Springer Verlag, GmbH Tiergartenstrasse 17, 69121, Heidelberg Germany, ISBN 3-540-44190-5.
CV.
This is a link to my (italian) Curriculum Vitae.
- My CV - PDF document, hopefully up-to-date... :p
Links.
And these are some odd links.
- My foaf card (see the foaf project).
- My blog on live spaces.
- A link to experiment with self-reference. :P