(najnovšie | najstaršie) Zobraziť (20 novších | 20 starších) (20 | 50 | 100 | 250 | 500).
- 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
(najnovšie | najstaršie) Zobraziť (20 novších | 20 starších) (20 | 50 | 100 | 250 | 500).