Research

Research interests

  • Logic Programming
  • Nonmonotoning Reasoning
  • Recursive aggregation of data
  • Optimization problems
  • Algorithms for efficient query answering
  • … and others that I will not list here!

Curriculum vitae et studiorum

Organization committees

  • ASP Competition 2011 — 3-th Answer Set Programming Competition [link]
  • CILC 2010 — 25-esimo Convegno Italiano di Logica Computazionale [link]

Program committees

  • IJCAI 2015 — Twenty-forth International Joint Conference on Artificial Intelligence [link]
  • RuleML 2015 — The 9th International Web Rule Symposium [link]
  • LNMR 2015 — Second International Workshop on Learning and Nonmonotonic Reasoning [link]
  • RCRA 2014 — 21st RCRA International Workshop on “Experimental Evaluation of Algorithms for solving problems with combinatorial explosion” [link]
  • IJCAI 2011 — Twenty-second International Joint Conference on Artificial Intelligence [link]

External links