magik-demo:start-here
Welcome to MAGIK's documentation!
MAGIK for Users
-
-
How we use Answer-Set Programming to implement MAGIK reasoning is explained in the MSc thesis of Sergey Paramonov -
pdf
MAGIK for Developers
MAGIK Project:
MAGIK Architecture:
-
MAGIK Code:
magik-demo/start-here.txt · Last modified: 2017/07/06 15:24 (external edit)