Carmine Dodaro

Senior Researcher (Ricercatore a Tempo Determinato di tipo B)

Department of Mathematics and Computer Science (DeMaCS), University of Calabria
Via P. Bucci, cubo 31 B (2° floor), 87036 Rende (CS), Italy
+39 0984 496403


Research interests

  • Knowledge Representation and Reasoning
  • Artificial Intelligence
  • Answer Set Programming
  • Optimization problems
  • SAT and MaxSAT
  • Algorithms for efficient query answering




An ASP solver based on clause learning


An open-source ASP solver written in Java

Models Enumeration

An open-source tool based on glucose for enumerating model of a CNF


Interfacce Grafiche e Programmazione ad Eventi University of Calabria 2018/2019, 2019/2020
Programmazione ad Oggetti University of Calabria 2011/2012, 2013/2014-2015/2016, 2019/2020
Informatica per gli Umanisti University of Genova 2017/2018 Scheda corso - Aulaweb
Languages and Solving Techniques for Knowledge Representation and ReasoningUniversity of Genova 2017/2018 Aulaweb
Efficient ASP Techniques for Solving Hard Problems University of Calabria 2017/2018 Material
Enterprise Applications University of Calabria 2014/2015, 2015/2016


Apr 2020Program Chair of the Workshop on Probabilistic Logic Programming (PLP)Home Page
Sep 2019Best technical paper award ICLP
Reportage online
Jun 2019IJCAI 2019 Distinguished Program Committee member award
Apr 2019New position as senior researcher at University of Calabria
Jan 2017New position as researcher at University of Genova
Oct 2016Best paper award ICLP Quotidiano del sud 2 novembre 2016
Quotidiano del sud 25 ottobre 2016
Reportage online
Approdo news
Jan 2015Ph.D. in Mathematics and Computer Science
Jun 2012AI*IA Award for my master thesis Gazzetta del sud
Quotidiano del sud