Projects

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

Links:

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

Katholieke Universiteit Leuven


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

Links:

  • 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