(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 13:50, 2 September 2020 (diff | hist) . . (0) . . Martin Homola/en (Aktualizacia klapky Martin Homola) (current)
- 13:50, 2 September 2020 (diff | hist) . . (0) . . Martin Homola/sk (Aktualizacia klapky Martin Homola) (current)
- 13:50, 2 September 2020 (diff | hist) . . (0) . . People/sk (Aktualizacia klapky Martin Homola)
- 13:49, 2 September 2020 (diff | hist) . . (0) . . People/en (Aktualizacia klapky Martin Homola)
- 11:24, 5 February 2020 (diff | hist) . . (+1) . . Martin Homola/en
- 11:23, 5 February 2020 (diff | hist) . . (+1) . . m Martin Homola/sk
- 11:02, 5 February 2020 (diff | hist) . . (+1) . . Martin Homola/en (Martin Homola - zmena kancelarie)
- 11:01, 5 February 2020 (diff | hist) . . (+1) . . Martin Homola/sk
- 11:01, 5 February 2020 (diff | hist) . . (+1) . . People/sk (Martin Homola - zmena kancelarie)
- 11:00, 5 February 2020 (diff | hist) . . (+1) . . People/en (Martin Homola - zmena kancelarie)
- 17:54, 14 February 2019 (diff | hist) . . (+3) . . Martin Homola/sk (titul a job updatnute)
- 17:53, 14 February 2019 (diff | hist) . . (+5) . . Martin Homola/en (title added (doc))
- 17:52, 14 February 2019 (diff | hist) . . (0) . . Martin Homola/en (job changed to assoc prof)
- 09:53, 4 October 2018 (diff | hist) . . (+105) . . Research Projects/sk (Pridane Gruskova VEGA)
- 09:52, 4 October 2018 (diff | hist) . . (+1) . . m Research Projects/en
- 09:51, 4 October 2018 (diff | hist) . . (0) . . m Research Projects/en
- 09:51, 4 October 2018 (diff | hist) . . (0) . . Research Projects/en
- 09:50, 4 October 2018 (diff | hist) . . (+95) . . Research Projects/en (Pridane Gruskova VEGA)
- 17:49, 25 September 2018 (diff | hist) . . (+84) . . m Martin Homola/en (pub list)
- 17:48, 25 September 2018 (diff | hist) . . (+93) . . m Martin Homola/sk (Publikace na Scholari a DBLP)
- 17:44, 25 September 2018 (diff | hist) . . (+19) . . m Martin Homola/sk (Fixed link)
- 13:31, 10 September 2018 (diff | hist) . . (+21) . . m Martin Homola/en (web address pretty printing)
- 13:15, 10 September 2018 (diff | hist) . . (0) . . Súbor:Homola.jpg (Homola uploaded a new version of Súbor:Homola.jpg) (current)
- 21:30, 18 January 2017 (diff | hist) . . (+6) . . Martin Homola/sk
- 21:30, 18 January 2017 (diff | hist) . . (+6) . . Martin Homola/en (academic titles corrected)
- 14:06, 4 September 2015 (diff | hist) . . (-119) . . People/en (Removing Parulek and Polec (obsolete))
- 13:30, 4 September 2015 (diff | hist) . . (-17) . . Research/en (KR Group rewritten)
- 13:26, 4 September 2015 (diff | hist) . . (-77) . . People/sk (Removed Peter Novak and Martin Slota (externisti))
- 12:36, 4 September 2015 (diff | hist) . . (-18) . . m Research/sk (Uprava formulacie pre KR Group.)
- 23:42, 3 September 2015 (diff | hist) . . (0) . . Research/sk (Uprava KR Group.)
- 14:33, 29 July 2015 (diff | hist) . . (-1) . . Julia Pukancova/en (fixed e-mail address)
- 14:02, 21 October 2014 (diff | hist) . . (-11) . . Course CompLog (Projects published)
- 13:52, 21 October 2014 (diff | hist) . . (+7) . . Course CompLog
- 13:52, 21 October 2014 (diff | hist) . . (0) . . N Súbor:CompLog2014-Lecture-5-Reasoning-with-DL.pdf (current)
- 13:51, 21 October 2014 (diff | hist) . . (0) . . N Súbor:CompLog2014-Lecture-4-Description-Logics.pdf (current)
- 13:51, 21 October 2014 (diff | hist) . . (0) . . Course CompLog
- 15:58, 7 October 2014 (diff | hist) . . (+1) . . Course CompLog (Added: lecture 3)
- 15:57, 7 October 2014 (diff | hist) . . (0) . . N Súbor:CompLog2014-Lecture-3-Applications-of-FOL.pdf (current)
- 23:22, 30 September 2014 (diff | hist) . . (+55) . . N Súbor:CompLog2014-Lecture-2-Reasoning-with-FOL.pdf (CompLog lecture: Calculus, Hilbert calculus, Resolution) (current)
- 23:07, 30 September 2014 (diff | hist) . . (+42) . . N Súbor:CompLog2014-Lecture-1-FOL.pdf (CompLog lecture 1: FOL sytax and semantics) (current)
- 23:05, 30 September 2014 (diff | hist) . . (+19) . . Course CompLog (Fixes in info, schedule, and commenting out old lectures)
- 11:54, 10 March 2014 (diff | hist) . . (+10) . . People/en (Fixing data and links: M. Slota (external collaborators))
- 11:52, 10 March 2014 (diff | hist) . . (+5) . . Peter Novak/en (PhD added)
- 11:40, 10 March 2014 (diff | hist) . . (+56) . . People/en (Fixing link to Kvasnicka's homepage)
- 11:36, 10 March 2014 (diff | hist) . . (+223) . . People/en (Added Martin Krupa & Robert Mraz (external collaborators))
- 11:15, 18 February 2014 (diff | hist) . . (+3) . . m Course KRR (current)
- 11:15, 18 February 2014 (diff | hist) . . (+11) . . Course KRR
- 11:15, 18 February 2014 (diff | hist) . . (+44) . . Course KRR (Hiding contents)
- 01:57, 1 November 2013 (diff | hist) . . (0) . . N Súbor:CompLog2013-Exercises-5-FOL.pdf (current)
- 01:57, 1 November 2013 (diff | hist) . . (0) . . N Súbor:CompLog2013-Exercises-4-FOL.pdf (current)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)