Research interests

Knowledge Representation and Reasoning

Artificial Intelligence

Answer Set Programming

Optimization problems

SAT and MaxSAT

Algorithms for efficient query answering

Resources

Curriculum Vitae (ENG) [PDF – ENG]

Curriculum Vitae (ITA) [PDF – ITA]

Ph.D. Dissertation [PDF – ENG]

Master Degree Dissertation [PDF – ENG]