User contributions
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 14:03, 6 December 2012 (diff | hist) . . (+35) . . Course CompLog (file Exercises-10-ARG.pdf added)
- 14:03, 6 December 2012 (diff | hist) . . (0) . . N Súbor:Exercises-10-ARG.pdf (current)
- 19:22, 30 November 2012 (diff | hist) . . (0) . . N Súbor:Exercises-9-LP.pdf (current)
- 19:21, 30 November 2012 (diff | hist) . . (+33) . . Course CompLog (file Exercises-9-LP.pdf added)
- 13:42, 28 November 2012 (diff | hist) . . (+94) . . Course CompLog (added collection of exercises: stable models)
- 13:33, 26 November 2012 (diff | hist) . . (0) . . N Súbor:Exercises-8-LP.pdf (current)
- 13:32, 26 November 2012 (diff | hist) . . (+33) . . Course CompLog (File Exercises-8-LP.pdf added)
- 09:10, 19 November 2012 (diff | hist) . . (+33) . . Course CompLog (File Exercises-7-LP.pdf added)
- 09:09, 19 November 2012 (diff | hist) . . (0) . . N Súbor:Exercises-7-LP.pdf (current)
- 11:19, 14 November 2012 (diff | hist) . . (0) . . m Course CompLog (url repaired)
- 11:18, 14 November 2012 (diff | hist) . . (+33) . . Course CompLog (file Exercises-6-DL.pdf added)
- 11:18, 14 November 2012 (diff | hist) . . (0) . . N Súbor:Exercises-6-LP.pdf (current)
- 10:53, 1 November 2012 (diff | hist) . . (+33) . . Course CompLog (Exercises-5-DL.pdf added)
- 10:53, 1 November 2012 (diff | hist) . . (0) . . N Súbor:Exercises-5-DL.pdf (current)
- 20:30, 20 October 2012 (diff | hist) . . (+33) . . Course CompLog (added Exercises-4-DL.pdf)
- 20:28, 20 October 2012 (diff | hist) . . (0) . . N Súbor:Exercises-4-DL.pdf (current)
- 20:00, 11 October 2012 (diff | hist) . . (+33) . . Course CompLog (Exercises-3-DL.pdf added)
- 20:00, 11 October 2012 (diff | hist) . . (0) . . N Súbor:Exercises-3-DL.pdf (current)
- 13:50, 11 October 2012 (diff | hist) . . (+12) . . m Course CompLog
- 13:49, 11 October 2012 (diff | hist) . . (+149) . . Course CompLog (Lab Evaluation google doc added)
- 13:26, 4 October 2012 (diff | hist) . . (+14) . . m Course CompLog
- 13:22, 4 October 2012 (diff | hist) . . (+31) . . Course CompLog (pdf Exercises 2 added)
- 13:20, 4 October 2012 (diff | hist) . . (0) . . N Súbor:Exercises-2-FOL.pdf (current)
- 19:54, 3 October 2012 (diff | hist) . . (0) . . Súbor:Exercises-1-FOL.pdf (uploaded a new version of "File:Exercises-1-FOL.pdf": opraveny preklep v Ulohe 4 g): miesto "((∃x)Kam(najŠtudentka,x) ∧ Muž(x)) → Kam(S(S(najŠtudentka)), Ján)" malo byt "(∃x)(Kam(najŠtudentka,x) ∧ Muž(x)) → Kam(S(S(najŠtudentka) (current)
- 12:18, 27 September 2012 (diff | hist) . . (-1) . . m Course CompLog
- 12:17, 27 September 2012 (diff | hist) . . (+30) . . Course CompLog
- 12:12, 27 September 2012 (diff | hist) . . (0) . . N Súbor:Exercises-1-FOL.pdf
- 14:55, 17 September 2012 (diff | hist) . . (+88) . . Jozef Frtus/en (current)
- 14:55, 17 September 2012 (diff | hist) . . (-161) . . Jozef Frtus/sk (current)
- 16:28, 14 March 2012 (diff | hist) . . (+247) . . Jozef Frtus/sk
- 19:53, 2 March 2012 (diff | hist) . . (+56) . . m Course KRR
- 15:02, 28 February 2012 (diff | hist) . . (-2) . . m Course KRR
- 13:25, 22 February 2012 (diff | hist) . . (+55) . . Course KRR (link to labs webpage added)
- 11:20, 3 January 2012 (diff | hist) . . (+53) . . m Internal:Reprezentácia neúplných, vyvíjajúcich sa a distribuovaných znalostí (v interakcii s komunikačnou platformou)
- 13:29, 2 January 2012 (diff | hist) . . (+145) . . Internal:Reprezentácia neúplných, vyvíjajúcich sa a distribuovaných znalostí (v interakcii s komunikačnou platformou) (Frtus publikacie)
- 15:02, 14 September 2011 (diff | hist) . . (-379) . . Jozef Frtus/en
- 15:02, 14 September 2011 (diff | hist) . . (-371) . . Jozef Frtus/sk
- 19:15, 1 September 2011 (diff | hist) . . (+66) . . ReDIK:ReDIK-2011-Workshop
- 19:10, 1 September 2011 (diff | hist) . . (0) . . N Súbor:Frtus talk.pdf (current)
- 06:16, 30 August 2011 (diff | hist) . . (0) . . ReDIK:ReDIK-2011-Workshop
- 20:30, 29 August 2011 (diff | hist) . . (+22) . . ReDIK:ReDIK-2011-Workshop
- 20:10, 29 August 2011 (diff | hist) . . (+551) . . ReDIK:ReDIK-2011-Workshop
- 10:31, 27 March 2011 (diff | hist) . . (+47) . . Jozef Frtus/en
- 10:31, 27 March 2011 (diff | hist) . . (-1) . . Jozef Frtus/sk
- 10:30, 27 March 2011 (diff | hist) . . (+48) . . Jozef Frtus/sk
- 10:32, 15 March 2011 (diff | hist) . . (+416) . . Jozef Frtus/en
- 10:29, 15 March 2011 (diff | hist) . . (+449) . . Jozef Frtus/sk
- 19:51, 22 September 2010 (diff | hist) . . (+12) . . Jozef Frtus/en
- 09:26, 14 September 2010 (diff | hist) . . (+85) . . Jozef Frtus/sk
- 09:18, 14 September 2010 (diff | hist) . . (+85) . . Jozef Frtus/en
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)