(najnovšie | najstaršie) Zobraziť (100 novších | 100 starších) (20 | 50 | 100 | 250 | 500).
- 00:19, 9. marec 2024 (rozdiel | história) . . (0) . . Súbor:Homola.jpg (Homola uploaded a new version of Súbor:Homola.jpg) (aktuálne)
- 13:50, 2. september 2020 (rozdiel | história) . . (0) . . Martin Homola/en (Aktualizacia klapky Martin Homola) (aktuálne)
- 13:50, 2. september 2020 (rozdiel | história) . . (0) . . Martin Homola/sk (Aktualizacia klapky Martin Homola) (aktuálne)
- 13:50, 2. september 2020 (rozdiel | história) . . (0) . . People/sk (Aktualizacia klapky Martin Homola)
- 13:49, 2. september 2020 (rozdiel | história) . . (0) . . People/en (Aktualizacia klapky Martin Homola)
- 11:24, 5. február 2020 (rozdiel | história) . . (+1) . . Martin Homola/en
- 11:23, 5. február 2020 (rozdiel | história) . . (+1) . . d Martin Homola/sk
- 11:02, 5. február 2020 (rozdiel | história) . . (+1) . . Martin Homola/en (Martin Homola - zmena kancelarie)
- 11:01, 5. február 2020 (rozdiel | história) . . (+1) . . Martin Homola/sk
- 11:01, 5. február 2020 (rozdiel | história) . . (+1) . . People/sk (Martin Homola - zmena kancelarie)
- 11:00, 5. február 2020 (rozdiel | história) . . (+1) . . People/en (Martin Homola - zmena kancelarie)
- 17:54, 14. február 2019 (rozdiel | história) . . (+3) . . Martin Homola/sk (titul a job updatnute)
- 17:53, 14. február 2019 (rozdiel | história) . . (+5) . . Martin Homola/en (title added (doc))
- 17:52, 14. február 2019 (rozdiel | história) . . (0) . . Martin Homola/en (job changed to assoc prof)
- 09:53, 4. október 2018 (rozdiel | história) . . (+105) . . Research Projects/sk (Pridane Gruskova VEGA)
- 09:52, 4. október 2018 (rozdiel | história) . . (+1) . . d Research Projects/en
- 09:51, 4. október 2018 (rozdiel | história) . . (0) . . d Research Projects/en
- 09:51, 4. október 2018 (rozdiel | história) . . (0) . . Research Projects/en
- 09:50, 4. október 2018 (rozdiel | história) . . (+95) . . Research Projects/en (Pridane Gruskova VEGA)
- 17:49, 25. september 2018 (rozdiel | história) . . (+84) . . d Martin Homola/en (pub list)
- 17:48, 25. september 2018 (rozdiel | história) . . (+93) . . d Martin Homola/sk (Publikace na Scholari a DBLP)
- 17:44, 25. september 2018 (rozdiel | história) . . (+19) . . d Martin Homola/sk (Fixed link)
- 13:31, 10. september 2018 (rozdiel | história) . . (+21) . . d Martin Homola/en (web address pretty printing)
- 13:15, 10. september 2018 (rozdiel | história) . . (0) . . Súbor:Homola.jpg (Homola uploaded a new version of Súbor:Homola.jpg)
- 21:30, 18. január 2017 (rozdiel | história) . . (+6) . . Martin Homola/sk
- 21:30, 18. január 2017 (rozdiel | história) . . (+6) . . Martin Homola/en (academic titles corrected)
- 14:06, 4. september 2015 (rozdiel | história) . . (-119) . . People/en (Removing Parulek and Polec (obsolete))
- 13:30, 4. september 2015 (rozdiel | história) . . (-17) . . Research/en (KR Group rewritten)
- 13:26, 4. september 2015 (rozdiel | história) . . (-77) . . People/sk (Removed Peter Novak and Martin Slota (externisti))
- 12:36, 4. september 2015 (rozdiel | história) . . (-18) . . d Research/sk (Uprava formulacie pre KR Group.)
- 23:42, 3. september 2015 (rozdiel | história) . . (0) . . Research/sk (Uprava KR Group.)
- 14:33, 29. júl 2015 (rozdiel | história) . . (-1) . . Julia Pukancova/en (fixed e-mail address)
- 14:02, 21. október 2014 (rozdiel | história) . . (-11) . . Course CompLog (Projects published)
- 13:52, 21. október 2014 (rozdiel | história) . . (+7) . . Course CompLog
- 13:52, 21. október 2014 (rozdiel | história) . . (0) . . N Súbor:CompLog2014-Lecture-5-Reasoning-with-DL.pdf (aktuálne)
- 13:51, 21. október 2014 (rozdiel | história) . . (0) . . N Súbor:CompLog2014-Lecture-4-Description-Logics.pdf (aktuálne)
- 13:51, 21. október 2014 (rozdiel | história) . . (0) . . Course CompLog
- 15:58, 7. október 2014 (rozdiel | história) . . (+1) . . Course CompLog (Added: lecture 3)
- 15:57, 7. október 2014 (rozdiel | história) . . (0) . . N Súbor:CompLog2014-Lecture-3-Applications-of-FOL.pdf (aktuálne)
- 23:22, 30. september 2014 (rozdiel | história) . . (+55) . . N Súbor:CompLog2014-Lecture-2-Reasoning-with-FOL.pdf (CompLog lecture: Calculus, Hilbert calculus, Resolution) (aktuálne)
- 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)
- 14:20, 25. september 2013 (rozdiel | história) . . (+94) . . N Súbor:CompLog2013-Lecture-1-FOL.pdf (Computational Logic, lecture 1: Introduction to First Order Logic (FOL). Syntax and Semantics.) (aktuálne)
- 13:55, 25. september 2013 (rozdiel | história) . . (0) . . Course CompLog (Grading fix)
- 14: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)
- 14:47, 18. jún 2013 (rozdiel | história) . . (+44) . . Course KRR (added lecuture 11)
- 17: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)
- 17:56, 5. máj 2013 (rozdiel | história) . . (+44) . . Course KRR (adding lecture 10)
- 22:00, 29. apríl 2013 (rozdiel | história) . . (+102) . . Course KRR (Added lecture slides (lecture 9))
- 21: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)
- 10:34, 4. apríl 2013 (rozdiel | história) . . (+916) . . Course KRR (Adding literature from the first 4 lectures)
- 10: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)
- 10:09, 4. apríl 2013 (rozdiel | história) . . (+60) . . Course KRR (Adding slides from lecture 4)
- 23:08, 10. marec 2013 (rozdiel | história) . . (+100) . . Course KRR (projects)
- 15:51, 5. marec 2013 (rozdiel | história) . . (-34) . . Course CompLog (Structure updated)
- 15:51, 5. marec 2013 (rozdiel | história) . . (+426) . . Course KRR (Some info on prerequisites)
- 15:40, 5. marec 2013 (rozdiel | história) . . (+178) . . Course KRR (Addind DL Handbook into literature.)
- 15:33, 5. marec 2013 (rozdiel | história) . . (-3 050) . . Course KRR (Cleaning out junk from last year (it is archived...))
- 16: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)
- 16: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)
- 16:17, 1. marec 2013 (rozdiel | história) . . (+113) . . Course KRR (Added first three lectures)
- 16: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)
- 18:12, 19. február 2013 (rozdiel | história) . . (-1) . . Course KRR
- 17:55, 19. február 2013 (rozdiel | história) . . (-18) . . Course KRR (google docs link (evaluation))
- 17:52, 19. február 2013 (rozdiel | história) . . (-2 140) . . Course KRR (Basic structure, course outline, scales and grading ...)
- 17:40, 19. február 2013 (rozdiel | história) . . (+3 042) . . Course KRR (Archived year 2011/2012)
- 10: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)
- 10: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)
- 12:04, 19. október 2012 (rozdiel | história) . . (-39) . . Research/en (Removing obsolete and unrelated link)
- 11: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)
- 11:04, 17. október 2012 (rozdiel | história) . . (+95) . . Course CompLog (added link to L4)
- 15:34, 9. október 2012 (rozdiel | história) . . (+39) . . Course CompLog (L1 slides updated)
- 15: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)
- 15:30, 9. október 2012 (rozdiel | história) . . (+30) . . N Súbor:CompLog2012-Lecture-2-Reasoning-with-FOL.pdf (Calculus, Resolution algorithm) (aktuálne)
- 15:27, 9. október 2012 (rozdiel | história) . . (+190) . . Course CompLog (Added links to slides (L2,L3))
- 15: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)
- 13:48, 3. október 2012 (rozdiel | história) . . (+11) . . d Course CompLog (Hint added)
- 13:48, 3. október 2012 (rozdiel | história) . . (+84) . . Course CompLog (Added link to project assignments)
- 15:11, 25. september 2012 (rozdiel | história) . . (+102) . . Course CompLog (Added first lecture slides)
- 15: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)
- 15:02, 25. september 2012 (rozdiel | história) . . (0) . . Master program in Applied Informatics/sk (Fixed date: Modern approaches to web design)
(najnovšie | najstaršie) Zobraziť (100 novších | 100 starších) (20 | 50 | 100 | 250 | 500).