User Tools
Writing /home/academic/ogsavkovic/public_html/wiki/data/cache/a/a1681481b10c531c386c6ef325caea47.metadata failed
magik-demo:developer:notes:magik3-tickets
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
magik-demo:developer:notes:magik3-tickets [2013/07/09 10:06] alex |
magik-demo:developer:notes:magik3-tickets [2017/07/06 15:24] (current) |
||
|---|---|---|---|
| Line 4: | Line 4: | ||
| | 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|}} | | | 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|}} | | ||
| | single & double quotes | high |Solve the problem with double quotes in the presence of FDCs. Adjust all JUnit tests so the constants are written withint single quotes (and make test green :)) | {{:magik-demo:todo-red.gif|}}| | | single & double quotes | high |Solve the problem with double quotes in the presence of FDCs. Adjust all JUnit tests so the constants are written withint single quotes (and make test green :)) | {{:magik-demo:todo-red.gif|}}| | ||
| - | | Query Generalization in the presence of FDCs | low | Understand how one can do it and then imoplement | {{:magik-demo:todo-red.gif|}}| | + | | Query Generalization in the presence of FDCs | high | Understand how one can do it and then imoplement | {{:magik-demo:todo-red.gif|}}| |
| - | | Often happen that there is an exception that breaks the program. I restart the server but no help. However, when I clean up the build it works ok again. And it always displays that error is in at org.apache.jsp.constraints.showQuerySuggestion_jsp._jspServic| low | Is there a way to know what is a reason | {{:magik-demo:todo-red.gif|}}| | + | | Documentation| low | It's time to update and add some more documentation about MAGIK | {{:magik-demo:todo-red.gif|}}| |
| + | | Often happen that there is an exception that breaks the program. I restart the server but no help. However, when I clean up the build it works ok again. And it always displays that error is in at org.apache.jsp.constraints.showQuerySuggestion_jsp._jspServic| low | Is there a way to know what is a reason. Reason is found; ad hoc solution found | {{:magik-demo:done-green.gif|}}| | ||
| + | | DLV path| low | Evaluate some possibilities of modifying method of obtaining the path | {{:magik-demo:done-green.gif|}}| | ||
| | Generalization algorithm | high |First version is running. After reasoning has been called a static var ''TCQCReasoner.queryGeneralization'' contains query Generalization of the last incomplete query. TODO: Generalization in the presence of FDCs. Do more tests as well.|{{:magik-demo:done-green.gif|}} | | | Generalization algorithm | high |First version is running. After reasoning has been called a static var ''TCQCReasoner.queryGeneralization'' contains query Generalization of the last incomplete query. TODO: Generalization in the presence of FDCs. Do more tests as well.|{{:magik-demo:done-green.gif|}} | | ||
| | TC-Suggestion table | high | Show TC-Suggestions and program encoding on completeness reasoning (as in CIKM). | {{:magik-demo:done-green.gif|}} | | | TC-Suggestion table | high | Show TC-Suggestions and program encoding on completeness reasoning (as in CIKM). | {{:magik-demo:done-green.gif|}} | | ||
magik-demo/developer/notes/magik3-tickets.1373357199.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
