(newest | oldest) View (newer 20 | older 20) (20 | 50 | 100 | 250 | 500)
- 14:57, 23 October 2013 (diff | hist) . . (+68) . . Course CompLog (Projects link added)
- 14:10, 21 October 2013 (diff | hist) . . (+60) . . N Súbor:CompLog2013-Lecture-4-Description-Logics.pdf (CompLog 2013, lecture 4: Ontologies, Description Logics, ALC) (current)
- 14:06, 21 October 2013 (diff | hist) . . (+76) . . Course CompLog (Added lecture 4)
- 10:45, 2 October 2013 (diff | hist) . . (+61) . . N Súbor:CompLog2013-Lecture-2-Reasoning-with-FOL.pdf (CompLog 2013, lecture 2: Proof, Hilbert calculus, resolution.) (current)
- 10:43, 2 October 2013 (diff | hist) . . (+76) . . Course CompLog (added lecture 2)
- 14:20, 25 September 2013 (diff | hist) . . (+94) . . N Súbor:CompLog2013-Lecture-1-FOL.pdf (Computational Logic, lecture 1: Introduction to First Order Logic (FOL). Syntax and Semantics.) (current)
- 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.)
(newest | oldest) View (newer 20 | older 20) (20 | 50 | 100 | 250 | 500)