(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 14:14, 25 September 2012 (diff | hist) . . (0) . . Master program in Applied Informatics/en (Updated: Modern approaches to web design, new code)
- 14:12, 25 September 2012 (diff | hist) . . (+27) . . Master program in Applied Informatics/en (Updated: Knowledge Representation and Reasoning is taught by Homola and Balaz)
- 12:28, 25 September 2012 (diff | hist) . . (+48) . . Computational Logic (Adding a link to a separate course home page, commenting out, old information)
- 12:24, 25 September 2012 (diff | hist) . . (+124) . . Master program in Applied Informatics/en (Adding Computational Logic (course was missing))
- 12:17, 25 September 2012 (diff | hist) . . (+128) . . Course CompLog (Fixed: labs schedule)
- 09:42, 25 September 2012 (diff | hist) . . (+1) . . Course CompLog
- 09:42, 25 September 2012 (diff | hist) . . (+712) . . N Course CompLog (First sketch: basic info, syllabus, evaluation)
- 11:30, 22 May 2012 (diff | hist) . . (+69) . . Course KRR
- 11:29, 22 May 2012 (diff | hist) . . (+25) . . Course KRR (dedline for phase 3 adjusted)
- 09:40, 19 March 2012 (diff | hist) . . (+1,448) . . Course KRR
- 18:05, 2 March 2012 (diff | hist) . . (+119) . . Course KRR (added Antonic project)
- 17:58, 2 March 2012 (diff | hist) . . (+136) . . Course KRR (added ref to Bikakis paper)
- 17:48, 2 March 2012 (diff | hist) . . (+131) . . Course KRR (added link to uload projects)
- 17:34, 2 March 2012 (diff | hist) . . (+380) . . Course KRR (prve info k projektu)
- 09:57, 21 February 2012 (diff | hist) . . (+35) . . Representation Knowledge Reasoning/sk (course homapage) (current)
- 09:57, 21 February 2012 (diff | hist) . . (+28) . . Representation Knowledge Reasoning/en (course homepage) (current)
- 09:56, 21 February 2012 (diff | hist) . . (+5) . . Knowledge Representation and Reasoning/en (new homepage)
- 09:56, 21 February 2012 (diff | hist) . . (+5) . . Knowledge Representation and Reasoning/sk (new homepage)
- 09:55, 21 February 2012 (diff | hist) . . (+320) . . N Course KRR (Evaluation points and scale)
- 18:08, 10 January 2012 (diff | hist) . . (+78) . . Computational Logic (added bonus score)
- 01:25, 7 January 2012 (diff | hist) . . (+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 January 2012 (diff | hist) . . (+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 (diff | hist) . . (+99) . . Computational Logic (midterm results)
- 00:26, 11 November 2011 (diff | hist) . . (+16) . . m Computational Logic (typo)
- 00:17, 11 November 2011 (diff | hist) . . (+1,290) . . Computational Logic (bonus assignement added)
- 23:01, 2 November 2011 (diff | hist) . . (+138) . . Computational Logic (added news section and some announcements)
- 22:58, 31 October 2011 (diff | hist) . . (+48) . . Computational Logic (added date and place of midterm)
- 19:01, 25 October 2011 (diff | hist) . . (0) . . Computational Logic
- 17:18, 24 October 2011 (diff | hist) . . (+72) . . Computational Logic
- 17:17, 24 October 2011 (diff | hist) . . (+60) . . N Súbor:Cl2011 d.pdf (Slides: Computational logic, 3rd lecture: Reasoning with ALC) (current)
- 17:00, 20 October 2011 (diff | hist) . . (0) . . Súbor:Cl2011 c.pdf (uploaded a new version of "File:Cl2011 c.pdf") (current)
- 16:58, 20 October 2011 (diff | hist) . . (+75) . . Computational Logic (Added next lecture: ALC DL)
- 16:56, 20 October 2011 (diff | hist) . . (+63) . . N Súbor:Cl2011 c.pdf (Slides: Computational logic, 3rd lecture: Description logic ALC)
- 16:55, 20 October 2011 (diff | hist) . . (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) (current)
- 16:54, 20 October 2011 (diff | hist) . . (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 October 2011 (diff | hist) . . (-12) . . m Computational Logic (nadpis...)
- 09:37, 27 September 2011 (diff | hist) . . (0) . . Computational Logic (fixed link to lecture notes (last one))
- 09:23, 27 September 2011 (diff | hist) . . (0) . . m Computational Logic
- 09:22, 27 September 2011 (diff | hist) . . (+1) . . m Computational Logic (mistyped comment)
- 09:21, 27 September 2011 (diff | hist) . . (+17) . . m Computational Logic (marking who teaches lectures and who labs)
- 09:21, 27 September 2011 (diff | hist) . . (+82) . . Computational Logic (Intro, Info table, basic info and evaluaion updated)
- 17:31, 15 September 2011 (diff | hist) . . (+250) . . ReDIK:Hybrid Theories vs. MCS (adding Brewka/Eiter paper)
- 17:23, 15 September 2011 (diff | hist) . . (+206) . . ReDIK:Hybrid Theories vs. MCS (Formulation of the goal...)
- 17:19, 15 September 2011 (diff | hist) . . (+328) . . ReDIK:Hybrid Theories vs. MCS (adding 1st Giunchiglia paper)
- 17:09, 15 September 2011 (diff | hist) . . (+382) . . N ReDIK:Hybrid Theories vs. MCS (first structure, plus the plan as sent by Joao)
- 17:07, 15 September 2011 (diff | hist) . . (+269) . . ReDIK:Main (Adding the topics) (current)
- 17:01, 5 September 2011 (diff | hist) . . (+6) . . ReDIK:Main
- 15:49, 5 September 2011 (diff | hist) . . (-1,096) . . ReDIK:Main
- 15:45, 5 September 2011 (diff | hist) . . (+72) . . ReDIK:Main
- 15:44, 5 September 2011 (diff | hist) . . (+1,105) . . N ReDIK:Possible collaboration topics (Created by copying list previously added by Martin Slota from the Main page) (current)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)