|
||
I'm interested in computer science in general, but I had the opportunity to focus my attention on:
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. |
||
Biographic Notes and Positions
|
||
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:
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 80 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. |
||
I'm a member of the research team developing DLV a state of the art ASP System.
I'm a co-founder of IDUM s.r.l. a spin-off company of the university of Calabria developing software for e-tourism. |
||
Teaching (Didattica e Studenti) Classes, web pages in italian (Corsi):
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. |
||
|