Marco Cadoli: Research

• Research interests
  Artificial Intelligence (link to the AI group at DIS), Knowledge Representation, Computational Logic, Database Theory, Computational Complexity, Software Engineering.
• Selected publications (books, journal articles, recent conference papers, technical reports)
• Projects/Software
  
  • NP-spec: Code and SAT generation from logical specification
  • Quantified Boolean Formulae
  • Local++: A C++ framework for local search algorithms
• Research-related activities
  • Member of the Editorial Board of some journals
  • Member of the Program Committee of some conferences
  • Invited speaker at some conferences
  • Supervisor of the working group on Knowledge Representation and Reasoning of the Italian Association for Artificial Intelligence
  • Received some awards for the research activity.