(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 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)
- 14:36, 29 August 2011 (diff | hist) . . (+1) . . ReDIK:ReDIK-2011-Workshop
- 14:34, 29 August 2011 (diff | hist) . . (+49) . . ReDIK:ReDIK-2011-Workshop (adding Martin Slota's slides)
- 14:31, 29 August 2011 (diff | hist) . . (+58) . . N Súbor:Redik-2011-slides-slota.pdf (Slides presented by M Slota during the ReDIK-2011 workshop) (current)
- 14:00, 28 August 2011 (diff | hist) . . (+154) . . ReDIK:ReDIK-2011-Workshop (Intro updated, extended)
- 13:54, 28 August 2011 (diff | hist) . . (0) . . m ReDIK:ReDIK-2011-Workshop (typo)
- 13:54, 28 August 2011 (diff | hist) . . (+33) . . ReDIK:ReDIK-2011-Workshop (Strucuring abstracts into two parts)
- 13:52, 28 August 2011 (diff | hist) . . (+15) . . ReDIK:ReDIK-2011-Workshop (Fixing authors)
- 13:50, 28 August 2011 (diff | hist) . . (+534) . . ReDIK:ReDIK-2011-Workshop (KRAmb project abstract added)
- 13:30, 28 August 2011 (diff | hist) . . (+335) . . ReDIK:ReDIK-2011-Workshop (Joao Leite's abstract)
- 13:27, 28 August 2011 (diff | hist) . . (+1,912) . . ReDIK:ReDIK-2011-Workshop (Martin Slota's abstract added)
- 13:03, 28 August 2011 (diff | hist) . . (-3) . . m ReDIK:ReDIK-2011-Workshop (Welcome drink is now sure :D)
- 12:44, 28 August 2011 (diff | hist) . . (-27) . . m ReDIK:ReDIK-2011-Workshop (Fixing errors)
- 12:43, 28 August 2011 (diff | hist) . . (-171) . . m ReDIK:ReDIK-2011-Workshop (Mayking the schedule more concise)
- 12:37, 28 August 2011 (diff | hist) . . (+248) . . ReDIK:ReDIK-2011-Workshop (Added more days for joint research & discussion. This reflects departure of M Slota)
- 23:05, 24 August 2011 (diff | hist) . . (0) . . m ReDIK:ReDIK-2011-Workshop (moved PTSK-2011-Workshop to ReDIK-2011-Workshop: Previous mistake, aye?)
- 23:01, 24 August 2011 (diff | hist) . . (+964) . . ReDIK:ReDIK-2011-Workshop (added my talk's abstract)
- 22:53, 24 August 2011 (diff | hist) . . (+384) . . N ReDIK:ReDIK-2011-Workshop (First outline: program and abstracts hedings)
- 14:19, 9 November 2010 (diff | hist) . . (+151) . . Computational Logic (Midterm results and details removed. Results (midterm and wiki) are now linked and password-protected.)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)