(najnovšie | najstaršie) Zobraziť (100 novších | 100 starších) (20 | 50 | 100 | 250 | 500).
- 12:55, 25. september 2013 (rozdiel | história) . . (0) . . Course CompLog (Grading fix)
- 13:49, 18. jún 2013 (rozdiel | história) . . (+46) . . N Súbor:KRR2013-Lecture-11-Abduction.pdf (Lecture slides: KRR2013, lecture 11: Abduction) (aktuálne)
- 13:47, 18. jún 2013 (rozdiel | história) . . (+44) . . Course KRR (added lecuture 11)
- 16:57, 5. máj 2013 (rozdiel | história) . . (+76) . . N Súbor:KRR2013-Lecture-10-Induction.pdf (Lecture slides: KRR2013, lecture 10. Inductive reasoning, theta subsumption.) (aktuálne)
- 16:56, 5. máj 2013 (rozdiel | história) . . (+44) . . Course KRR (adding lecture 10)
- 21:00, 29. apríl 2013 (rozdiel | história) . . (+102) . . Course KRR (Added lecture slides (lecture 9))
- 20:58, 29. apríl 2013 (rozdiel | história) . . (+80) . . N Súbor:KRR2013-Lecture-9-NMR-characterization.pdf (Lecture slides: KRR2013, lecture 9. Characterization of Non-Monotonic Reasoning.) (aktuálne)
- 09:34, 4. apríl 2013 (rozdiel | história) . . (+916) . . Course KRR (Adding literature from the first 4 lectures)
- 09:12, 4. apríl 2013 (rozdiel | história) . . (+105) . . N Súbor:KRR2013-Lecture-4-Relations-btwn-DB-schemas.pdf (Lecture slides: KRR2013, lecture 4. Modelling relations between database schemas with description logics.) (aktuálne)
- 09:09, 4. apríl 2013 (rozdiel | história) . . (+60) . . Course KRR (Adding slides from lecture 4)
- 22:08, 10. marec 2013 (rozdiel | história) . . (+100) . . Course KRR (projects)
- 14:51, 5. marec 2013 (rozdiel | história) . . (-34) . . Course CompLog (Structure updated)
- 14:51, 5. marec 2013 (rozdiel | história) . . (+426) . . Course KRR (Some info on prerequisites)
- 14:40, 5. marec 2013 (rozdiel | história) . . (+178) . . Course KRR (Addind DL Handbook into literature.)
- 14:33, 5. marec 2013 (rozdiel | história) . . (-3 050) . . Course KRR (Cleaning out junk from last year (it is archived...))
- 15:20, 1. marec 2013 (rozdiel | história) . . (+89) . . N Súbor:KRR2013-Lecture-3-ER-vs-DL.pdf (Lecture slides: KRR2013, lecture 3. Reasoning with ER schemas based on translation to DL.) (aktuálne)
- 15:18, 1. marec 2013 (rozdiel | história) . . (+60) . . N Súbor:KRR2013-Lecture-2-DL.pdf (Lecture slides: KRR2013, lecture 2. Description logic ALCQHI) (aktuálne)
- 15:17, 1. marec 2013 (rozdiel | história) . . (+113) . . Course KRR (Added first three lectures)
- 15:15, 1. marec 2013 (rozdiel | história) . . (+57) . . N Súbor:KRR2013-Lecture-1-intro.pdf (Slides: KRR 2013 lecture 1. Intro to databases and logic.) (aktuálne)
- 17:12, 19. február 2013 (rozdiel | história) . . (-1) . . Course KRR
- 16:55, 19. február 2013 (rozdiel | história) . . (-18) . . Course KRR (google docs link (evaluation))
- 16:52, 19. február 2013 (rozdiel | história) . . (-2 140) . . Course KRR (Basic structure, course outline, scales and grading ...)
- 16:40, 19. február 2013 (rozdiel | história) . . (+3 042) . . Course KRR (Archived year 2011/2012)
- 09:41, 23. október 2012 (rozdiel | história) . . (0) . . Súbor:CompLog2012-Lecture-4-Reasoning-with-DL.pdf (uploaded a new version of "File:CompLog2012-Lecture-4-Reasoning-with-DL.pdf") (aktuálne)
- 09:39, 23. október 2012 (rozdiel | história) . . (0) . . Súbor:CompLog2012-Lecture-4-Reasoning-with-DL.pdf (uploaded a new version of "File:CompLog2012-Lecture-4-Reasoning-with-DL.pdf": Fixed typos)
- 11:04, 19. október 2012 (rozdiel | história) . . (-39) . . Research/en (Removing obsolete and unrelated link)
- 10:05, 17. október 2012 (rozdiel | história) . . (+38) . . N Súbor:CompLog2012-Lecture-4-Reasoning-with-DL.pdf (Tableau reasoning algorithm for ALC DL)
- 10:04, 17. október 2012 (rozdiel | história) . . (+95) . . Course CompLog (added link to L4)
- 14:34, 9. október 2012 (rozdiel | história) . . (+39) . . Course CompLog (L1 slides updated)
- 14:31, 9. október 2012 (rozdiel | história) . . (+50) . . N Súbor:CompLog2012-Lecture-3-DL.pdf (Introduction to Ontologies and Descripttion Logics) (aktuálne)
- 14:30, 9. október 2012 (rozdiel | história) . . (+30) . . N Súbor:CompLog2012-Lecture-2-Reasoning-with-FOL.pdf (Calculus, Resolution algorithm) (aktuálne)
- 14:27, 9. október 2012 (rozdiel | história) . . (+190) . . Course CompLog (Added links to slides (L2,L3))
- 14:22, 9. október 2012 (rozdiel | história) . . (0) . . Súbor:CompLog2012-Lecture-1-FOL.pdf (uploaded a new version of "File:CompLog2012-Lecture-1-FOL.pdf": Notation fixes) (aktuálne)
- 12:48, 3. október 2012 (rozdiel | história) . . (+11) . . d Course CompLog (Hint added)
- 12:48, 3. október 2012 (rozdiel | história) . . (+84) . . Course CompLog (Added link to project assignments)
- 14:11, 25. september 2012 (rozdiel | história) . . (+102) . . Course CompLog (Added first lecture slides)
- 14:09, 25. september 2012 (rozdiel | história) . . (+64) . . N Súbor:CompLog2012-Lecture-1-FOL.pdf (CompLog 2012, lecture 1: First Order Logic, Syntax and Semantics)
- 14:02, 25. september 2012 (rozdiel | história) . . (0) . . Master program in Applied Informatics/sk (Fixed date: Modern approaches to web design)
- 13:54, 25. september 2012 (rozdiel | história) . . (+87) . . Martin Homola/sk
- 13:52, 25. september 2012 (rozdiel | história) . . (+79) . . Martin Homola/en (added alternate course names)
- 13:50, 25. september 2012 (rozdiel | história) . . (+100) . . Martin Homola/en (Updated: position and courses)
- 13:45, 25. september 2012 (rozdiel | história) . . (0) . . Martin Homola/sk (Changed possition)
- 13:45, 25. september 2012 (rozdiel | história) . . (+114) . . Martin Homola/sk (Corses: added EduWeb, reordered)
- 13:40, 25. september 2012 (rozdiel | história) . . (-91) . . Martin Homola/sk (Courses: removed Hypermedia Systems)
- 13:39, 25. september 2012 (rozdiel | história) . . (+83) . . Martin Homola/sk (Courses: added KRR)
- 13:37, 25. september 2012 (rozdiel | história) . . (0) . . d Knowledge Representation and Reasoning/en (Engrish corrected)
- 13:35, 25. september 2012 (rozdiel | história) . . (-20) . . Martin Homola/sk (Corrected list of courses (complog))
- 13:33, 25. september 2012 (rozdiel | história) . . (-4) . . d Modern Approaches to Web Design/sk (Link fixed) (aktuálne)
- 13:31, 25. september 2012 (rozdiel | história) . . (+277) . . Modern Approaches to Web Design/sk (Aktualizacia informacii)
- 13:25, 25. september 2012 (rozdiel | história) . . (+259) . . Modern Approaches to Web Design (Information updated) (aktuálne)
- 13:14, 25. september 2012 (rozdiel | história) . . (0) . . Master program in Applied Informatics/en (Updated: Modern approaches to web design, new code)
- 13:12, 25. september 2012 (rozdiel | história) . . (+27) . . Master program in Applied Informatics/en (Updated: Knowledge Representation and Reasoning is taught by Homola and Balaz)
- 11:28, 25. september 2012 (rozdiel | história) . . (+48) . . Computational Logic (Adding a link to a separate course home page, commenting out, old information)
- 11:24, 25. september 2012 (rozdiel | história) . . (+124) . . Master program in Applied Informatics/en (Adding Computational Logic (course was missing))
- 11:17, 25. september 2012 (rozdiel | história) . . (+128) . . Course CompLog (Fixed: labs schedule)
- 08:42, 25. september 2012 (rozdiel | história) . . (+1) . . Course CompLog
- 08:42, 25. september 2012 (rozdiel | história) . . (+712) . . N Course CompLog (First sketch: basic info, syllabus, evaluation)
- 10:30, 22. máj 2012 (rozdiel | história) . . (+69) . . Course KRR
- 10:29, 22. máj 2012 (rozdiel | história) . . (+25) . . Course KRR (dedline for phase 3 adjusted)
- 08:40, 19. marec 2012 (rozdiel | história) . . (+1 448) . . Course KRR
- 17:05, 2. marec 2012 (rozdiel | história) . . (+119) . . Course KRR (added Antonic project)
- 16:58, 2. marec 2012 (rozdiel | história) . . (+136) . . Course KRR (added ref to Bikakis paper)
- 16:48, 2. marec 2012 (rozdiel | história) . . (+131) . . Course KRR (added link to uload projects)
- 16:34, 2. marec 2012 (rozdiel | história) . . (+380) . . Course KRR (prve info k projektu)
- 08:57, 21. február 2012 (rozdiel | história) . . (+35) . . Representation Knowledge Reasoning/sk (course homapage) (aktuálne)
- 08:57, 21. február 2012 (rozdiel | história) . . (+28) . . Representation Knowledge Reasoning/en (course homepage) (aktuálne)
- 08:56, 21. február 2012 (rozdiel | história) . . (+5) . . Knowledge Representation and Reasoning/en (new homepage)
- 08:56, 21. február 2012 (rozdiel | história) . . (+5) . . Knowledge Representation and Reasoning/sk (new homepage)
- 08:55, 21. február 2012 (rozdiel | história) . . (+320) . . N Course KRR (Evaluation points and scale)
- 17:08, 10. január 2012 (rozdiel | história) . . (+78) . . Computational Logic (added bonus score)
- 00: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)
- 21: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)
- 17:19, 12. november 2011 (rozdiel | história) . . (+99) . . Computational Logic (midterm results)
- 23:26, 10. november 2011 (rozdiel | história) . . (+16) . . d Computational Logic (typo)
- 23:17, 10. november 2011 (rozdiel | história) . . (+1 290) . . Computational Logic (bonus assignement added)
- 22:01, 2. november 2011 (rozdiel | história) . . (+138) . . Computational Logic (added news section and some announcements)
- 21:58, 31. október 2011 (rozdiel | história) . . (+48) . . Computational Logic (added date and place of midterm)
- 18:01, 25. október 2011 (rozdiel | história) . . (0) . . Computational Logic
- 16:18, 24. október 2011 (rozdiel | história) . . (+72) . . Computational Logic
- 16: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)
- 16: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)
- 15:58, 20. október 2011 (rozdiel | história) . . (+75) . . Computational Logic (Added next lecture: ALC DL)
- 15:56, 20. október 2011 (rozdiel | história) . . (+63) . . N Súbor:Cl2011 c.pdf (Slides: Computational logic, 3rd lecture: Description logic ALC)
- 15: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)
- 15: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)
- 15:52, 20. október 2011 (rozdiel | história) . . (-12) . . d Computational Logic (nadpis...)
- 08:37, 27. september 2011 (rozdiel | história) . . (0) . . Computational Logic (fixed link to lecture notes (last one))
- 08:23, 27. september 2011 (rozdiel | história) . . (0) . . d Computational Logic
- 08:22, 27. september 2011 (rozdiel | história) . . (+1) . . d Computational Logic (mistyped comment)
- 08:21, 27. september 2011 (rozdiel | história) . . (+17) . . d Computational Logic (marking who teaches lectures and who labs)
- 08:21, 27. september 2011 (rozdiel | história) . . (+82) . . Computational Logic (Intro, Info table, basic info and evaluaion updated)
- 16:31, 15. september 2011 (rozdiel | história) . . (+250) . . ReDIK:Hybrid Theories vs. MCS (adding Brewka/Eiter paper)
- 16:23, 15. september 2011 (rozdiel | história) . . (+206) . . ReDIK:Hybrid Theories vs. MCS (Formulation of the goal...)
- 16:19, 15. september 2011 (rozdiel | história) . . (+328) . . ReDIK:Hybrid Theories vs. MCS (adding 1st Giunchiglia paper)
- 16:09, 15. september 2011 (rozdiel | história) . . (+382) . . N ReDIK:Hybrid Theories vs. MCS (first structure, plus the plan as sent by Joao)
- 16:07, 15. september 2011 (rozdiel | história) . . (+269) . . ReDIK:Main (Adding the topics) (aktuálne)
- 16:01, 5. september 2011 (rozdiel | história) . . (+6) . . ReDIK:Main
- 14:49, 5. september 2011 (rozdiel | história) . . (-1 096) . . ReDIK:Main
- 14:45, 5. september 2011 (rozdiel | história) . . (+72) . . ReDIK:Main
- 14: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)
(najnovšie | najstaršie) Zobraziť (100 novších | 100 starších) (20 | 50 | 100 | 250 | 500).