(newest | oldest) View (newer 100 | older 100) (20 | 50 | 100 | 250 | 500)
- 18:33, 30 December 2014 (diff | hist) . . (0) . . N Súbor:CompLog2014-Lecture-11-Extensions-and-Applications-of-ASP.pdf (current)
- 18:33, 30 December 2014 (diff | hist) . . (0) . . Course CompLog
- 18:32, 30 December 2014 (diff | hist) . . (0) . . N Súbor:CompLog2014-Lecture-10-ASP.pdf (current)
- 18:32, 30 December 2014 (diff | hist) . . (0) . . N Súbor:CompLog2014-Lecture-9-Applications-of-Prolog.pdf (current)
- 18:30, 30 December 2014 (diff | hist) . . (-28) . . Course CompLog
- 15:39, 10 December 2014 (diff | hist) . . (-1) . . KR Seminar (current)
- 15:38, 10 December 2014 (diff | hist) . . (0) . . KR Seminar
- 13:26, 18 November 2014 (diff | hist) . . (0) . . N Súbor:CompLog2014-Lecture-8-Prolog.pdf (current)
- 13:26, 18 November 2014 (diff | hist) . . (0) . . N Súbor:CompLog2014-Lecture-7-LP.pdf (current)
- 13:25, 18 November 2014 (diff | hist) . . (+43) . . Course CompLog
- 15:27, 3 November 2014 (diff | hist) . . (+19) . . Course CompLog
- 09:22, 10 December 2013 (diff | hist) . . (0) . . N Súbor:CompLog2013-Lecture-11-Extensions-and-Applications-of-ASP.pdf (current)
- 22:41, 9 December 2013 (diff | hist) . . (0) . . N Súbor:CompLog2013-Exercises-9-LP.pdf (current)
- 22:40, 9 December 2013 (diff | hist) . . (+67) . . Course CompLog
- 22:22, 9 December 2013 (diff | hist) . . (0) . . N Súbor:CompLog2013-Lecture-9-Applications-of-Prolog.pdf (current)
- 22:16, 9 December 2013 (diff | hist) . . (+278) . . Course CompLog
- 22:16, 9 December 2013 (diff | hist) . . (0) . . N Súbor:CompLog2013-Lecture-10-Answer-Set-Programming.pdf (current)
- 13:38, 2 December 2013 (diff | hist) . . (+1) . . Course CompLog
- 13:38, 2 December 2013 (diff | hist) . . (0) . . Súbor:CompLog2013-Lecture-7-LP.pdf (uploaded a new version of "File:CompLog2013-Lecture-7-LP.pdf") (current)
- 13:37, 2 December 2013 (diff | hist) . . (-1) . . Course CompLog
- 14:37, 27 November 2013 (diff | hist) . . (0) . . N Súbor:CompLog2013-Exercises-7-LP.pdf (current)
- 14:16, 27 November 2013 (diff | hist) . . (0) . . N Súbor:CompLog2013-Exercises-8-LP.pdf (current)
- 14:15, 27 November 2013 (diff | hist) . . (+35) . . Course CompLog
- 13:37, 27 November 2013 (diff | hist) . . (+111) . . Course CompLog
- 16:21, 20 November 2013 (diff | hist) . . (0) . . N Súbor:CompLog2013-Lecture-8-Prolog.pdf (current)
- 07:55, 19 November 2013 (diff | hist) . . (+22) . . Course CompLog
- 01:43, 19 November 2013 (diff | hist) . . (+52) . . Course CompLog
- 01:41, 19 November 2013 (diff | hist) . . (0) . . N Súbor:CompLog2013-Lecture-7-LP.pdf
- 01:40, 19 November 2013 (diff | hist) . . (+75) . . Course CompLog
- 14:40, 6 November 2013 (diff | hist) . . (0) . . N Súbor:CompLog2013-Exercises-6-DL.pdf (current)
- 14:38, 6 November 2013 (diff | hist) . . (+74) . . Course CompLog
- 15:26, 8 October 2013 (diff | hist) . . (0) . . N Súbor:CompLog2013-Exercises-3-FOL.pdf (current)
- 15:25, 8 October 2013 (diff | hist) . . (+73) . . Course CompLog
- 13:01, 8 October 2013 (diff | hist) . . (0) . . N Súbor:CompLog2013-Lecture-3-Applications-of-FOL.pdf (current)
- 13:00, 8 October 2013 (diff | hist) . . (+78) . . Course CompLog
- 12:43, 8 October 2013 (diff | hist) . . (0) . . N Súbor:CompLog2013-Exercises-2-FOL.pdf (current)
- 12:42, 8 October 2013 (diff | hist) . . (+73) . . Course CompLog
- 12:33, 4 October 2013 (diff | hist) . . (-24) . . Course CompLog
- 09:58, 1 October 2013 (diff | hist) . . (+321) . . KR Seminar
- 16:28, 25 September 2013 (diff | hist) . . (0) . . N Súbor:CompLog2013-Exercises-1-FOL.pdf (current)
- 12:50, 25 September 2013 (diff | hist) . . (0) . . Course CompLog
- 12:48, 25 September 2013 (diff | hist) . . (0) . . Course CompLog
- 12:47, 25 September 2013 (diff | hist) . . (+1) . . Course CompLog
- 12:04, 25 September 2013 (diff | hist) . . (0) . . Course CompLog
- 12:03, 25 September 2013 (diff | hist) . . (+34) . . Course CompLog
- 11:53, 25 September 2013 (diff | hist) . . (+15) . . Course CompLog
- 11:41, 25 September 2013 (diff | hist) . . (-1,193) . . Course CompLog
- 10:01, 22 May 2013 (diff | hist) . . (-1) . . KR Seminar
- 10:01, 22 May 2013 (diff | hist) . . (+6) . . KR Seminar
- 21:51, 7 May 2013 (diff | hist) . . (+9) . . KR Seminar
- 14:06, 6 May 2013 (diff | hist) . . (+1) . . KR Seminar
- 14:06, 6 May 2013 (diff | hist) . . (+6) . . KR Seminar
- 07:02, 4 May 2013 (diff | hist) . . (0) . . N Súbor:KRR2013-Lecture-8-Reasoning-with-Inconsistent-Knowledge.pdf (current)
- 21:42, 3 May 2013 (diff | hist) . . (0) . . N Súbor:KRR2013-Lecture-7-Reasoning-with-Incomplete-Knowledge.pdf (current)
- 20:20, 3 May 2013 (diff | hist) . . (-56) . . Course KRR
- 20:20, 3 May 2013 (diff | hist) . . (+148) . . Course KRR
- 12:24, 19 April 2013 (diff | hist) . . (+117) . . KR Seminar
- 16:26, 6 April 2013 (diff | hist) . . (0) . . N Súbor:KRR2013-Lecture-5-Deductive-Databases.pdf (current)
- 16:26, 6 April 2013 (diff | hist) . . (+53) . . Course KRR
- 22:09, 4 April 2013 (diff | hist) . . (0) . . N Súbor:KRR2013-Lecture-6-Hypothetical-Reasoning.pdf (current)
- 22:00, 4 April 2013 (diff | hist) . . (+56) . . Course KRR
- 14:18, 13 March 2013 (diff | hist) . . (+148) . . KR Seminar
- 14:16, 13 March 2013 (diff | hist) . . (+133) . . KR Seminar
- 09:26, 6 March 2013 (diff | hist) . . (-17) . . KR Seminar
- 12:40, 1 March 2013 (diff | hist) . . (-174) . . KR Seminar
- 12:39, 1 March 2013 (diff | hist) . . (-48) . . KR Seminar
- 12:31, 1 March 2013 (diff | hist) . . (+348) . . KR Seminar
- 16:39, 5 December 2012 (diff | hist) . . (0) . . Súbor:CompLog2012-Lecture-8-AAF.pdf (uploaded a new version of "File:CompLog2012-Lecture-8-AAF.pdf") (current)
- 16:39, 5 December 2012 (diff | hist) . . (+52) . . Course CompLog
- 18:07, 27 November 2012 (diff | hist) . . (0) . . N Súbor:CompLog2012-Lecture-9-SAF.pdf (current)
- 18:07, 27 November 2012 (diff | hist) . . (+78) . . Course CompLog
- 15:11, 21 November 2012 (diff | hist) . . (0) . . N Súbor:CompLog2012-Lecture-8-AAF.pdf
- 15:10, 21 November 2012 (diff | hist) . . (0) . . N Súbor:CompLog2012-Lecture-7-ASP.pdf (current)
- 15:09, 21 November 2012 (diff | hist) . . (+141) . . Course CompLog
- 01:16, 6 November 2012 (diff | hist) . . (0) . . N Súbor:CompLog2012-Lecture-6-Prolog.pdf (current)
- 01:16, 6 November 2012 (diff | hist) . . (+52) . . Course CompLog
- 08:49, 30 October 2012 (diff | hist) . . (0) . . N Súbor:CompLog2012-Lecture-5-Logic Programming.pdf (current)
- 08:49, 30 October 2012 (diff | hist) . . (+74) . . Course CompLog
- 08:50, 27 September 2012 (diff | hist) . . (+78) . . Martin Balaz/en (current)
- 14:34, 25 September 2012 (diff | hist) . . (+16) . . Course CompLog
- 02:53, 25 September 2012 (diff | hist) . . (+57) . . List of All Courses Provided by Department of Applied Informatics/sk
- 15:44, 3 September 2012 (diff | hist) . . (+40) . . Computational Logic
- 15:42, 3 September 2012 (diff | hist) . . (0) . . m Introduction to Computational Logic/sk (moved Introduction to Computer Logic/sk to Introduction to Computational Logic/sk: Lepsi preklad)
- 15:42, 3 September 2012 (diff | hist) . . (+52) . . N Introduction to Computer Logic/sk (moved Introduction to Computer Logic/sk to Introduction to Computational Logic/sk: Lepsi preklad) (current)
- 15:41, 3 September 2012 (diff | hist) . . (-149) . . Computational Logic
- 15:24, 3 September 2012 (diff | hist) . . (+62) . . Knowledge Representation and Reasoning/sk
- 15:23, 3 September 2012 (diff | hist) . . (+62) . . Knowledge Representation and Reasoning/en
- 15:04, 3 September 2012 (diff | hist) . . (+15) . . Knowledge Representation and Reasoning/en
- 15:04, 3 September 2012 (diff | hist) . . (+15) . . Knowledge Representation and Reasoning/sk
- 15:01, 3 September 2012 (diff | hist) . . (-64) . . Knowledge Representation and Reasoning/en
- 14:59, 3 September 2012 (diff | hist) . . (+21) . . Knowledge Representation and Reasoning/en
- 14:57, 3 September 2012 (diff | hist) . . (+24) . . Knowledge Representation and Reasoning/sk
- 14:55, 3 September 2012 (diff | hist) . . (0) . . Knowledge Representation and Reasoning/sk
- 14:54, 3 September 2012 (diff | hist) . . (0) . . Master program in Applied Informatics/sk
- 14:53, 3 September 2012 (diff | hist) . . (0) . . Master program in Applied Informatics/sk
- 14:52, 3 September 2012 (diff | hist) . . (+26) . . Knowledge Representation and Reasoning/sk
- 14:50, 3 September 2012 (diff | hist) . . (-10) . . Knowledge Representation and Reasoning/sk
- 14:50, 3 September 2012 (diff | hist) . . (-84) . . Knowledge Representation and Reasoning/sk
- 14:45, 3 September 2012 (diff | hist) . . (0) . . Master program in Applied Informatics/sk
- 14:44, 3 September 2012 (diff | hist) . . (+5) . . Computational Logic
(newest | oldest) View (newer 100 | older 100) (20 | 50 | 100 | 250 | 500)