Declarative systems
Methods and systems around Answer Set Programming and logic programming, with attention to theoretical foundations and efficient implementations.
About
A concise overview of my academic activity.
I am an Associate Professor of Computer Science at the Department of Mathematics and Computer Science, University of Calabria (Italy), since 2016. Previously, I was an Assistant Professor at the same department since 2005.
I received my MSc in Mathematics (2000) and a PhD in Computer Science and Mathematics (2005), both from the University of Calabria. I have contributed to the design and maintenance of the DLV system for Answer Set Programming and I co-founded DLVSystem Ltd, a University of Calabria spin-off.
My work spans logic-based Artificial Intelligence, with a focus on Answer Set Programming and related reasoning services. Recent directions include multi-shot and stream reasoning, and the integration of symbolic reasoning with modern AI pipelines.
Research
Established interests and current directions.
Topics
Artificial Intelligence
Answer Set Programming
Logic Programming
Nonmonotonic Reasoning
Deductive Databases
Multi-shot Reasoning
Stream Reasoning
Fine-tuning LLMs for ASP code generation
Projects & software
I contribute to the design and development of software and research projects for logic-based AI, including DLV, I-DLV, EmbASP, LoIDE, and DP-SR.
Recent directions
Multi-shot and stream reasoning, the integration of symbolic reasoning with modern AI workflows, and fine-tuning large language models for Answer Set Programming code generation (e.g., "Fine-tuning Large Language Models for Answer Set Programming").
Software & projects
Selected projects and tools I have been involved in developing.
DLV System
One of the historical systems for Answer Set Programming, developed and maintained by the research group.
I-DLV
ASP/Datalog grounder and reasoner, with public repository and documentation.
EmbASP
Framework for embedding ASP into heterogeneous software applications.
LoIDE
Web-based IDE for Logic Programming, designed to be modular and extensible.
DP-SR
Declarative programming framework for stream reasoning, combining ASP with scalable stream processing.
Research groups
Research lines and laboratory activities I am involved in at DeMaCS.
DDBAI @DeMaCS @UniCal
Research line on logic-based AI and deductive databases, including ASP-related methods, systems, and applications.
AIM @DeMaCS @UniCal
Artificial Intelligence in Medicine (AIM): AI methods for biomedical data analysis and healthcare-oriented applications.
DeMaCS research group (INF/01 — Artificial Intelligence)
Institutional page for DeMaCS research groups, including the INF/01 group in Artificial Intelligence.
DeMaCS laboratory
Institutional laboratory page (catalog entry) on the DeMaCS portal.
Teaching
Links to course pages and materials currently available online.
Fundamentals of Computer Science
Bachelor’s degree (BSc)
Introduction to programming fundamentals, algorithms, and C++.
Object-Oriented Programming
Bachelor’s degree (BSc)
Course materials, announcements, exercises, and exam information.
Artificial Intelligence
Bachelor’s degree (BSc)
Course information and coordination details.
Academic profiles
Main references to my academic profiles.
Useful links
Selected project pages and tools.