CP4IM is a declarative approach to constraint-based itemset mining.


  • Project publications are available here.
  • Software implementation is available here.

Katholieke Universiteit Leuven

MAGIK is a web-based tool for managing database completeness.


  • MAGIK documentation is available here.
  • Illustration of MAGIK reasoning facilities is available here.
  • MAGIK demo was presented at CIKM '12. The demo paper is available here.

Free University of Bolzano

Together with Ognjen Savkovic, Paramita Mirza, and prof. Werner Nutt