(najnovšie | najstaršie) Zobraziť (100 novších | 100 starších) (20 | 50 | 100 | 250 | 500).
- 11:29, 22. máj 2012 (rozdiel | história) . . (+25) . . Course KRR (dedline for phase 3 adjusted)
- 09:40, 19. marec 2012 (rozdiel | história) . . (+1 448) . . Course KRR
- 18:05, 2. marec 2012 (rozdiel | história) . . (+119) . . Course KRR (added Antonic project)
- 17:58, 2. marec 2012 (rozdiel | história) . . (+136) . . Course KRR (added ref to Bikakis paper)
- 17:48, 2. marec 2012 (rozdiel | história) . . (+131) . . Course KRR (added link to uload projects)
- 17:34, 2. marec 2012 (rozdiel | história) . . (+380) . . Course KRR (prve info k projektu)
- 09:57, 21. február 2012 (rozdiel | história) . . (+35) . . Representation Knowledge Reasoning/sk (course homapage) (aktuálne)
- 09:57, 21. február 2012 (rozdiel | história) . . (+28) . . Representation Knowledge Reasoning/en (course homepage) (aktuálne)
- 09:56, 21. február 2012 (rozdiel | história) . . (+5) . . Knowledge Representation and Reasoning/en (new homepage)
- 09:56, 21. február 2012 (rozdiel | história) . . (+5) . . Knowledge Representation and Reasoning/sk (new homepage)
- 09:55, 21. február 2012 (rozdiel | história) . . (+320) . . N Course KRR (Evaluation points and scale)
- 18:08, 10. január 2012 (rozdiel | história) . . (+78) . . Computational Logic (added bonus score)
- 01:25, 7. január 2012 (rozdiel | história) . . (+2) . . Internal:Reprezentácia neúplných, vyvíjajúcich sa a distribuovaných znalostí (v interakcii s komunikačnou platformou) (oprava nazvu jedneho z clankov)
- 22:57, 5. január 2012 (rozdiel | história) . . (+1 936) . . Internal:Reprezentácia neúplných, vyvíjajúcich sa a distribuovaných znalostí (v interakcii s komunikačnou platformou) (Publikacie Martin Homola)
- 18:19, 12. november 2011 (rozdiel | história) . . (+99) . . Computational Logic (midterm results)
- 00:26, 11. november 2011 (rozdiel | história) . . (+16) . . d Computational Logic (typo)
- 00:17, 11. november 2011 (rozdiel | história) . . (+1 290) . . Computational Logic (bonus assignement added)
- 23:01, 2. november 2011 (rozdiel | história) . . (+138) . . Computational Logic (added news section and some announcements)
- 22:58, 31. október 2011 (rozdiel | história) . . (+48) . . Computational Logic (added date and place of midterm)
- 19:01, 25. október 2011 (rozdiel | história) . . (0) . . Computational Logic
- 17:18, 24. október 2011 (rozdiel | história) . . (+72) . . Computational Logic
- 17:17, 24. október 2011 (rozdiel | história) . . (+60) . . N Súbor:Cl2011 d.pdf (Slides: Computational logic, 3rd lecture: Reasoning with ALC) (aktuálne)
- 17:00, 20. október 2011 (rozdiel | história) . . (0) . . Súbor:Cl2011 c.pdf (uploaded a new version of "File:Cl2011 c.pdf") (aktuálne)
- 16:58, 20. október 2011 (rozdiel | história) . . (+75) . . Computational Logic (Added next lecture: ALC DL)
- 16:56, 20. október 2011 (rozdiel | história) . . (+63) . . N Súbor:Cl2011 c.pdf (Slides: Computational logic, 3rd lecture: Description logic ALC)
- 16:55, 20. október 2011 (rozdiel | história) . . (0) . . Súbor:Cl2011 b.pdf (uploaded a new version of "File:Cl2011 b.pdf": Reverted to version as of 11:47, 4 October 2011) (aktuálne)
- 16:54, 20. október 2011 (rozdiel | história) . . (0) . . Súbor:Cl2011 b.pdf (uploaded a new version of "File:Cl2011 b.pdf": Slides: Computational logic, 3rd lecture: Description Logic ALC)
- 16:52, 20. október 2011 (rozdiel | história) . . (-12) . . d Computational Logic (nadpis...)
- 09:37, 27. september 2011 (rozdiel | história) . . (0) . . Computational Logic (fixed link to lecture notes (last one))
- 09:23, 27. september 2011 (rozdiel | história) . . (0) . . d Computational Logic
- 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)
- 03:10, 17. september 2010 (rozdiel | história) . . (+152) . . Computational Logic (basic structure)
- 03:05, 17. september 2010 (rozdiel | história) . . (+957) . . N Computational Logic (New page, basic information)
- 02:49, 17. september 2010 (rozdiel | história) . . (+926) . . N Introduction to Computational Logic (Move did not work)
- 02:42, 17. september 2010 (rozdiel | história) . . (-30) . . Martin Homola/en (Courses updated)
- 02:40, 17. september 2010 (rozdiel | história) . . (+52) . . N Introduction to Computer Logic/en (moved Introduction to Computer Logic/en to Introduction to Computational Logic/en: Incorrect English translation) (aktuálne)
- 02:40, 17. september 2010 (rozdiel | história) . . (0) . . d Introduction to Computational Logic/en (moved Introduction to Computer Logic/en to Introduction to Computational Logic/en: Incorrect English translation)
- 11:45, 26. január 2010 (rozdiel | história) . . (+12) . . Sandbox/en
- 11:41, 26. január 2010 (rozdiel | história) . . (+109) . . Sandbox/en
- 11:36, 26. január 2010 (rozdiel | história) . . (-133) . . Sandbox/en
- 11:33, 26. január 2010 (rozdiel | história) . . (+38) . . Sandbox/en
- 11:27, 26. január 2010 (rozdiel | história) . . (+53) . . Sandbox/en
- 11:23, 26. január 2010 (rozdiel | história) . . (+1 660) . . Sandbox/en
- 14:17, 11. december 2009 (rozdiel | história) . . (+100) . . Internal:SWEEP Meeting 2009-12-11 (aktuálne)
- 13:55, 11. december 2009 (rozdiel | história) . . (+590) . . Internal:SWEEP Meeting 2009-12-11
- 13:24, 11. december 2009 (rozdiel | história) . . (+292) . . Internal:SWEEP Meeting 2009-12-11
- 13:09, 11. december 2009 (rozdiel | história) . . (+472) . . N Internal:SWEEP Meeting 2009-12-11 (Created page with 'Diskusia s Danom Adamom o jeho bakalárke. * Feri navrhuje upresnenie témy: ** pri tvorbe modelu urobiť aj nejaký poriadok... ** vytvoriť prekladové vrstvy ** vytvoriť vý…')
- 12:46, 11. december 2009 (rozdiel | história) . . (+40) . . Internal:SWEEP (aktuálne)
- 14:29, 9. október 2009 (rozdiel | história) . . (+368) . . N Internal:SWEEP Meeting 2009-10-09 (Created page with '==Slides== * Switching between modes: e-learning (tree), print (single page), presentation (slides) * Realtime notes * Export: LaTeX/PDF * Movies/animation * Wiki versioning * S…') (aktuálne)
- 13:47, 9. október 2009 (rozdiel | história) . . (+40) . . Internal:SWEEP
- 15:39, 2. október 2009 (rozdiel | história) . . (+60) . . Internal:SWEEP Meeting 2009-10-02 (aktuálne)
(najnovšie | najstaršie) Zobraziť (100 novších | 100 starších) (20 | 50 | 100 | 250 | 500).