Welcome to MAGIK's documentation!

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

The latest version of MAGIK is available at http://magik-demo.inf.unibz.it.

• MAGIK reasoning at work - Completeness of School Data
• MAGIK was presented at CIKM 2012 - paper | poster
• How we use Answer-Set Programming to implement MAGIK reasoning is explained in the MSc thesis of Sergey Paramonov - pdf

• MAGIK Project:
  • Deploy MAGIK on Server or Localhost | Import MAGIK Project in Eclipse | MAGIK Project Description
• MAGIK Architecture:
  • Overall Architecture | Interface Layer | Reasoning Layer | Data Layer
• MAGIK Business Logic (logic of JSPs)
• MAGIK Code:
  • Browse code