Carmine Dodaro
My research interests are in the area of Artificial Intelligence, Knowledge Representation and Reasoning, Answer Set Programming, Optimization problems, SAT and MaxSAT. I worked on several open-source and research tools.
Associate Professor • AI Research
Hi, I am Carmine
- I am an Associate Professor
- I am a developer
- I work on Artificial Intelligence
- I work on open-source projects
Experiences
1
Department of Mathematics and Computer Science, University of Calabria
Associate Professor
Senior Researcher (RTDB) — Apr 2019 - Apr 2022
2
DIBRIS, University of Genoa
Junior Researcher (RTDA)
3
Department of Mathematics and Computer Science, University of Calabria
Post-doc — Dec 2014 - Dec 2016
Ph.D in Mathematics and Computer Science — Nov 2011 - Jan 2015
Master of Science — 2009 - 2011
Bachelor of Science — 2005 - 2008
Tools
WASP
A CDCL-based ASP solver that supports disjunction, aggregates, weak constraints.
Pyspel
A specification language based on python for logic programming.
CNL2ASP
A tool for converting English sentences in a controlled language into ASP.
CNLWizard
A tool for generating Controlled Natural Languages and the corresponding logic formalism.
Models Enumeration
An open-source tool based on glucose for enumerating models of a CNF.
Minipref
An open-source tool based on minisat for computing a minimal model of a CNF.
News
Nov 2025
The 2025 Marco Cadoli Distinguished Student Paper Prize Runner-Up KR 2025: Model Checker for Recursive Aggregates
Oct 2024
Organization of LPNMR 2024
Nov 2023
AI*IA Marco Somalvico Award
Sep 2022
Best paper award LPNMR 2022: Enumeration of Minimal Models and MUSes in WASP
Apr 2022
New position! Associate Professor, University of Calabria
Feb 2022
Outstanding Student Paper Honorable Mention AAAI-22: Compilation of Aggregates in ASP Systems
Sep 2021
Best application paper award ICLP 2021: An ASP-based Solution to the Chemotherapy Treatment Scheduling problem
Sep 2019
Best technical paper award ICLP 2019: Abstract Solvers for Computing Cautious Consequences of ASP programs
Jun 2019
IJCAI 2019 Distinguished Program Committee member award
Apr 2019
New position! Senior researcher, University of Calabria
Jan 2017
New position! Junior researcher, University of Genoa
Oct 2016
Best paper award ICLP 2016: Anytime answer set optimization via unsatisfiable core shrinking
Jan 2015
Ph.D. in Mathematics and Computer Science
Jan 2012
AI*IA Award "Best Italian thesis in Artificial Intelligence" for my master thesis
Dec 2011
Master degree in Computer Science 110/110 cum laude and honorable mention