- 19:33, 30 December 2014 (diff | hist) . . (0) . . N Súbor:CompLog2014-Lecture-11-Extensions-and-Applications-of-ASP.pdf (current)
- 19:33, 30 December 2014 (diff | hist) . . (0) . . Course CompLog
- 19:32, 30 December 2014 (diff | hist) . . (0) . . N Súbor:CompLog2014-Lecture-10-ASP.pdf (current)
- 19:32, 30 December 2014 (diff | hist) . . (0) . . N Súbor:CompLog2014-Lecture-9-Applications-of-Prolog.pdf (current)
- 19:30, 30 December 2014 (diff | hist) . . (-28) . . Course CompLog
- 16:39, 10 December 2014 (diff | hist) . . (-1) . . KR Seminar (current)
- 16:38, 10 December 2014 (diff | hist) . . (0) . . KR Seminar
- 14:26, 18 November 2014 (diff | hist) . . (0) . . N Súbor:CompLog2014-Lecture-8-Prolog.pdf (current)
- 14:26, 18 November 2014 (diff | hist) . . (0) . . N Súbor:CompLog2014-Lecture-7-LP.pdf (current)
- 14:25, 18 November 2014 (diff | hist) . . (+43) . . Course CompLog
- 16:27, 3 November 2014 (diff | hist) . . (+19) . . Course CompLog
- 10:22, 10 December 2013 (diff | hist) . . (0) . . N Súbor:CompLog2013-Lecture-11-Extensions-and-Applications-of-ASP.pdf (current)
- 23:41, 9 December 2013 (diff | hist) . . (0) . . N Súbor:CompLog2013-Exercises-9-LP.pdf (current)
- 23:40, 9 December 2013 (diff | hist) . . (+67) . . Course CompLog
- 23:22, 9 December 2013 (diff | hist) . . (0) . . N Súbor:CompLog2013-Lecture-9-Applications-of-Prolog.pdf (current)
- 23:16, 9 December 2013 (diff | hist) . . (+278) . . Course CompLog
- 23:16, 9 December 2013 (diff | hist) . . (0) . . N Súbor:CompLog2013-Lecture-10-Answer-Set-Programming.pdf (current)
- 14:38, 2 December 2013 (diff | hist) . . (+1) . . Course CompLog
- 14: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)
- 14:37, 2 December 2013 (diff | hist) . . (-1) . . Course CompLog
- 15:37, 27 November 2013 (diff | hist) . . (0) . . N Súbor:CompLog2013-Exercises-7-LP.pdf (current)
- 15:16, 27 November 2013 (diff | hist) . . (0) . . N Súbor:CompLog2013-Exercises-8-LP.pdf (current)
- 15:15, 27 November 2013 (diff | hist) . . (+35) . . Course CompLog
- 14:37, 27 November 2013 (diff | hist) . . (+111) . . Course CompLog
- 17:21, 20 November 2013 (diff | hist) . . (0) . . N Súbor:CompLog2013-Lecture-8-Prolog.pdf (current)
- 08:55, 19 November 2013 (diff | hist) . . (+22) . . Course CompLog
- 02:43, 19 November 2013 (diff | hist) . . (+52) . . Course CompLog
- 02:41, 19 November 2013 (diff | hist) . . (0) . . N Súbor:CompLog2013-Lecture-7-LP.pdf
- 02:40, 19 November 2013 (diff | hist) . . (+75) . . Course CompLog
- 15:40, 6 November 2013 (diff | hist) . . (0) . . N Súbor:CompLog2013-Exercises-6-DL.pdf (current)
- 15:38, 6 November 2013 (diff | hist) . . (+74) . . Course CompLog
- 16:26, 8 October 2013 (diff | hist) . . (0) . . N Súbor:CompLog2013-Exercises-3-FOL.pdf (current)
- 16:25, 8 October 2013 (diff | hist) . . (+73) . . Course CompLog
- 14:01, 8 October 2013 (diff | hist) . . (0) . . N Súbor:CompLog2013-Lecture-3-Applications-of-FOL.pdf (current)
- 14:00, 8 October 2013 (diff | hist) . . (+78) . . Course CompLog
- 13:43, 8 October 2013 (diff | hist) . . (0) . . N Súbor:CompLog2013-Exercises-2-FOL.pdf (current)
- 13:42, 8 October 2013 (diff | hist) . . (+73) . . Course CompLog
- 13:33, 4 October 2013 (diff | hist) . . (-24) . . Course CompLog
- 10:58, 1 October 2013 (diff | hist) . . (+321) . . KR Seminar
- 17:28, 25 September 2013 (diff | hist) . . (0) . . N Súbor:CompLog2013-Exercises-1-FOL.pdf (current)
- 13:50, 25 September 2013 (diff | hist) . . (0) . . Course CompLog
- 13:48, 25 September 2013 (diff | hist) . . (0) . . Course CompLog
- 13:47, 25 September 2013 (diff | hist) . . (+1) . . Course CompLog
- 13:04, 25 September 2013 (diff | hist) . . (0) . . Course CompLog
- 13:03, 25 September 2013 (diff | hist) . . (+34) . . Course CompLog
- 12:53, 25 September 2013 (diff | hist) . . (+15) . . Course CompLog
- 12:41, 25 September 2013 (diff | hist) . . (-1,193) . . Course CompLog
- 11:01, 22 May 2013 (diff | hist) . . (-1) . . KR Seminar
- 11:01, 22 May 2013 (diff | hist) . . (+6) . . KR Seminar
- 22:51, 7 May 2013 (diff | hist) . . (+9) . . KR Seminar
- 15:06, 6 May 2013 (diff | hist) . . (+1) . . KR Seminar
- 15:06, 6 May 2013 (diff | hist) . . (+6) . . KR Seminar
- 08:02, 4 May 2013 (diff | hist) . . (0) . . N Súbor:KRR2013-Lecture-8-Reasoning-with-Inconsistent-Knowledge.pdf (current)
- 22:42, 3 May 2013 (diff | hist) . . (0) . . N Súbor:KRR2013-Lecture-7-Reasoning-with-Incomplete-Knowledge.pdf (current)
- 21:20, 3 May 2013 (diff | hist) . . (-56) . . Course KRR
- 21:20, 3 May 2013 (diff | hist) . . (+148) . . Course KRR
- 13:24, 19 April 2013 (diff | hist) . . (+117) . . KR Seminar
- 17:26, 6 April 2013 (diff | hist) . . (0) . . N Súbor:KRR2013-Lecture-5-Deductive-Databases.pdf (current)
- 17:26, 6 April 2013 (diff | hist) . . (+53) . . Course KRR
- 23:09, 4 April 2013 (diff | hist) . . (0) . . N Súbor:KRR2013-Lecture-6-Hypothetical-Reasoning.pdf (current)
- 23:00, 4 April 2013 (diff | hist) . . (+56) . . Course KRR
- 15:18, 13 March 2013 (diff | hist) . . (+148) . . KR Seminar
- 15:16, 13 March 2013 (diff | hist) . . (+133) . . KR Seminar
- 10:26, 6 March 2013 (diff | hist) . . (-17) . . KR Seminar
- 13:40, 1 March 2013 (diff | hist) . . (-174) . . KR Seminar
- 13:39, 1 March 2013 (diff | hist) . . (-48) . . KR Seminar
- 13:31, 1 March 2013 (diff | hist) . . (+348) . . KR Seminar
- 17: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)
- 17:39, 5 December 2012 (diff | hist) . . (+52) . . Course CompLog
- 19:07, 27 November 2012 (diff | hist) . . (0) . . N Súbor:CompLog2012-Lecture-9-SAF.pdf (current)
- 19:07, 27 November 2012 (diff | hist) . . (+78) . . Course CompLog
- 16:11, 21 November 2012 (diff | hist) . . (0) . . N Súbor:CompLog2012-Lecture-8-AAF.pdf
- 16:10, 21 November 2012 (diff | hist) . . (0) . . N Súbor:CompLog2012-Lecture-7-ASP.pdf (current)
- 16:09, 21 November 2012 (diff | hist) . . (+141) . . Course CompLog
- 02:16, 6 November 2012 (diff | hist) . . (0) . . N Súbor:CompLog2012-Lecture-6-Prolog.pdf (current)
- 02:16, 6 November 2012 (diff | hist) . . (+52) . . Course CompLog
- 09:49, 30 October 2012 (diff | hist) . . (0) . . N Súbor:CompLog2012-Lecture-5-Logic Programming.pdf (current)
- 09:49, 30 October 2012 (diff | hist) . . (+74) . . Course CompLog
- 09:50, 27 September 2012 (diff | hist) . . (+78) . . Martin Balaz/en (current)
- 15:34, 25 September 2012 (diff | hist) . . (+16) . . Course CompLog
- 03:53, 25 September 2012 (diff | hist) . . (+57) . . List of All Courses Provided by Department of Applied Informatics/sk
- 16:44, 3 September 2012 (diff | hist) . . (+40) . . Computational Logic
- 16: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)
- 16: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)
- 16:41, 3 September 2012 (diff | hist) . . (-149) . . Computational Logic
- 16:24, 3 September 2012 (diff | hist) . . (+62) . . Knowledge Representation and Reasoning/sk
- 16:23, 3 September 2012 (diff | hist) . . (+62) . . Knowledge Representation and Reasoning/en
- 16:04, 3 September 2012 (diff | hist) . . (+15) . . Knowledge Representation and Reasoning/en
- 16:04, 3 September 2012 (diff | hist) . . (+15) . . Knowledge Representation and Reasoning/sk
- 16:01, 3 September 2012 (diff | hist) . . (-64) . . Knowledge Representation and Reasoning/en
- 15:59, 3 September 2012 (diff | hist) . . (+21) . . Knowledge Representation and Reasoning/en
- 15:57, 3 September 2012 (diff | hist) . . (+24) . . Knowledge Representation and Reasoning/sk
- 15:55, 3 September 2012 (diff | hist) . . (0) . . Knowledge Representation and Reasoning/sk
- 15:54, 3 September 2012 (diff | hist) . . (0) . . Master program in Applied Informatics/sk
- 15:53, 3 September 2012 (diff | hist) . . (0) . . Master program in Applied Informatics/sk
- 15:52, 3 September 2012 (diff | hist) . . (+26) . . Knowledge Representation and Reasoning/sk
- 15:50, 3 September 2012 (diff | hist) . . (-10) . . Knowledge Representation and Reasoning/sk
- 15:50, 3 September 2012 (diff | hist) . . (-84) . . Knowledge Representation and Reasoning/sk
- 15:45, 3 September 2012 (diff | hist) . . (0) . . Master program in Applied Informatics/sk
- 15:44, 3 September 2012 (diff | hist) . . (+5) . . Computational Logic
- 15:37, 3 September 2012 (diff | hist) . . (+12) . . Master program in Applied Informatics/sk
- 15:22, 3 September 2012 (diff | hist) . . (0) . . Master program in Applied Informatics/sk
- 15:21, 3 September 2012 (diff | hist) . . (+185) . . Master program in Applied Informatics/sk
- 23:54, 19 April 2012 (diff | hist) . . (+7) . . KR Group
- 16:59, 29 March 2012 (diff | hist) . . (+115) . . Course KRR
- 10:27, 28 February 2012 (diff | hist) . . (+6) . . Course KRR
- 10:23, 28 February 2012 (diff | hist) . . (+10) . . Course KRR
- 13:52, 27 February 2012 (diff | hist) . . (+143) . . Course KRR
- 15:18, 7 December 2011 (diff | hist) . . (0) . . N Súbor:Cl2011 i.pdf (current)
- 15:15, 7 December 2011 (diff | hist) . . (+67) . . Computational Logic
- 14:52, 15 November 2011 (diff | hist) . . (0) . . N Súbor:Cl2011 g.pdf (current)
- 14:52, 15 November 2011 (diff | hist) . . (0) . . N Súbor:Cl2011 f.pdf (current)
- 14:51, 15 November 2011 (diff | hist) . . (+127) . . Computational Logic
- 14:50, 15 November 2011 (diff | hist) . . (0) . . Súbor:Cl2011 e.pdf (uploaded a new version of "File:Cl2011 e.pdf") (current)
- 15:36, 1 November 2011 (diff | hist) . . (0) . . N Súbor:Cl2011 x.pdf (current)
- 15:36, 1 November 2011 (diff | hist) . . (+81) . . Computational Logic
- 19:27, 25 October 2011 (diff | hist) . . (+26) . . N Súbor:Cl2011 e.pdf (Logic Programming - Prolog)
- 19:27, 25 October 2011 (diff | hist) . . (+80) . . Computational Logic
- 13:47, 4 October 2011 (diff | hist) . . (0) . . Súbor:Cl2011 b.pdf (uploaded a new version of "File:Cl2011 b.pdf": pridane slidy)
- 13:47, 4 October 2011 (diff | hist) . . (0) . . Súbor:Cl2011 a.pdf (uploaded a new version of "File:Cl2011 a.pdf": opravena zatvorka) (current)
- 16:32, 27 September 2011 (diff | hist) . . (+15) . . Computational Logic
- 16:31, 27 September 2011 (diff | hist) . . (+128) . . Computational Logic
- 16:19, 27 September 2011 (diff | hist) . . (+41) . . N Súbor:Cl2011 b.pdf (Výpočtová logika: Predikátová logika)
- 16:19, 27 September 2011 (diff | hist) . . (+38) . . N Súbor:Cl2011 a.pdf (Výpočtová logika: Výroková logika)
- 10:48, 30 August 2011 (diff | hist) . . (+35) . . ReDIK:ReDIK-2011-Workshop
- 10:48, 30 August 2011 (diff | hist) . . (0) . . N Súbor:Presentation.pdf (current)
- 02:36, 29 August 2011 (diff | hist) . . (+604) . . ReDIK:ReDIK-2011-Workshop
- 15:38, 9 June 2010 (diff | hist) . . (+209) . . Internal:Reprezentácia neúplných, vyvíjajúcich sa a distribuovaných znalostí (v interakcii s komunikačnou platformou)
- 15:29, 9 June 2010 (diff | hist) . . (+284) . . Internal:Reprezentácia neúplných, vyvíjajúcich sa a distribuovaných znalostí (v interakcii s komunikačnou platformou)
- 15:39, 7 June 2010 (diff | hist) . . (+72) . . Internal:Reprezentácia neúplných, vyvíjajúcich sa a distribuovaných znalostí (v interakcii s komunikačnou platformou (current)
- 15:32, 7 June 2010 (diff | hist) . . (+44) . . Internal:Reprezentácia neúplných, vyvíjajúcich sa a distribuovaných znalostí (v interakcii s komunikačnou platformou
- 15:30, 7 June 2010 (diff | hist) . . (+368) . . N Internal:Reprezentácia neúplných, vyvíjajúcich sa a distribuovaných znalostí (v interakcii s komunikačnou platformou (Created page with '<h2>Literatúra:</h2> <ol> <li>Antonis Bikakis, Grigoris Antoniou, P. Hassapis: Distributed Defeasible Reasoning in Ambient Intelligence</li> <li>Antonis Bikakis and Grigoris Ant…')
- 15:30, 12 February 2010 (diff | hist) . . (0) . . Bachelor program in Applied Informatics/en
- 15:29, 12 February 2010 (diff | hist) . . (0) . . Bachelor program in Applied Informatics/sk
- 15:28, 12 February 2010 (diff | hist) . . (0) . . Course:Symbolic Programming and LISP/sk
- 15:27, 12 February 2010 (diff | hist) . . (0) . . Course:Symbolic Programming and LISP/en
- 19:33, 18 November 2009 (diff | hist) . . (+1,122) . . Topics for Diploma Theses/sk
- 20:17, 29 September 2009 (diff | hist) . . (-93) . . GPS software pre mobil (current)
- 20:17, 29 September 2009 (diff | hist) . . (-37) . . Logicke programovanie v hrach (current)
- 20:16, 29 September 2009 (diff | hist) . . (-30) . . Logicke programovanie v hrach
- 20:16, 29 September 2009 (diff | hist) . . (+217) . . Logicke programovanie v hrach
- 20:15, 29 September 2009 (diff | hist) . . (0) . . m Logicke programovanie v hrach (moved BakTema Logické programovanie v hrach to Logicke programovanie v hrach)
- 20:15, 29 September 2009 (diff | hist) . . (+43) . . N BakTema Logické programovanie v hrach (moved BakTema Logické programovanie v hrach to Logicke programovanie v hrach) (current)
- 20:12, 29 September 2009 (diff | hist) . . (0) . . m GPS software pre mobil (moved GPS software pre mobil/sk to GPS software pre mobil)
- 20:12, 29 September 2009 (diff | hist) . . (+36) . . N GPS software pre mobil/sk (moved GPS software pre mobil/sk to GPS software pre mobil) (current)
- 20:11, 29 September 2009 (diff | hist) . . (0) . . m GPS software pre mobil (moved BakTema GPS software pre mobil/sk to GPS software pre mobil/sk)
- 20:11, 29 September 2009 (diff | hist) . . (+39) . . N BakTema GPS software pre mobil/sk (moved BakTema GPS software pre mobil/sk to GPS software pre mobil/sk) (current)
- 20:11, 29 September 2009 (diff | hist) . . (-25) . . Topics for Bachelor Theses/sk
- 20:09, 29 September 2009 (diff | hist) . . (+449) . . N Logicke programovanie v hrach (Created page with 'Témou bakalárskej práce je namodelovať pomocou logického programovania pravidlá hier ako napr. Magic - The Gathering. Logický program by mal vedieť vypočítať zoznam p…')
- 19:58, 29 September 2009 (diff | hist) . . (+37) . . GPS software pre mobil
- 09:27, 28 September 2009 (diff | hist) . . (-8) . . Topics for Bachelor Theses/sk
- 15:11, 1 December 2008 (diff | hist) . . (+163) . . KR Seminar
- 13:48, 27 October 2008 (diff | hist) . . (-170) . . Course:Symbolic Programming and LISP/sk
- 14:20, 17 October 2008 (diff | hist) . . (+2) . . m GPS software pre mobil
- 14:19, 17 October 2008 (diff | hist) . . (0) . . m BakTema Medicinsky software na tvorbu diet/sk (current)
- 07:51, 15 October 2008 (diff | hist) . . (+2) . . BakTema Medicinsky software na tvorbu diet/sk
- 14:42, 14 October 2008 (diff | hist) . . (-6) . . BakTema Medicinsky software na tvorbu diet/sk
- 14:47, 1 October 2008 (diff | hist) . . (+578) . . Topics for Diploma Theses/sk
- 13:52, 29 September 2008 (diff | hist) . . (+1,356) . . N BakTema GPS software pre mobil (New page: == GPS Software pre mobil == <small>(Zadanie bakalárskej práce, naspäť na zoznam bakalárskych prác)</small> Martin Baláž ''Naviga...)
- 13:35, 29 September 2008 (diff | hist) . . (+25) . . BakTema Medicinsky software na tvorbu diet/sk
- 05:20, 14 September 2008 (diff | hist) . . (0) . . m Topics for Bachelor Theses/sk (→Aplikované témy)
- 05:10, 14 September 2008 (diff | hist) . . (+61) . . Topics for Bachelor Theses/sk (→Aplikované témy)