User Tools

Site Tools


Welcome to MAGIK's documentation!

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

The latest version of MAGIK is available at

Screenshot of MAGIK demo | Screenshot of MAGIK demo |

MAGIK for Users

  • 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 for Developers

magik-demo/start-here.txt · Last modified: 2017/07/06 15:24 (external edit)