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
dodaro (at)


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
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
Programmazione ad Oggetti University of Calabria 2011/2012, 2013/2014, 2014/2015, 2015/2016