(najnovšie | najstaršie) Zobraziť (50 novších | 50 starších) (20 | 50 | 100 | 250 | 500).
- 09:22, 27. september 2011 (rozdiel | história) . . (+1) . . d Computational Logic (mistyped comment)
- 09:21, 27. september 2011 (rozdiel | história) . . (+17) . . d Computational Logic (marking who teaches lectures and who labs)
- 09:21, 27. september 2011 (rozdiel | história) . . (+82) . . Computational Logic (Intro, Info table, basic info and evaluaion updated)
- 17:31, 15. september 2011 (rozdiel | história) . . (+250) . . ReDIK:Hybrid Theories vs. MCS (adding Brewka/Eiter paper)
- 17:23, 15. september 2011 (rozdiel | história) . . (+206) . . ReDIK:Hybrid Theories vs. MCS (Formulation of the goal...)
- 17:19, 15. september 2011 (rozdiel | história) . . (+328) . . ReDIK:Hybrid Theories vs. MCS (adding 1st Giunchiglia paper)
- 17:09, 15. september 2011 (rozdiel | história) . . (+382) . . N ReDIK:Hybrid Theories vs. MCS (first structure, plus the plan as sent by Joao)
- 17:07, 15. september 2011 (rozdiel | história) . . (+269) . . ReDIK:Main (Adding the topics) (aktuálne)
- 17:01, 5. september 2011 (rozdiel | história) . . (+6) . . ReDIK:Main
- 15:49, 5. september 2011 (rozdiel | história) . . (-1 096) . . ReDIK:Main
- 15:45, 5. september 2011 (rozdiel | história) . . (+72) . . ReDIK:Main
- 15:44, 5. september 2011 (rozdiel | história) . . (+1 105) . . N ReDIK:Possible collaboration topics (Created by copying list previously added by Martin Slota from the Main page) (aktuálne)
- 14:36, 29. august 2011 (rozdiel | história) . . (+1) . . ReDIK:ReDIK-2011-Workshop
- 14:34, 29. august 2011 (rozdiel | história) . . (+49) . . ReDIK:ReDIK-2011-Workshop (adding Martin Slota's slides)
- 14:31, 29. august 2011 (rozdiel | história) . . (+58) . . N Súbor:Redik-2011-slides-slota.pdf (Slides presented by M Slota during the ReDIK-2011 workshop) (aktuálne)
- 14:00, 28. august 2011 (rozdiel | história) . . (+154) . . ReDIK:ReDIK-2011-Workshop (Intro updated, extended)
- 13:54, 28. august 2011 (rozdiel | história) . . (0) . . d ReDIK:ReDIK-2011-Workshop (typo)
- 13:54, 28. august 2011 (rozdiel | história) . . (+33) . . ReDIK:ReDIK-2011-Workshop (Strucuring abstracts into two parts)
- 13:52, 28. august 2011 (rozdiel | história) . . (+15) . . ReDIK:ReDIK-2011-Workshop (Fixing authors)
- 13:50, 28. august 2011 (rozdiel | história) . . (+534) . . ReDIK:ReDIK-2011-Workshop (KRAmb project abstract added)
- 13:30, 28. august 2011 (rozdiel | história) . . (+335) . . ReDIK:ReDIK-2011-Workshop (Joao Leite's abstract)
- 13:27, 28. august 2011 (rozdiel | história) . . (+1 912) . . ReDIK:ReDIK-2011-Workshop (Martin Slota's abstract added)
- 13:03, 28. august 2011 (rozdiel | história) . . (-3) . . d ReDIK:ReDIK-2011-Workshop (Welcome drink is now sure :D)
- 12:44, 28. august 2011 (rozdiel | história) . . (-27) . . d ReDIK:ReDIK-2011-Workshop (Fixing errors)
- 12:43, 28. august 2011 (rozdiel | história) . . (-171) . . d ReDIK:ReDIK-2011-Workshop (Mayking the schedule more concise)
- 12:37, 28. august 2011 (rozdiel | história) . . (+248) . . ReDIK:ReDIK-2011-Workshop (Added more days for joint research & discussion. This reflects departure of M Slota)
- 23:05, 24. august 2011 (rozdiel | história) . . (0) . . d ReDIK:ReDIK-2011-Workshop (moved PTSK-2011-Workshop to ReDIK-2011-Workshop: Previous mistake, aye?)
- 23:01, 24. august 2011 (rozdiel | história) . . (+964) . . ReDIK:ReDIK-2011-Workshop (added my talk's abstract)
- 22:53, 24. august 2011 (rozdiel | história) . . (+384) . . N ReDIK:ReDIK-2011-Workshop (First outline: program and abstracts hedings)
- 14:19, 9. november 2010 (rozdiel | história) . . (+151) . . Computational Logic (Midterm results and details removed. Results (midterm and wiki) are now linked and password-protected.)
- 14:12, 9. november 2010 (rozdiel | história) . . (-979) . . Computational Logic (Revert)
- 14:34, 2. november 2010 (rozdiel | história) . . (+6) . . Computational Logic (midterm in boldface)
- 22:18, 25. október 2010 (rozdiel | história) . . (-116) . . Topics for Diploma Theses/sk
- 22:23, 20. september 2010 (rozdiel | história) . . (-37) . . d Computational Logic
- 22:22, 20. september 2010 (rozdiel | história) . . (0) . . Computational Logic (Some interlinking and fixes)
- 22:21, 20. september 2010 (rozdiel | história) . . (+70) . . Computational Logic
- 22:19, 20. september 2010 (rozdiel | história) . . (+109) . . Computational Logic
- 22:17, 20. september 2010 (rozdiel | história) . . (+585) . . Computational Logic (lecture notes assignmet description)
- 21:17, 20. september 2010 (rozdiel | história) . . (+517) . . Computational Logic (Evaliation)
- 20:56, 20. september 2010 (rozdiel | história) . . (+155) . . Computational Logic (Syllabus: Context details)
- 20:42, 20. september 2010 (rozdiel | história) . . (+192) . . Computational Logic (Syllabus: LP details)
- 20:36, 20. september 2010 (rozdiel | história) . . (+146) . . Computational Logic (Syllabus: DL details)
- 20:33, 20. september 2010 (rozdiel | história) . . (+209) . . Computational Logic (Syllabus: Modal logics detailed)
- 20:29, 20. september 2010 (rozdiel | história) . . (+458) . . Computational Logic (Sylabus: PL and FL detailed)
- 20:00, 20. september 2010 (rozdiel | história) . . (-3) . . Computational Logic (fixed lecture scedule)
- 00:58, 18. september 2010 (rozdiel | história) . . (-2) . . Computational Logic (fixed 2nd labs schedule)
- 20:12, 17. september 2010 (rozdiel | história) . . (-16) . . Computational Logic (Fixing course name)
- 03:24, 17. september 2010 (rozdiel | história) . . (+35) . . Computational Logic (added section Literature)
- 03:20, 17. september 2010 (rozdiel | história) . . (+225) . . Computational Logic (Basic information)
- 03:13, 17. september 2010 (rozdiel | história) . . (+16) . . d Computational Logic (strucutre editions)
(najnovšie | najstaršie) Zobraziť (50 novších | 50 starších) (20 | 50 | 100 | 250 | 500).