(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 13:55, 25 September 2013 (diff | hist) . . (0) . . Course CompLog (Grading fix)
- 14:49, 18 June 2013 (diff | hist) . . (+46) . . N Súbor:KRR2013-Lecture-11-Abduction.pdf (Lecture slides: KRR2013, lecture 11: Abduction) (current)
- 14:47, 18 June 2013 (diff | hist) . . (+44) . . Course KRR (added lecuture 11)
- 17:57, 5 May 2013 (diff | hist) . . (+76) . . N Súbor:KRR2013-Lecture-10-Induction.pdf (Lecture slides: KRR2013, lecture 10. Inductive reasoning, theta subsumption.) (current)
- 17:56, 5 May 2013 (diff | hist) . . (+44) . . Course KRR (adding lecture 10)
- 22:00, 29 April 2013 (diff | hist) . . (+102) . . Course KRR (Added lecture slides (lecture 9))
- 21:58, 29 April 2013 (diff | hist) . . (+80) . . N Súbor:KRR2013-Lecture-9-NMR-characterization.pdf (Lecture slides: KRR2013, lecture 9. Characterization of Non-Monotonic Reasoning.) (current)
- 10:34, 4 April 2013 (diff | hist) . . (+916) . . Course KRR (Adding literature from the first 4 lectures)
- 10:12, 4 April 2013 (diff | hist) . . (+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.) (current)
- 10:09, 4 April 2013 (diff | hist) . . (+60) . . Course KRR (Adding slides from lecture 4)
- 23:08, 10 March 2013 (diff | hist) . . (+100) . . Course KRR (projects)
- 15:51, 5 March 2013 (diff | hist) . . (-34) . . Course CompLog (Structure updated)
- 15:51, 5 March 2013 (diff | hist) . . (+426) . . Course KRR (Some info on prerequisites)
- 15:40, 5 March 2013 (diff | hist) . . (+178) . . Course KRR (Addind DL Handbook into literature.)
- 15:33, 5 March 2013 (diff | hist) . . (-3,050) . . Course KRR (Cleaning out junk from last year (it is archived...))
- 16:20, 1 March 2013 (diff | hist) . . (+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.) (current)
- 16:18, 1 March 2013 (diff | hist) . . (+60) . . N Súbor:KRR2013-Lecture-2-DL.pdf (Lecture slides: KRR2013, lecture 2. Description logic ALCQHI) (current)
- 16:17, 1 March 2013 (diff | hist) . . (+113) . . Course KRR (Added first three lectures)
- 16:15, 1 March 2013 (diff | hist) . . (+57) . . N Súbor:KRR2013-Lecture-1-intro.pdf (Slides: KRR 2013 lecture 1. Intro to databases and logic.) (current)
- 18:12, 19 February 2013 (diff | hist) . . (-1) . . Course KRR
- 17:55, 19 February 2013 (diff | hist) . . (-18) . . Course KRR (google docs link (evaluation))
- 17:52, 19 February 2013 (diff | hist) . . (-2,140) . . Course KRR (Basic structure, course outline, scales and grading ...)
- 17:40, 19 February 2013 (diff | hist) . . (+3,042) . . Course KRR (Archived year 2011/2012)
- 10:41, 23 October 2012 (diff | hist) . . (0) . . Súbor:CompLog2012-Lecture-4-Reasoning-with-DL.pdf (uploaded a new version of "File:CompLog2012-Lecture-4-Reasoning-with-DL.pdf") (current)
- 10:39, 23 October 2012 (diff | hist) . . (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)
- 12:04, 19 October 2012 (diff | hist) . . (-39) . . Research/en (Removing obsolete and unrelated link)
- 11:05, 17 October 2012 (diff | hist) . . (+38) . . N Súbor:CompLog2012-Lecture-4-Reasoning-with-DL.pdf (Tableau reasoning algorithm for ALC DL)
- 11:04, 17 October 2012 (diff | hist) . . (+95) . . Course CompLog (added link to L4)
- 15:34, 9 October 2012 (diff | hist) . . (+39) . . Course CompLog (L1 slides updated)
- 15:31, 9 October 2012 (diff | hist) . . (+50) . . N Súbor:CompLog2012-Lecture-3-DL.pdf (Introduction to Ontologies and Descripttion Logics) (current)
- 15:30, 9 October 2012 (diff | hist) . . (+30) . . N Súbor:CompLog2012-Lecture-2-Reasoning-with-FOL.pdf (Calculus, Resolution algorithm) (current)
- 15:27, 9 October 2012 (diff | hist) . . (+190) . . Course CompLog (Added links to slides (L2,L3))
- 15:22, 9 October 2012 (diff | hist) . . (0) . . Súbor:CompLog2012-Lecture-1-FOL.pdf (uploaded a new version of "File:CompLog2012-Lecture-1-FOL.pdf": Notation fixes) (current)
- 13:48, 3 October 2012 (diff | hist) . . (+11) . . m Course CompLog (Hint added)
- 13:48, 3 October 2012 (diff | hist) . . (+84) . . Course CompLog (Added link to project assignments)
- 15:11, 25 September 2012 (diff | hist) . . (+102) . . Course CompLog (Added first lecture slides)
- 15:09, 25 September 2012 (diff | hist) . . (+64) . . N Súbor:CompLog2012-Lecture-1-FOL.pdf (CompLog 2012, lecture 1: First Order Logic, Syntax and Semantics)
- 15:02, 25 September 2012 (diff | hist) . . (0) . . Master program in Applied Informatics/sk (Fixed date: Modern approaches to web design)
- 14:54, 25 September 2012 (diff | hist) . . (+87) . . Martin Homola/sk
- 14:52, 25 September 2012 (diff | hist) . . (+79) . . Martin Homola/en (added alternate course names)
- 14:50, 25 September 2012 (diff | hist) . . (+100) . . Martin Homola/en (Updated: position and courses)
- 14:45, 25 September 2012 (diff | hist) . . (0) . . Martin Homola/sk (Changed possition)
- 14:45, 25 September 2012 (diff | hist) . . (+114) . . Martin Homola/sk (Corses: added EduWeb, reordered)
- 14:40, 25 September 2012 (diff | hist) . . (-91) . . Martin Homola/sk (Courses: removed Hypermedia Systems)
- 14:39, 25 September 2012 (diff | hist) . . (+83) . . Martin Homola/sk (Courses: added KRR)
- 14:37, 25 September 2012 (diff | hist) . . (0) . . m Knowledge Representation and Reasoning/en (Engrish corrected)
- 14:35, 25 September 2012 (diff | hist) . . (-20) . . Martin Homola/sk (Corrected list of courses (complog))
- 14:33, 25 September 2012 (diff | hist) . . (-4) . . m Modern Approaches to Web Design/sk (Link fixed) (current)
- 14:31, 25 September 2012 (diff | hist) . . (+277) . . Modern Approaches to Web Design/sk (Aktualizacia informacii)
- 14:25, 25 September 2012 (diff | hist) . . (+259) . . Modern Approaches to Web Design (Information updated) (current)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)