(najnovšie | najstaršie) Zobraziť (20 novších | 20 starších) (20 | 50 | 100 | 250 | 500).
- 23:07, 30. september 2014 (rozdiel | história) . . (+42) . . N Súbor:CompLog2014-Lecture-1-FOL.pdf (CompLog lecture 1: FOL sytax and semantics) (aktuálne)
- 23:05, 30. september 2014 (rozdiel | história) . . (+19) . . Course CompLog (Fixes in info, schedule, and commenting out old lectures)
- 11:54, 10. marec 2014 (rozdiel | história) . . (+10) . . People/en (Fixing data and links: M. Slota (external collaborators))
- 11:52, 10. marec 2014 (rozdiel | história) . . (+5) . . Peter Novak/en (PhD added)
- 11:40, 10. marec 2014 (rozdiel | história) . . (+56) . . People/en (Fixing link to Kvasnicka's homepage)
- 11:36, 10. marec 2014 (rozdiel | história) . . (+223) . . People/en (Added Martin Krupa & Robert Mraz (external collaborators))
- 11:15, 18. február 2014 (rozdiel | história) . . (+3) . . d Course KRR (aktuálne)
- 11:15, 18. február 2014 (rozdiel | história) . . (+11) . . Course KRR
- 11:15, 18. február 2014 (rozdiel | história) . . (+44) . . Course KRR (Hiding contents)
- 01:57, 1. november 2013 (rozdiel | história) . . (0) . . N Súbor:CompLog2013-Exercises-5-FOL.pdf (aktuálne)
- 01:57, 1. november 2013 (rozdiel | história) . . (0) . . N Súbor:CompLog2013-Exercises-4-FOL.pdf (aktuálne)
- 01:56, 1. november 2013 (rozdiel | história) . . (+130) . . Course CompLog (Added labs 4 and 5)
- 01:29, 1. november 2013 (rozdiel | história) . . (+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.) (aktuálne)
- 01:28, 1. november 2013 (rozdiel | história) . . (+65) . . N Súbor:CompLog2013-Lecture-5-Reasoning-with-DL.pdf (CompLog 2013, lecture 5: Tableau algorithm for description logics) (aktuálne)
- 01:27, 1. november 2013 (rozdiel | história) . . (+162) . . Course CompLog (Added lextures 5 and 6)
- 14:57, 23. október 2013 (rozdiel | história) . . (+68) . . Course CompLog (Projects link added)
- 14:10, 21. október 2013 (rozdiel | história) . . (+60) . . N Súbor:CompLog2013-Lecture-4-Description-Logics.pdf (CompLog 2013, lecture 4: Ontologies, Description Logics, ALC) (aktuálne)
- 14:06, 21. október 2013 (rozdiel | história) . . (+76) . . Course CompLog (Added lecture 4)
- 10:45, 2. október 2013 (rozdiel | história) . . (+61) . . N Súbor:CompLog2013-Lecture-2-Reasoning-with-FOL.pdf (CompLog 2013, lecture 2: Proof, Hilbert calculus, resolution.) (aktuálne)
- 10:43, 2. október 2013 (rozdiel | história) . . (+76) . . Course CompLog (added lecture 2)
(najnovšie | najstaršie) Zobraziť (20 novších | 20 starších) (20 | 50 | 100 | 250 | 500).