User Tools
Writing /home/academic/ogsavkovic/public_html/wiki/data/cache/2/290ac29279a6319afbe839fe9aa162f9.metadata failed
magik-demo:developer:notes:magik3-objectives
Differences
This shows you the differences between two versions of the page.
| Next revision | Previous revision | ||
|
magik-demo:developer:notes:magik3-objectives [2013/05/17 17:58] admin created |
magik-demo:developer:notes:magik3-objectives [2017/07/06 15:24] (current) |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| - | ====== MAGIK 3 ====== | + | ====== MAGIK 3 Objectives ====== |
| **This document describes the objectives and (un)implemented tasks (tickets) of the new version of MAGIK tool.** \\ | **This document describes the objectives and (un)implemented tasks (tickets) of the new version of MAGIK tool.** \\ | ||
| Line 8: | Line 8: | ||
| **Last Modified: ~~LASTMOD~~.** | **Last Modified: ~~LASTMOD~~.** | ||
| - | Previous MAGIK versions: | + | ===== Previous MAGIK versions: ===== |
| * ''MAGIK'' - initial test version. | * ''MAGIK'' - initial test version. | ||
| * ''MAGIK_WEB/'' - a version presented in November 2012 at CIKM. | * ''MAGIK_WEB/'' - a version presented in November 2012 at CIKM. | ||
| Line 21: | Line 22: | ||
| - | ===== Objectives ===== | + | ===== Objectives (2013/05/16) ===== |
| === Create a top controlling module === | === Create a top controlling module === | ||
| * Keeps track about running sessions | * Keeps track about running sessions | ||
| Line 83: | Line 84: | ||
| | | ||
| - | ===== Tickets ===== | ||
| - | |||
| - | ^ Task name ^ Priority ^ Description ^ Status ^ | ||
| - | | Specialization algorithm | high |Develop and implement an algorithm that computes all complete specializations of an incomplete query of the maximal size k. Use Prolog (TuProlog) as an implementation techique| {{:magik-demo:todo-red.gif|}} | | ||
| - | | Generalization algorithm | high |Develop and implement an algorithm that computes complete generaliztion of an incomplete query. If possible try to generate exactly one program that will do a computation. Use DLV solver for that purpose.| {{:magik-demo:todo-red.gif|}} | | ||
| - | | Coloring and Title Bar | low |Return the coloring scheme and the tile image as it was before.| {{:magik-demo:todo-red.gif|}} | | ||
magik-demo/developer/notes/magik3-objectives.1368806293.txt.gz · Last modified: 2017/07/06 15:24 (external edit)
Page Tools
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Share Alike 3.0 Unported
