User contributions
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 13:06, 4 September 2015 (diff | hist) . . (-119) . . People/en (Removing Parulek and Polec (obsolete))
- 12:30, 4 September 2015 (diff | hist) . . (-17) . . Research/en (KR Group rewritten)
- 12:26, 4 September 2015 (diff | hist) . . (-77) . . People/sk (Removed Peter Novak and Martin Slota (externisti))
- 11:36, 4 September 2015 (diff | hist) . . (-18) . . m Vyskum/sk (Uprava formulacie pre KR Group.)
- 22:42, 3 September 2015 (diff | hist) . . (0) . . Vyskum/sk (Uprava KR Group.)
- 13:33, 29 July 2015 (diff | hist) . . (-1) . . Julia Pukancova/en (fixed e-mail address) (current)
- 13:02, 21 October 2014 (diff | hist) . . (-11) . . Course CompLog (Projects published)
- 12:52, 21 October 2014 (diff | hist) . . (+7) . . Course CompLog
- 12:52, 21 October 2014 (diff | hist) . . (0) . . N Súbor:CompLog2014-Lecture-5-Reasoning-with-DL.pdf (current)
- 12:51, 21 October 2014 (diff | hist) . . (0) . . N Súbor:CompLog2014-Lecture-4-Description-Logics.pdf (current)
- 12:51, 21 October 2014 (diff | hist) . . (0) . . Course CompLog
- 14:58, 7 October 2014 (diff | hist) . . (+1) . . Course CompLog (Added: lecture 3)
- 14:57, 7 October 2014 (diff | hist) . . (0) . . N Súbor:CompLog2014-Lecture-3-Applications-of-FOL.pdf (current)
- 22:22, 30 September 2014 (diff | hist) . . (+55) . . N Súbor:CompLog2014-Lecture-2-Reasoning-with-FOL.pdf (CompLog lecture: Calculus, Hilbert calculus, Resolution) (current)
- 22:07, 30 September 2014 (diff | hist) . . (+42) . . N Súbor:CompLog2014-Lecture-1-FOL.pdf (CompLog lecture 1: FOL sytax and semantics) (current)
- 22:05, 30 September 2014 (diff | hist) . . (+19) . . Course CompLog (Fixes in info, schedule, and commenting out old lectures)
- 10:54, 10 March 2014 (diff | hist) . . (+10) . . People/en (Fixing data and links: M. Slota (external collaborators))
- 10:52, 10 March 2014 (diff | hist) . . (+5) . . Peter Novak/en (PhD added)
- 10:40, 10 March 2014 (diff | hist) . . (+56) . . People/en (Fixing link to Kvasnicka's homepage)
- 10:36, 10 March 2014 (diff | hist) . . (+223) . . People/en (Added Martin Krupa & Robert Mraz (external collaborators))
- 10:15, 18 February 2014 (diff | hist) . . (+3) . . m Course KRR (current)
- 10:15, 18 February 2014 (diff | hist) . . (+11) . . Course KRR
- 10:15, 18 February 2014 (diff | hist) . . (+44) . . Course KRR (Hiding contents)
- 00:57, 1 November 2013 (diff | hist) . . (0) . . N Súbor:CompLog2013-Exercises-5-FOL.pdf (current)
- 00:57, 1 November 2013 (diff | hist) . . (0) . . N Súbor:CompLog2013-Exercises-4-FOL.pdf (current)
- 00:56, 1 November 2013 (diff | hist) . . (+130) . . Course CompLog (Added labs 4 and 5)
- 00:29, 1 November 2013 (diff | hist) . . (+79) . . N Súbor:CompLog2013-Lecture-6-More-DLs-and-Apps.pdf (CompLog 2013, lecture 6: More DLs (up to SROIQ) and some of their applications.) (current)
- 00:28, 1 November 2013 (diff | hist) . . (+65) . . N Súbor:CompLog2013-Lecture-5-Reasoning-with-DL.pdf (CompLog 2013, lecture 5: Tableau algorithm for description logics) (current)
- 00:27, 1 November 2013 (diff | hist) . . (+162) . . Course CompLog (Added lextures 5 and 6)
- 13:57, 23 October 2013 (diff | hist) . . (+68) . . Course CompLog (Projects link added)
- 13: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)
- 13:06, 21 October 2013 (diff | hist) . . (+76) . . Course CompLog (Added lecture 4)
- 09: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)
- 09:43, 2 October 2013 (diff | hist) . . (+76) . . Course CompLog (added lecture 2)
- 13: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)
- 12:55, 25 September 2013 (diff | hist) . . (0) . . Course CompLog (Grading fix)
- 13:49, 18 June 2013 (diff | hist) . . (+46) . . N Súbor:KRR2013-Lecture-11-Abduction.pdf (Lecture slides: KRR2013, lecture 11: Abduction) (current)
- 13:47, 18 June 2013 (diff | hist) . . (+44) . . Course KRR (added lecuture 11)
- 16: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)
- 16:56, 5 May 2013 (diff | hist) . . (+44) . . Course KRR (adding lecture 10)
- 21:00, 29 April 2013 (diff | hist) . . (+102) . . Course KRR (Added lecture slides (lecture 9))
- 20: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)
- 09:34, 4 April 2013 (diff | hist) . . (+916) . . Course KRR (Adding literature from the first 4 lectures)
- 09: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)
- 09:09, 4 April 2013 (diff | hist) . . (+60) . . Course KRR (Adding slides from lecture 4)
- 22:08, 10 March 2013 (diff | hist) . . (+100) . . Course KRR (projects)
- 14:51, 5 March 2013 (diff | hist) . . (-34) . . Course CompLog (Structure updated)
- 14:51, 5 March 2013 (diff | hist) . . (+426) . . Course KRR (Some info on prerequisites)
- 14:40, 5 March 2013 (diff | hist) . . (+178) . . Course KRR (Addind DL Handbook into literature.)
- 14:33, 5 March 2013 (diff | hist) . . (-3,050) . . Course KRR (Cleaning out junk from last year (it is archived...))
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)