Dev.DAI - Príspevky používateľa [sk]

People/en

2015-09-04T12:06:41Z

Homola: Removing Parulek and Polec (obsolete)

[[Category:People]]
= People =
== Department Structure ==

{|
|'''Head of Department:'''
!Room
![[#Calling the extension|Phone ext.*)]]
|-
|width="400"|[[Igor Farkas|prof. Ing. Igor Farkaš, Dr.]]
|width="100"|I 25
|width="100"|621
|-
|'''Vice-Head of Department:'''
|-
|[[Jan Rybar|doc. PhDr. Ján Rybár, PhD.]]||I 11||672
|-
|[[Damas Gruska|doc. RNDr. Damas Gruska, PhD.]]||I 20||846
|-
|'''Secretary:'''
|-
|[[Elena Sikudova|RNDr. Elena Šikudová, PhD.]]||I 3||388
|-
|'''Secretary for IT:'''
|-
|[[Jan Kluka|Mgr. Ján Kľuka, PhD.]]||I 16|| 727
|-
|'''Secretariate:'''
|-
|[[Zdenka Slobodova|Zdenka Slobodová]]||I 24b||424
|-
|tel. and fax: +421 2 654 22 263
|}

==Section of Computer Graphics and Vision (SCGV)==

{|
|-
|width="400"|[[Zuzana Cernekova|RNDr. Zuzana Černeková, PhD.]]
|width="100"|I 3
|width="100"|388
|-
|[[Roman Durikovic|prof. RNDr. Roman Ďurikovič, PhD.]] (Head of Section)||I 14||879
|-
|[[Milan Ftacnik|doc. RNDr. Milan Ftáčnik, CSc.]]||M 159||720
|-
|[[Zuzana Haladova|RNDr. Zuzana Berger Haladová, PhD.]]||M 153||760
|-
|[[Lubomir Lucan|prom. fyz. Ľubomír Lúčan, PhD.]]||M 161||322
|-
|[[Andrej Mihalik|Mgr. Andrej Mihálik, PhD.]]||I 6||443
|-
|[[Martin Samuelcik|RNDr. Martin Samuelčík, PhD.]]||I 4||441
|-
|[[Stanislav Stanek|RNDr. Stanislav Stanek, PhD.]]||I 3||388
|-
|[[Elena Sikudova|RNDr. Elena Šikudová, PhD.]]||I 3||388
|}

==Section of Artificial Intelligence (SAI)==

{|
|-
|width="400"|[[Frantisek Gyarfas|Ing. František Gyárfáš, PhD.]]
|width="100"|I 17
|width="100"|436
|-
|[[Martin Homola|RNDr. Martin Homola, PhD.]]||I 7||444
|-
|[[Andrej Lucny|RNDr. Andrej Lúčny, PhD.]]||I 18||436
|-
|[[Maria Markosova|doc. RNDr. Mária Markošová, PhD.]] (Head of Section)||I 34||374
|-
|[[Marek Nagy|RNDr. Marek Nagy, PhD.]]||I 42||625
|-
|[[Peter Nather|Mgr. Peter Náther, PhD.]]||I 6||443
|-
|[[Pavel Petrovic|Mgr. Pavel Petrovič, PhD.]]||I 19||
|-
|[[Jozef Siska|RNDr. Jozef Šiška, PhD.]]||I 7||444
|-
|[[Jan Sefranek|doc. PhDr. Ján Šefránek, CSc.]]||I 17||389
|-
|[[Alexander Simko|Ing. Alexander Šimko, PhD.]]||I 6||443
|-
|[[Tomas Vinar|Mgr. Tomáš Vinař, PhD.]]||M 163||207
|}

==Section of Declarative Programming (SDP)==

{|
|-
|width="400"|[[Andrej Blaho|RNDr. Andrej Blaho, PhD.]]
|width="100"|I 5
|width="100"|442
|-
|[[Peter Borovansky|RNDr. Peter Borovanský, PhD.]]||I 18||436
|-
|[[Damas Gruska|doc. RNDr. Damas Gruska, PhD.]] (Head of Section)||I 20||846
|-
|[[Dusan Guller|doc. RNDr. Dušan Guller, PhD.]]||I 28||625
|-
|[[Tatiana Jajcayova|RNDr. Tatiana Jajcayová, PhD.]]||I 24a||278
|-
|[[Jan Kluka|Mgr. Ján Kľuka, PhD.]]||I 16|| 727
|-
|[[Jan Komara|Ing. Ján Komara, PhD.]]||I 16||727
|}

==Centre for Cognitive Science (CCS)==

{|
|-
|width="400"|[[Igor Farkas|prof. Ing. Igor Farkaš, Dr.]] (coordinator)
|width="100"|I 35
|width="100"|621
|-
|[[Jan Rybar|doc. PhDr. Ján Rybár, PhD.]] (deputy)||I 11||672
|-
|[[Martin Takac|RNDr. Martin Takáč, PhD.]]||I 37||370
|-
|[[Barbora Cimrova|RNDr. Barbora Cimrová, PhD.]]||I 33a||374
|-
|[[Kristina Rebrova|RNDr. Kristína Rebrová, PhD.]]||I 33a||374
|-
|[[Dezider Kamhal|PhDr. Dezider Kamhal, PhD.]]||I 36||622
|-
|[[Pavel Petrovic|Mgr. Pavel Petrovič, PhD.]]||I 19||
|}

==Doctoral students==

{|
|width="400"|[[Martin Balaz|RNDr. Martin Baláž]]
|width="100"|I 7
|width="100"|444
|-
|[[Vladimir Boza|Mgr. Vladimír Boža]]||M 25||196
|-
|[[Viliam Dillinger|Mgr. Viliam Dillinger]]||I 5||442
|-
|[[Michal Chladek|Mgr. Michal Chládek]]||M 113||729
|-
|[[Matej Hudak|Mgr. Matej Hudák]]||M 162||133
|-
|[[Michal Kovac|Mgr. Michal Kováč]]||M 101||836
|-
|[[Julia Kucerova|Mgr. Júlia Kučerová]]||M 153||?
|-
|[[Tomas Kuzma|Mgr. Tomáš Kuzma]]||I 5||442
|-
|[[Ludovit Malinovsky|Mgr. Ľudovít Malinovský]]||I 5||442
|-
|[[Jan Mikulas|Mgr. Ján Mikuláš]]|| ||
|-
|[[Mikulas Pataky|Mgr. Mikuláš Pataky]]||M 161||322
|-
|[[Michal Piovarci|Mgr. Michal Piovarči]]||M 161||
|-
|[[Julia Pukancova|Mgr. Júlia Pukancová]]||I 7||444
|-
|[[Radoslav Skoviera|Mgr. Radoslav Škoviera]]||I 19||
|}

==External cooperating staff==

{|
|-
|width="400"|[[Brona Brejova|Mgr. Broňa Brejová, PhD.]]
|width="100"|
|width="100"|
|-
|width="400"|[[Jana Basnakova|Mgr. Jana Bašnáková, MSc.]]
|width="100"|
|width="100"|54773509
|-
|[[Vladimira Cavojova|PaedDr. Vladimíra Čavojová, PhD.]]
|-
|[http://uniba.sk/ludia/gal4 Ing. PhDr. Tomáš Gál, PhD.]
|-
|[http://www.researchgate.net/profile/Lenka_Kostovicova Mgr. Lenka Kostovičová, PhD.]
|-
|[http://www.ui42.sk/autori/martin-krupa.html?page_id=1633 Mgr. Martin Krupa], [http://www.ui42.sk/ ui42]
|-
|[http://www.ui42.sk/autori/robert-mraz.html?page_id=1637 Mgr. Robert Mráz], [http://www.ui42.sk/ ui42]
|-
|[[Milos Mrva|Mgr. Miloš Mrva]]||I 6
|-
|[[Peter Novak|Mgr. Peter Novák, PhD.]]
|-
|[[Daniela Ostatnikova|prof. MUDr. Daniela Ostatníková, PhD.]]|| ||59357524
|-
|[[Emilia Papulova|Doc. Ing. Emília Papulová, CSc.]]
|-
|[http://slotik.info/ Mgr. Martin Slota PhD.]
|-
|[[Milos Sramek|prof. Ing. Miloš Šrámek, PhD.]]||I 5||442
|}

==Alumni & Emeriti==

Previous employees and students of Department of Applied Informatics, previously Institute of Informatics maintain a dedicated page: [[DAI Alumni]]

----

*) From Slovakia, you can call 02-60295-<var>extension</var>; from abroad, the number is: +421-2-60295-<var>extension</var>.


__notoc__

Research/en

2015-09-04T11:30:35Z

Homola: KR Group rewritten

[[Category:Research]]
=Scientific Research at DAI=

Research activities at DAI are chiefly focused on the the areas of computer graphics and computer vision, artificial intelligence, computational logic, theory of programming, and bioinformatics. Researchers collaborate within informal working groups focused on more specific topics.

== Computer Graphics and Vision ==

Two groups at DAI work on graphics and vision problems:

* [[YACGS|Computer graphics]] – computer animation, navigation and cooperation in virtual environments, methods of volumetric graphics.
* [[CV Group|Computer vision]] – face recognition and tracking, medical applications of computer graphics and computer vision.

== Artificial Intelligence and Cognitive Science ==

Research in artificial intelligence and cognitive science has a broad scope and a long history, reflected by the number and diversity of working groups:

* [[KR Group|Knowledge Representation]] – non-monotonic reasoning, knowledge dynamics, argumentation theory, context, ontologies, and distributed reasoning. Applications in multi-agent systems, ambient intelligence, semantic web, linked data, and telemedical systems.
* [http://cogsci.fmph.uniba.sk/cnc Artificial Neural Networks and Cognitive Science] – computational modelling of cognitive processes, experimental research based on EEG measurement, brain-computer interface (BCI).
* [[DN Group|Complex dynamic networks]] – models of evolving complex networks and modelling of real situations with complex networks.
* [[FS Group|Fuzzy systems]]
* [[REC Group|Robotics and Evolutionary Computation]]

== Theory of Programming ==

Applications of formal and logical methods to theory and security of concurrent and distributed systems, computational complexity, and programming are studied by working groups:

* [[CDS Group|Concurrent and Distributed Systems]] – theory of concurrent processing, formal models and their applications on system specification, verification and information security.
* [[DP Group|Declarative Programming]] – descriptive complexity; declarative programming, code verification, code transformation techniques, rewriting systems and constraint systems.

== Bioinformatics ==

Bioinformatics is represented by a joint working group of members of DAI and [http://www.dcs.fmph.uniba.sk DCS], collaborating with researchers in biology:

* [http://compbio.fmph.uniba.sk/ Computational Biology] – algorithms and mathematical methods for analysis of DNA sequences of primates, yeast, and other interesting organisms.

==Projects and Events==

See the following pages for more detailed research profile of our department:

* [[Research Projects]]
* [[Conferences and Events]]
* [[Selected Publications]]

__NOTOC__

People/sk

2015-09-04T11:26:35Z

Homola: Removed Peter Novak and Martin Slota (externisti)

[[Category:Ľudia]]
= Ľudia =

[http://kempelen.dai.fmph.uniba.sk/pritomnost/ Prítomnosť zamestnancov na pracovisku…]

==Štruktúra katedry==

{|
|'''Vedúci katedry:'''
!Miestnosť
![[#Volanie na klapku|Klapka*)]]
|-
|width="400"|[[Igor Farkas|prof. Ing. Igor Farkaš, Dr.]]
|width="100"|I 25
|width="100"|621
|-
|'''Zástupcovia vedúceho katedry:'''
|-
|[[Jan Rybar|doc. PhDr. Ján Rybár, PhD.]]||I 11||672
|-
|[[Damas Gruska|doc. RNDr. Damas Gruska, PhD.]]||I 20||846
|-
|'''Tajomník:'''
|-
|[[Elena Sikudova|RNDr. Elena Šikudová, PhD.]]||I 3||388
|-
|'''Tajomník pre IT:'''
|-
|[[Jan Kluka|Mgr. Ján Kľuka, PhD.]]||I 16||727
|-
|'''Sekretariát:'''
|-
|[[Zdenka Slobodova|Zdenka Slobodová]]||I 24b||424
|-
|tel.: +421 2 654 22 263
|}

==Oddelenie počítačovej grafiky a videnia==

{|
|-
|width="400"|[[Zuzana Cernekova|RNDr. Zuzana Černeková, PhD.]]
|width="100"|I 3
|width="100"|388
|-
|[[Roman Durikovic|prof. RNDr. Roman Ďurikovič, PhD.]] (vedúci odd.)||I 14||879
|-
|[[Milan Ftacnik|doc. RNDr. Milan Ftáčnik, CSc.]]||M 159||720
|-
|[[Zuzana Haladova|RNDr. Zuzana Berger Haladová, PhD.]]||M 153||760
|-
|[[Lubomir Lucan|prom. fyz. Ľubomír Lúčan, PhD.]]||M 161||322
|-
|[[Andrej Mihalik|Mgr. Andrej Mihálik, PhD.]]||I 6||443
|-
|[[Martin Samuelcik|RNDr. Martin Samuelčík, PhD.]]||I 4||441
|-
|[[Stanislav Stanek|RNDr. Stanislav Stanek, PhD.]]||I 3||388
|-
|[[Elena Sikudova|RNDr. Elena Šikudová, PhD.]]||I 3||388
|}

==Oddelenie umelej inteligencie==

{|
|-
|width="400"|[[Frantisek Gyarfas|Ing. František Gyárfáš, PhD.]]
|width="100"|I 17
|width="100"|436
|-
|[[Martin Homola|RNDr. Martin Homola, PhD.]]||I 7||444
|-
|[[Andrej Lucny|RNDr. Andrej Lúčny, PhD.]]||I 18||436
|-
|[[Maria Markosova|doc. RNDr. Mária Markošová, PhD.]] (vedúca odd.)||I 34||374
|-
|[[Marek Nagy|RNDr. Marek Nagy, PhD.]]||I 42||625
|-
|[[Peter Nather|Mgr. Peter Náther, PhD.]]||I 6||443
|-
|[[Jozef Siska|RNDr. Jozef Šiška, PhD.]]||I 7||444
|-
|[[Jan Sefranek|doc. PhDr. Ján Šefránek, CSc.]]||I 17||389
|-
|[[Alexander Simko|Ing. Alexander Šimko, PhD.]]||I 6||443
|-
|[[Tomas Vinar|Mgr. Tomáš Vinař, PhD.]]||M 163||207
|}

==Oddelenie deklaratívneho programovania==

{|
|-
|width="400"|[[Andrej Blaho|RNDr. Andrej Blaho, PhD.]]
|width="100"|M 162
|width="100"|133
|-
|[[Peter Borovansky|RNDr. Peter Borovanský, PhD.]]||I 18||436
|-
|[[Damas Gruska|doc. RNDr. Damas Gruska, PhD.]] (vedúci odd.)||I 20||846
|-
|[[Dusan Guller|doc. RNDr. Dušan Guller, PhD.]]||I 28||625
|-
|[[Tatiana Jajcayova|RNDr. Tatiana Jajcayová, PhD.]]||I 24a||278
|-
|[[Jan Kluka|Mgr. Ján Kľuka, PhD.]]||I 16||727
|-
|[[Jan Komara|Ing. Ján Komara, PhD.]]||I 16||727
|}

==Centrum pre kognitívnu vedu==

{|
|-
|width="400"|[[Igor Farkas|prof. Ing. Igor Farkaš, Dr.]] (koordinátor)
|width="100"|I 35
|width="100"|621
|-
|[[Jan Rybar|doc. PhDr. Ján Rybár, PhD.]] (zástupca)||I 11||672
|-
|[[Martin Takac|RNDr. Martin Takáč, PhD.]]||I 37||370
|-
|[[Barbora Cimrova|RNDr. Barbora Cimrová, PhD.]]||I 33a||374
|-
|[[Kristina Rebrova|RNDr. Kristína Rebrová, PhD.]]||I 33a||374
|-
|[[Dezider Kamhal|PhDr. Dezider Kamhal, PhD.]]||I 36||109
|-
|[[Pavel Petrovic|Mgr. Pavel Petrovič, PhD.]]||I 19||
|}

==Doktorandi katedry==

{|
|width="400"|[[Martin Balaz|RNDr. Martin Baláž]]
|width="100"|I 7
|width="100"|444
|-
|[[Vladimir Boza|Mgr. Vladimír Boža]]||M 25||196
|-
|[[Viliam Dillinger|Mgr. Viliam Dillinger]]||I 5||442
|-
|[[Matej Hudak|Mgr. Matej Hudák]]||M 162||133
|-
|[[Michal Chladek|Mgr. Michal Chládek]]||M 113||729
|-
|[[Michal Kovac|Mgr. Michal Kováč]]||M 249||836
|-
|[[Julia Kucerova|RNDr. Júlia Kučerová]]||M 153||760
|-
|[[Tomas Kuzma|Mgr. Tomáš Kuzma]]||I 5||442
|-
|[[Ludovit Malinovsky|Mgr. Ľudovít Malinovský]]||I 5||442
|-
|[[Jan Mikulas|Mgr. Ján Mikuláš]] || ||
|-
|[[Mikulas Pataky|RNDr. Mikuláš Pataky]]||M 161||322
|-
|[[Michal Piovarci|Mgr. Michal Piovarči]]||M 161||
|-
|[[Julia Pukancova|Mgr. Júlia Pukancová]]||I 7||444
|-
|[[Radoslav Skoviera|Mgr. Radoslav Škoviera]]||I 19||
|}

==Externisti a spolupracovníci==

{|
|-
|width="400"|[[Brona Brejova|Mgr. Broňa Brejová, PhD.]]
|width="100"|
|width="100"|
|-
|width="400"|[[Jana Basnakova|Mgr. Jana Bašnáková, MSc.]]
|width="100"|
|width="100"|54773509
|-
|[[Vladimira Cavojova|PaedDr. Vladimíra Čavojová, PhD.]]
|-
|[http://uniba.sk/ludia/gal4 Ing. PhDr. Tomáš Gál, PhD.]
|-
|[http://www.researchgate.net/profile/Lenka_Kostovicova Mgr. Lenka Kostovičová, PhD.]
|-
|[http://www.ui42.sk/autori/martin-krupa.html?page_id=1633 Mgr. Martin Krupa], [http://www.ui42.sk/ ui42]
|-
|[http://www.ui42.sk/autori/robert-mraz.html?page_id=1637 Mgr. Robert Mráz], [http://www.ui42.sk/ ui42]
|-
|[[Milos Mrva|Mgr. Miloš Mrva]]||I 6
|-
|[[Daniela Ostatnikova|prof. MUDr. Daniela Ostatníková, PhD.]]|| ||59357524
|-
|[[Emilia Papulova|Doc. Ing. Emília Papulová, CSc.]]
|-
|[[Julius Parulek|RNDr. Július Parulek]]||I 5||442
|-
|[[Jaroslav Polec|doc. Ing. Jaroslav Polec, CSc.]]||I 5||442
|-
|[[Milos Sramek|prof. Ing. Miloš Šrámek, PhD.]]||I 5||442
|}

==Alumni & Emeriti==

Predchádzajúci zamestnanci Katedry a bývalého Ústavu informatiky majú vlastnú stránku: [[DAI Alumni]]

----


*) Z vonkajšej siete môžete pred klapkou vytočiť 02/602 95 <var>klapka</var>, medzinárodne +421 2 602 95 <var>klapka</var>.


__notoc__

Vyskum/sk

2015-09-04T10:36:36Z

Homola: Uprava formulacie pre KR Group.

[[Category:Výskum]]
= Veda a výskum na KAI=

Vedecká činnosť KAI sa orientuje predovšetkým na počítačovú grafiku a videnie, na umelú inteligenciu a kognitívnu vedu, na teóriu programovania a na bioinformatiku. Výskum prebieha v tematicky zameraných neformálnych pracovných skupinách.

== Počítačová grafika a videnie ==

Oblasťou počítačovej grafiky a videnia sa zaoberajú pracovné skupiny:

* [[YACGS|Počítačová grafika]] – počítačová animácia, navigácia a kooperácia vo virtuálnych prostrediach, metódy objemovej grafiky.
* [[Computer Vision Group|Počítačové videnie]] – rozpoznávanie a sledovanie tváre, aplikácie počítačovej grafiky a videnia v medicíne.

== Umelá inteligencia a kognitívna veda ==

Výskum v umelej inteligencii a kognitívnej vede má na KAI široký záber a dlhú tradíciu:

* [[KR Group|Reprezentácia znalostí]] – nemonotónne usudzovanie, dynamika znalostí, teória argumentácie, kontext, ontológie a distribuované znalosti. Aplikácie v oblasti multi-agentových systémov, ambientej inteligencie, sémantického webu, prepojených dát, a telemedicínskych systémov.
* [http://cogsci.fmph.uniba.sk/cnc Umelé neurónové siete a kognitívna veda] – výpočtové modelovanie kognitívnych procesov, experimentálny výskum spojený s meraním signálu EEG, rozhranie mozog-počítač (BCI).
* [[DN Group|Komplexné dynamické siete]] - modely evolvujúcich sa komplexných sietí a modelovanie reálnych situácií pomocou komplexných sietí
* [[Fuzzy Systems Group|Fuzzy systémy]]
* [[REC Group|Robotika a evolučné počítanie]]

== Teória programovania ==

Aplikáciami formálnych metód v teórii a bezpečnosti konkurentných a distribuovaných systémov, výpočtovej zložitosti a v programovaní sa zaoberáme v pracovných skupinách:

* [[CDS Group|Konkurentné a distribuované systémy]] – teória konkurentných procesov a distribuovaných systémov, formálnych modelov a ich aplikácií v rôznych oblastiach – špecifikácia, verifikácia, bezpečnosť počítačových sytémov.
* [[DP Group|Deklaratívne programovanie]] – deskriptívna zložitosť; deklaratívne programovanie, dokazovanie správnosti programov, techniky transformácie programov; prepisovacie systémy a systémy s ohraničeniami.

== Bioinformatika ==

Bioinformatike sa venuje medzikatedrová výskumná skupina zložená z členov KAI a [http://www.dcs.fmph.uniba.sk KI], spolupracujúca s výskumnými pracovníkmi v biologických odboroch:
* [http://compbio.fmph.uniba.sk Výpočtová biológia] – algoritmy a matematické metódy na analýzu DNA sekvencií primátov, kvasiniek a iných zaujímavých organizmov.

==Projekty a podujatia==

Vedecká činnosť KAI je zastrešená viacerými výskumnými projektami. Organizujeme a spoluorganizujeme odborné konferencie, semináre a ďalšie podujatia na výmenu poznatkov a skúseností s odbornou verejnosťou i v rámci pracovných skupín, zúčastňujeme sa udalostí na popularizáciu vedy a výskumu.

* [[Research Projects|Výskumné projekty]]
* [[Conferences and Events|Organizované konferencie a podujatia]]
* [[Scientific Seminars|Odborné semináre]]

__NOTOC__

Vyskum/sk

2015-09-03T21:42:00Z

Homola: Uprava KR Group.

[[Category:Výskum]]
= Veda a výskum na KAI=

Vedecká činnosť KAI sa orientuje predovšetkým na počítačovú grafiku a videnie, na umelú inteligenciu a kognitívnu vedu, na teóriu programovania a na bioinformatiku. Výskum prebieha v tematicky zameraných neformálnych pracovných skupinách.

== Počítačová grafika a videnie ==

Oblasťou počítačovej grafiky a videnia sa zaoberajú pracovné skupiny:

* [[YACGS|Počítačová grafika]] – počítačová animácia, navigácia a kooperácia vo virtuálnych prostrediach, metódy objemovej grafiky.
* [[Computer Vision Group|Počítačové videnie]] – rozpoznávanie a sledovanie tváre, aplikácie počítačovej grafiky a videnia v medicíne.

== Umelá inteligencia a kognitívna veda ==

Výskum v umelej inteligencii a kognitívnej vede má na KAI široký záber a dlhú tradíciu:

* [[KR Group|Reprezentácia znalostí]] – nemonotónne usudzovanie, dynamika znalostí, teória argumentácie, kontext, ontológie a distribuované znalosti. Náš výskum má aplikácie v oblasti multi-agentových systémov, ambientej inteligencie, sémantického webu, prepojených dát, a telemedicínskych systémov.
* [http://cogsci.fmph.uniba.sk/cnc Umelé neurónové siete a kognitívna veda] – výpočtové modelovanie kognitívnych procesov, experimentálny výskum spojený s meraním signálu EEG, rozhranie mozog-počítač (BCI).
* [[DN Group|Komplexné dynamické siete]] - modely evolvujúcich sa komplexných sietí a modelovanie reálnych situácií pomocou komplexných sietí
* [[Fuzzy Systems Group|Fuzzy systémy]]
* [[REC Group|Robotika a evolučné počítanie]]

== Teória programovania ==

Aplikáciami formálnych metód v teórii a bezpečnosti konkurentných a distribuovaných systémov, výpočtovej zložitosti a v programovaní sa zaoberáme v pracovných skupinách:

* [[CDS Group|Konkurentné a distribuované systémy]] – teória konkurentných procesov a distribuovaných systémov, formálnych modelov a ich aplikácií v rôznych oblastiach – špecifikácia, verifikácia, bezpečnosť počítačových sytémov.
* [[DP Group|Deklaratívne programovanie]] – deskriptívna zložitosť; deklaratívne programovanie, dokazovanie správnosti programov, techniky transformácie programov; prepisovacie systémy a systémy s ohraničeniami.

== Bioinformatika ==

Bioinformatike sa venuje medzikatedrová výskumná skupina zložená z členov KAI a [http://www.dcs.fmph.uniba.sk KI], spolupracujúca s výskumnými pracovníkmi v biologických odboroch:
* [http://compbio.fmph.uniba.sk Výpočtová biológia] – algoritmy a matematické metódy na analýzu DNA sekvencií primátov, kvasiniek a iných zaujímavých organizmov.

==Projekty a podujatia==

Vedecká činnosť KAI je zastrešená viacerými výskumnými projektami. Organizujeme a spoluorganizujeme odborné konferencie, semináre a ďalšie podujatia na výmenu poznatkov a skúseností s odbornou verejnosťou i v rámci pracovných skupín, zúčastňujeme sa udalostí na popularizáciu vedy a výskumu.

* [[Research Projects|Výskumné projekty]]
* [[Conferences and Events|Organizované konferencie a podujatia]]
* [[Scientific Seminars|Odborné semináre]]

__NOTOC__

Julia Pukancova/en

2015-07-29T12:33:41Z

Homola: fixed e-mail address

{{Person
| fullname = Mgr. Júlia Pukancová
| caption = Júlia Pukancová
| image = pukancova.jpg
| section =
| position = doctoral student
| phone =
| room = I-7
| email = pukancova[[Image:zavinac.gif|@]]fmph.uniba.sk
| web =
| info =

== Teaching ==
* [[Computational Logic]]
* [[Knowledge Representation and Reasoning]]
* [[Description Logics Ontologies and Semantics Web]]

== Research ==
* knowledge representation

== Publications ==

}}

Course CompLog

2014-10-21T12:02:52Z

Homola: Projects published

This is the homepage of '''2-AIN-108 Computational Logic''' course in the Master program of Applied Informatics.

* Lecturers: Martin Baláž, Martin Homola
* Lab assistants: Martin Baláž
* Schedule: Tue 14:00 F1-109 (lectures), Thu 12:20 F1-247 (labs)

* Lab Evaluation: [https://docs.google.com/spreadsheets/d/1jbwqgBaV-aKtYYyA2zQn6r-lMKk_fMe3GAdcSaOe7-4 Google Docs]
'''New:''' [http://wiki.matfyz.sk/CompLog2014_Projekty Project assignments]
=== Syllabus ===

# First Order Logic
# Description Logics and Ontologies
# Logic Programming - Prolog
# Answer Set Programming

=== Evaluation ===

* Midterm: 10 points (min 0)
* Exam: 30 points (min 15)
* Labs: 15 points (min 5)
* Project/Homework: 15 points (min 5)
* '''Total:''' 70 points

=== Grading ===

* A: 62 and more points
* B: 54 and more points
* C: 47 and more points
* D: 40 and more points
* E: 34 and more points
* Fx: less than 34 points

=== Lecture Slides ===
# [[media:CompLog2014-Lecture-1-FOL.pdf|First Order Logic, Syntax and Semanics]]
# [[media:CompLog2014-Lecture-2-Reasoning-with-FOL.pdf|Reasoning with FOL]]
# [[media:CompLog2014-Lecture-3-Applications-of-FOL.pdf|Applications of FOL]]
# [[media:CompLog2014-Lecture-4-Description-Logics.pdf|Description Logics]]
# [[media:CompLog2014-Lecture-5-Reasoning-with-DL.pdf|Reasoning with DL]]


=== Exercises ===
# [[media:CompLog2013-Exercises-1-FOL.pdf|First Order Logic, Syntax and Formalization]]
# [[media:CompLog2014-Exercises-2-3-FOL.pdf|First Order Logic, Semantics and Reasoning]]

Course CompLog

2014-10-21T11:52:36Z

Homola:

This is the homepage of '''2-AIN-108 Computational Logic''' course in the Master program of Applied Informatics.

* Lecturers: Martin Baláž, Martin Homola
* Lab assistants: Martin Baláž
* Schedule: Tue 14:00 F1-109 (lectures), Thu 12:20 F1-247 (labs)

* Lab Evaluation: [https://docs.google.com/spreadsheets/d/1jbwqgBaV-aKtYYyA2zQn6r-lMKk_fMe3GAdcSaOe7-4 Google Docs]

=== Syllabus ===

# First Order Logic
# Description Logics and Ontologies
# Logic Programming - Prolog
# Answer Set Programming

=== Evaluation ===

* Midterm: 10 points (min 0)
* Exam: 30 points (min 15)
* Labs: 15 points (min 5)
* Project/Homework: 15 points (min 5)
* '''Total:''' 70 points

=== Grading ===

* A: 62 and more points
* B: 54 and more points
* C: 47 and more points
* D: 40 and more points
* E: 34 and more points
* Fx: less than 34 points

=== Lecture Slides ===
# [[media:CompLog2014-Lecture-1-FOL.pdf|First Order Logic, Syntax and Semanics]]
# [[media:CompLog2014-Lecture-2-Reasoning-with-FOL.pdf|Reasoning with FOL]]
# [[media:CompLog2014-Lecture-3-Applications-of-FOL.pdf|Applications of FOL]]
# [[media:CompLog2014-Lecture-4-Description-Logics.pdf|Description Logics]]
# [[media:CompLog2014-Lecture-5-Reasoning-with-DL.pdf|Reasoning with DL]]


=== Exercises ===
# [[media:CompLog2013-Exercises-1-FOL.pdf|First Order Logic, Syntax and Formalization]]
# [[media:CompLog2014-Exercises-2-3-FOL.pdf|First Order Logic, Semantics and Reasoning]]

Súbor:CompLog2014-Lecture-5-Reasoning-with-DL.pdf

2014-10-21T11:52:00Z

Homola:

Súbor:CompLog2014-Lecture-4-Description-Logics.pdf

2014-10-21T11:51:42Z

Homola:

Course CompLog

2014-10-21T11:51:15Z

Homola:

This is the homepage of '''2-AIN-108 Computational Logic''' course in the Master program of Applied Informatics.

* Lecturers: Martin Baláž, Martin Homola
* Lab assistants: Martin Baláž
* Schedule: Tue 14:00 F1-109 (lectures), Thu 12:20 F1-247 (labs)

* Lab Evaluation: [https://docs.google.com/spreadsheets/d/1jbwqgBaV-aKtYYyA2zQn6r-lMKk_fMe3GAdcSaOe7-4 Google Docs]
* '''New:''' [http://wiki.matfyz.sk/CompLog2013_Projekty Project assignments]

=== Syllabus ===

# First Order Logic
# Description Logics and Ontologies
# Logic Programming - Prolog
# Answer Set Programming

=== Evaluation ===

* Midterm: 10 points (min 0)
* Exam: 30 points (min 15)
* Labs: 15 points (min 5)
* Project/Homework: 15 points (min 5)
* '''Total:''' 70 points

=== Grading ===

* A: 62 and more points
* B: 54 and more points
* C: 47 and more points
* D: 40 and more points
* E: 34 and more points
* Fx: less than 34 points

=== Lecture Slides ===
# [[media:CompLog2014-Lecture-1-FOL.pdf|First Order Logic, Syntax and Semanics]]
# [[media:CompLog2014-Lecture-2-Reasoning-with-FOL.pdf|Reasoning with FOL]]
# [[media:CompLog2014-Lecture-3-Applications-of-FOL.pdf|Applications of FOL]]
# [[media:CompLog2014-Lecture-4-Description-Logics.pdf|Description Logics]]
# [[media:CompLog2014-Lecture-5-Reasoning-with-DL.pdf|Reasoning with DL]]


=== Exercises ===
# [[media:CompLog2013-Exercises-1-FOL.pdf|First Order Logic, Syntax and Formalization]]
# [[media:CompLog2014-Exercises-2-3-FOL.pdf|First Order Logic, Semantics and Reasoning]]

Course CompLog

2014-10-07T13:58:07Z

Homola: Added: lecture 3

This is the homepage of '''2-AIN-108 Computational Logic''' course in the Master program of Applied Informatics.

* Lecturers: Martin Baláž, Martin Homola
* Lab assistants: Martin Baláž
* Schedule: Tue 14:00 F1-109 (lectures), Thu 12:20 F1-247 (labs)

* Lab Evaluation: [https://docs.google.com/spreadsheets/d/1jbwqgBaV-aKtYYyA2zQn6r-lMKk_fMe3GAdcSaOe7-4 Google Docs]
* '''New:''' [http://wiki.matfyz.sk/CompLog2013_Projekty Project assignments]

=== Syllabus ===

# First Order Logic
# Description Logics and Ontologies
# Logic Programming - Prolog
# Answer Set Programming

=== Evaluation ===

* Midterm: 10 points (min 0)
* Exam: 30 points (min 15)
* Labs: 15 points (min 5)
* Project/Homework: 15 points (min 5)
* '''Total:''' 70 points

=== Grading ===

* A: 62 and more points
* B: 54 and more points
* C: 47 and more points
* D: 40 and more points
* E: 34 and more points
* Fx: less than 34 points

=== Lecture Slides ===
# [[media:CompLog2014-Lecture-1-FOL.pdf|First Order Logic, Syntax and Semanics]]
# [[media:CompLog2014-Lecture-2-Reasoning-with-FOL.pdf|Reasoning with FOL]]
# [[media:CompLog2014-Lecture-3-Applications-of-FOL.pdf|Applications of FOL]]


=== Exercises ===
# [[media:CompLog2013-Exercises-1-FOL.pdf|First Order Logic, Syntax and Formalization]]

Súbor:CompLog2014-Lecture-3-Applications-of-FOL.pdf

2014-10-07T13:57:07Z

Homola:

Súbor:CompLog2014-Lecture-2-Reasoning-with-FOL.pdf

2014-09-30T21:22:54Z

Homola: CompLog lecture: Calculus, Hilbert calculus, Resolution

CompLog lecture: Calculus, Hilbert calculus, Resolution

Súbor:CompLog2014-Lecture-1-FOL.pdf

2014-09-30T21:07:23Z

Homola: CompLog lecture 1: FOL sytax and semantics

CompLog lecture 1: FOL sytax and semantics

Course CompLog

2014-09-30T21:05:28Z

Homola: Fixes in info, schedule, and commenting out old lectures

This is the homepage of '''2-AIN-108 Computational Logic''' course in the Master program of Applied Informatics.

* Lecturers: Martin Baláž, Martin Homola
* Lab assistants: Martin Baláž
* Schedule: Tue 14:00 F1-109 (lectures), Thu 12:20 F1-247 (labs)

* Lab Evaluation: [https://docs.google.com/spreadsheet/ccc?key=0Ai_OUoCwIBGsdDN4M2dPNm00TFctYm8ya012bTIzNUE&usp=sharing Google Docs]
* '''New:''' [http://wiki.matfyz.sk/CompLog2013_Projekty Project assignments]

=== Syllabus ===

# First Order Logic
# Description Logics and Ontologies
# Logic Programming - Prolog
# Answer Set Programming

=== Evaluation ===

* Midterm: 10 points (min 0)
* Exam: 30 points (min 15)
* Labs: 15 points (min 5)
* Project/Homework: 15 points (min 5)
* '''Total:''' 70 points

=== Grading ===

* A: 62 and more points
* B: 54 and more points
* C: 47 and more points
* D: 40 and more points
* E: 34 and more points
* Fx: less than 34 points

=== Lecture Slides ===
# [[media:CompLog2014-Lecture-1-FOL.pdf|First Order Logic, Syntax and Semanics]]
# [[media:CompLog2014-Lecture-2-Reasoning-with-FOL.pdf|Reasoning with FOL]]


=== Exercises ===
# [[media:CompLog2013-Exercises-1-FOL.pdf|First Order Logic, Syntax and Formalization]]

People/en

2014-03-10T09:54:00Z

Homola: Fixing data and links: M. Slota (external collaborators)

= People =
=== Department Structure ===
<blockquote>
{| style="font-size:9pt;"
|'''Head of Department:'''
|-
|width="400"|[[Jan Rybar|doc. PhDr. Ján Rybár, PhD.]]
|width="100"|I 25 1)
|width="100"|672 2)
|-
|'''Vice-Head of Department:'''
|-
|[[Roman Durikovic|doc. RNDr. Roman Ďurikovič, PhD.]]||I 14||879
|-
|[[Damas Gruska|doc. RNDr. Damas Gruska, PhD.]]||I 20||846
|-
|'''Department Secretary:'''
|-
|[[Elena Sikudova|RNDr. Elena Šikudová, PhD.]]||I 3||388
|-
|'''Secretary for IT:'''
|-
|[[Lubomir Lucan|graduated physicist Ľubomír Lúčan, PhD.]]||I 33a||374
|-
|'''Secretariate:'''
|-
|[[Zdenka Slobodova|Zdenka Slobodová]]||I 24b||424
|-
|tel. and fax: +421 2 654 22 263
|}
</blockquote>

===Section of Computer Graphics and Vision (SCGV)===
<blockquote>
{| style="font-size:9pt;"
|'''Head of Section:'''
|-
|width="400"|[[Roman Durikovic|doc. RNDr. Roman Ďurikovič, PhD.]]
|width="100"|I 14
|width="100"|879
|-
|'''Teachers:'''
|-
|[[Peter Borovsky|RNDr. Peter Borovský]]||I 4||441
|-
|[[Roman Durikovic|doc. RNDr. Roman Ďurikovič, PhD.]]||I 14||879
|-
|[[Milan Ftacnik|doc. RNDr. Milan Ftáčnik, CSc.]]||I 5||442
|-
|[[Lubomir Lucan|Ľubomír Lúčan, PhD.]]||I 33a||374
|-
|[[Martin Samuelcik|RNDr. Martin Samuelčík, PhD.]]||I 4||441
|-
|'''Researchers:'''
|-
|[[Zuzana Cernekova|RNDr. Zuzana Černeková, PhD.]]||I 3||388
|-
|[[Matej Novotny|Mgr. Matej Novotný, PhD.]]||I 4||441
|-
|[[Juraj Onderik|Mgr. Juraj Onderík, PhD.]]||M 113||729
|-
|[[Elena Sikudova|RNDr. Elena Šikudová, PhD.]]||I 3||388
|-
|[[Stanislav Stanek|RNDr. Stanislav Stanek, PhD.]]||I 3||388
|}
</blockquote>

===Section of Artificial Intelligence (SAI)===
<blockquote>
{| style="font-size:9pt;"
|'''Head of Section:'''
|-
|width="400"|[[Maria Markosova|doc. RNDr. Mária Markošová, PhD.]]
|width="100"|I 34
|width="100"|869
|-
|'''Teachers:'''
|-
|[[Igor Farkas|doc. Ing. Igor Farkaš, PhD.]]||I 35||621
|-
|[[Frantisek Gyarfas|Ing. František Gyárfáš, PhD.]]||I 17||436
|-
|[[Martin Homola|RNDr. Martin Homola, PhD.]]||I 7||444
|-
|[[Andrej Lucny|RNDr. Andrej Lúčny, PhD.]]||I 18||436
|-
|[[Maria Markosova|doc. RNDr. Mária Markošová, PhD.]]||I 34||374
|-
|[[Marek Nagy|RNDr. Marek Nagy, PhD.]]||I 42||625
|-
|[[Peter Nather|Mgr. Peter Náther, PhD.]]||I 6||443
|-
|[[Pavel Petrovic|Mgr. Pavel Petrovič, PhD.]]||I 19||
|-
|[[Jozef Siska|RNDr. Jozef Šiška, PhD.]]||I 7||444
|-
|[[Martin Takac|RNDr. Martin Takáč, PhD.]]||I 37||370
|-
|'''Researchers:'''
|-
|[[Jan Sefranek|doc. PhDr. Ján Šefránek, CSc.]]||I 17||389
|-
|[[Tomas Vinar|Mgr. Tomáš Vinař, PhD.]]||M 163||207
|}
</blockquote>

===Section of Declarative Programming (SDP)===
<blockquote>
{| style="font-size:9pt;"
|'''Head of Section:'''
|-
|width="400"|[[Damas Gruska|doc. RNDr. Damas Gruska, PhD.]]
|width="100"|I 20
|width="100"|846
|-
|'''Teachers:'''
|-
|[[Andrej Blaho|RNDr. Andrej Blaho, PhD.]]||I 5||442
|-
|[[Damas Gruska|doc. RNDr. Damas Gruska, PhD.]]||I 20||846
|-
|[[Dusan Guller|RNDr. Dušan Guller, PhD.]]||I 28||625
|-
|[[Tatiana Jajcayova|RNDr. Tatiana Jajcayová, PhD.]]||I 24a||278
|-
|[[Jan Kluka|Mgr. Ján Kľuka, PhD.]]||I 33b||374
|-
|[[Jan Komara|Ing. Ján Komara, PhD.]]||I 16||727
|-
|[[Marian Vittek|RNDr. Marián Vittek, PhD.]]||I 16||727
|-
|'''Researchers:'''
|-
|[[Peter Borovansky|RNDr. Peter Borovanský, PhD.]]||I 18||436
|}
</blockquote>

===Centre for Cognitive Science (CCS)===
<blockquote>
{| style="font-size:9pt;"
|-
|width="400"|[[Jan Rybar|doc. PhDr. Ján Rybár, PhD.]] ''(coordinator)''
|width="100"|I 25
|width="100"|672
|-
|[[Igor Farkas|doc. Ing. Igor Farkaš, PhD.]] ''(deputy coordinator)''||I 35||621
|-
|[[Barbora Cimrova|RNDr. Barbora Cimrová, PhD.]]||I 11||no phone
|-
|[[Dezider Kamhal|PhDr. Dezider Kamhal, PhD.]]||I 36||622
|-
|[[Pavel Petrovic|Mgr. Pavel Petrovič, PhD.]]||I 19||
|-
|[[Martin Takac|RNDr. Martin Takáč, PhD.]]||I 37||370
|}
</blockquote>

===Supporting Centre for Visually Handicapped Students===
<blockquote>
(integrated within Department, having a faculty-wide character)
{| style="font-size:9pt;"
|'''Head of Section:'''
|-
|width="400"|[[Elena Mendelova|PaedDr. Elena Mendelová, PhD.]]
|width="100"|I 40
|width="100"|166
|-
|'''Researchers:'''
|-
|[[Lucia Hanacikova|Mgr. Lucia Hanačíková]]||I 41||515
|-
|[[Elena Mendelova|PaedDr. Elena Mendelová, PhD.]]||I 40||166 65424862
|}
</blockquote>

===Doctoral students===
<blockquote>
{| style="font-size:9pt;"
|width="400"|[[Martin Balaz|RNDr. Martin Baláž]]
|width="100"|I 7
|width="100"|444
|-
|[[Martin Cajagi|Mgr. Martin Čajági]]||I 6||443
|-
|[[Viliam Dillinger|Mgr. Viliam Dillinger]]||I 42||625
|-
|[[Pavol Fabo|Mgr. Pavol Fabo]]||M 113||729
|-
|[[Jozef Frtus|Mgr. Jozef Frtús]]||I 7||444
|-
|[[Zuzana Haladova|Mgr. Zuzana Haladová]]||M 153||760
|-
|[[Michal Chladek|Mgr. Michal Chládek]]||M 113||729
|-
|[[Michal Hucko|Mgr. Michal Hučko]]||M 159||720
|-
|[[Matej Hudak|Mgr. Matej Hudák]]||M 162||133
|-
|[[Ivan Kolesar|Mgr. Ivan Kolesár]]||M 161||471
|-
|[[Michal Kovac|Mgr. Michal Kováč]]||M 101||836
|-
|[[Martin Kravec|Mgr. Martin Kravec]]||M 25||196
|-
|[[Julia Kucerova|Mgr. Júlia Kučerová]]||M 153||?
|-
|[[Martin Macko|Mgr. Martin Macko]]||M 25||
|-
|[[Martin Madaras|RNDr. Martin Madaras]]||M 113||729
|-
|[[Ludovit Malinovsky|Mgr. Ľudovít Malinovský]]||I 11||?
|-
|[[Jan Mikulas|Mgr. Ján Mikuláš]]|| ||
|-
|[[Mikulas Pataky|Mgr. Mikuláš Pataky]]||M 161||322
|-
|[[Peter Paulis|Mgr. Peter Paulis]] (sabatical)|| ||
|-
|[[Kristina Rebrova|Mgr. Kristína Rebrová]]||I 11||no phone
|-
|[[Karol Skocik|Ing. Karol Skočík]]||I 6||443
|-
|[[Juraj Starinsky|Mgr. Juraj Starinský]] (sabatical)|| ||
|-
|[[Alexander Simko|Ing. Alexander Šimko]]||I 11||no phone
|-
|[[Radoslav Skoviera|Mgr. Radoslav Škoviera]]||I 19||
|-
|[[Kristian Valentin|Mgr. Kristián Valentín]]||I 19||
|-
|[[Matej Vince|Mgr. Matej Vince]]||M 162||133
|-
|[[Michal Vince|Mgr. Michal Vince]]||I 6||
|-
|[[Martina Visnovska|Mgr. Martina Višnovská]] (sabatical)|| ||
|-
|[[Dusan Zervan|Ing. Dušan Zervan]] ||I 28||
|-
|[[Jan Zizka|Mgr. Ján Žižka]] (sabatical)|| ||
|}
</blockquote>

===External cooperating staff===
<blockquote>
{| style="font-size:9pt;"
|-
|width="400"|[[Brona Brejova|Mgr. Broňa Brejová, PhD.]]
|width="100"|
|width="100"|
|-
|width="400"|[[Jana Basnakova|Mgr. Jana Bašnáková, MSc.]]
|width="100"|
|width="100"|54773509
|-
|[[Vladimira Cavojova|PaedDr. Vladimíra Čavojová, PhD.]]
|-
|[http://www.ui42.sk/autori/martin-krupa.html?page_id=1633 Mgr. Martin Krupa], [http://www.ui42.sk/ ui42]
|-
|[http://www2.fiit.stuba.sk/~kvasnicka/ prof. Ing. Vladimír Kvasnička, DrSc.], [http://www.fiit.stuba.sk/ FIIT, STU]
|-
|[http://www.ui42.sk/autori/robert-mraz.html?page_id=1637 Mgr. Robert Mráz], [http://www.ui42.sk/ ui42]
|-
|[[Milos Mrva|Mgr. Miloš Mrva]]||I 6
|-
|[[Peter Novak|Mgr. Peter Novák, PhD.]]
|-
|[[Daniela Ostatnikova|prof. MUDr. Daniela Ostatníková, PhD.]]|| ||59357524
|-
|[[Julius Parulek|RNDr. Július Parulek]]||I 5||442
|-
|[[Jaroslav Polec|doc. Ing. Jaroslav Polec, CSc.]]||I 5||442
|-
|[http://slotik.info/ Mgr. Martin Slota PhD.]
|-
|[[Milos Sramek|prof. Ing. Miloš Šrámek, PhD.]]||I 5||442
|}
</blockquote>

===Alumni===

Previous employees and students of Department of Applied Informatics, previously Institute of Informatics maintain a dedicated page: [[DAI Alumni]]


1) Room 
2) Extension (from Slovakia, you can call 02-60295-extension; from abroad, the number is: +421-2-60295-extension)


__notoc__

Peter Novak/en

2014-03-10T09:52:26Z

Homola: PhD added

{{Person
| fullname = Mgr. Peter Novák, PhD.
| caption = Peter Novák
| image = PeterNovak.png
| section =
| position = external cooperating staff
| phone = +49-(0)5323-72 7190
| email = peter.novak[[Image:zavinac.gif|@]]tu-clausthal.de
| web = http://peter.aronde.net/
| room =
Clausthal University of Technology Department of Informatics Julius-Albert-Str. 4 D-38678 Clausthal-Zellerfeld Germany
| info =

=== Teaching ===
* ''none''

=== Research ===
* (multi-)agent systems, cognitive robotics, applied computational logics, knowledge representation & reasoning, argumentation

=== Publications ===
* [http://www.aronde.net/index.php?id=ppublications See the publications list on my personal webpage]
}}

People/en

2014-03-10T09:40:13Z

Homola: Fixing link to Kvasnicka's homepage

= People =
=== Department Structure ===
<blockquote>
{| style="font-size:9pt;"
|'''Head of Department:'''
|-
|width="400"|[[Jan Rybar|doc. PhDr. Ján Rybár, PhD.]]
|width="100"|I 25 1)
|width="100"|672 2)
|-
|'''Vice-Head of Department:'''
|-
|[[Roman Durikovic|doc. RNDr. Roman Ďurikovič, PhD.]]||I 14||879
|-
|[[Damas Gruska|doc. RNDr. Damas Gruska, PhD.]]||I 20||846
|-
|'''Department Secretary:'''
|-
|[[Elena Sikudova|RNDr. Elena Šikudová, PhD.]]||I 3||388
|-
|'''Secretary for IT:'''
|-
|[[Lubomir Lucan|graduated physicist Ľubomír Lúčan, PhD.]]||I 33a||374
|-
|'''Secretariate:'''
|-
|[[Zdenka Slobodova|Zdenka Slobodová]]||I 24b||424
|-
|tel. and fax: +421 2 654 22 263
|}
</blockquote>

===Section of Computer Graphics and Vision (SCGV)===
<blockquote>
{| style="font-size:9pt;"
|'''Head of Section:'''
|-
|width="400"|[[Roman Durikovic|doc. RNDr. Roman Ďurikovič, PhD.]]
|width="100"|I 14
|width="100"|879
|-
|'''Teachers:'''
|-
|[[Peter Borovsky|RNDr. Peter Borovský]]||I 4||441
|-
|[[Roman Durikovic|doc. RNDr. Roman Ďurikovič, PhD.]]||I 14||879
|-
|[[Milan Ftacnik|doc. RNDr. Milan Ftáčnik, CSc.]]||I 5||442
|-
|[[Lubomir Lucan|Ľubomír Lúčan, PhD.]]||I 33a||374
|-
|[[Martin Samuelcik|RNDr. Martin Samuelčík, PhD.]]||I 4||441
|-
|'''Researchers:'''
|-
|[[Zuzana Cernekova|RNDr. Zuzana Černeková, PhD.]]||I 3||388
|-
|[[Matej Novotny|Mgr. Matej Novotný, PhD.]]||I 4||441
|-
|[[Juraj Onderik|Mgr. Juraj Onderík, PhD.]]||M 113||729
|-
|[[Elena Sikudova|RNDr. Elena Šikudová, PhD.]]||I 3||388
|-
|[[Stanislav Stanek|RNDr. Stanislav Stanek, PhD.]]||I 3||388
|}
</blockquote>

===Section of Artificial Intelligence (SAI)===
<blockquote>
{| style="font-size:9pt;"
|'''Head of Section:'''
|-
|width="400"|[[Maria Markosova|doc. RNDr. Mária Markošová, PhD.]]
|width="100"|I 34
|width="100"|869
|-
|'''Teachers:'''
|-
|[[Igor Farkas|doc. Ing. Igor Farkaš, PhD.]]||I 35||621
|-
|[[Frantisek Gyarfas|Ing. František Gyárfáš, PhD.]]||I 17||436
|-
|[[Martin Homola|RNDr. Martin Homola, PhD.]]||I 7||444
|-
|[[Andrej Lucny|RNDr. Andrej Lúčny, PhD.]]||I 18||436
|-
|[[Maria Markosova|doc. RNDr. Mária Markošová, PhD.]]||I 34||374
|-
|[[Marek Nagy|RNDr. Marek Nagy, PhD.]]||I 42||625
|-
|[[Peter Nather|Mgr. Peter Náther, PhD.]]||I 6||443
|-
|[[Pavel Petrovic|Mgr. Pavel Petrovič, PhD.]]||I 19||
|-
|[[Jozef Siska|RNDr. Jozef Šiška, PhD.]]||I 7||444
|-
|[[Martin Takac|RNDr. Martin Takáč, PhD.]]||I 37||370
|-
|'''Researchers:'''
|-
|[[Jan Sefranek|doc. PhDr. Ján Šefránek, CSc.]]||I 17||389
|-
|[[Tomas Vinar|Mgr. Tomáš Vinař, PhD.]]||M 163||207
|}
</blockquote>

===Section of Declarative Programming (SDP)===
<blockquote>
{| style="font-size:9pt;"
|'''Head of Section:'''
|-
|width="400"|[[Damas Gruska|doc. RNDr. Damas Gruska, PhD.]]
|width="100"|I 20
|width="100"|846
|-
|'''Teachers:'''
|-
|[[Andrej Blaho|RNDr. Andrej Blaho, PhD.]]||I 5||442
|-
|[[Damas Gruska|doc. RNDr. Damas Gruska, PhD.]]||I 20||846
|-
|[[Dusan Guller|RNDr. Dušan Guller, PhD.]]||I 28||625
|-
|[[Tatiana Jajcayova|RNDr. Tatiana Jajcayová, PhD.]]||I 24a||278
|-
|[[Jan Kluka|Mgr. Ján Kľuka, PhD.]]||I 33b||374
|-
|[[Jan Komara|Ing. Ján Komara, PhD.]]||I 16||727
|-
|[[Marian Vittek|RNDr. Marián Vittek, PhD.]]||I 16||727
|-
|'''Researchers:'''
|-
|[[Peter Borovansky|RNDr. Peter Borovanský, PhD.]]||I 18||436
|}
</blockquote>

===Centre for Cognitive Science (CCS)===
<blockquote>
{| style="font-size:9pt;"
|-
|width="400"|[[Jan Rybar|doc. PhDr. Ján Rybár, PhD.]] ''(coordinator)''
|width="100"|I 25
|width="100"|672
|-
|[[Igor Farkas|doc. Ing. Igor Farkaš, PhD.]] ''(deputy coordinator)''||I 35||621
|-
|[[Barbora Cimrova|RNDr. Barbora Cimrová, PhD.]]||I 11||no phone
|-
|[[Dezider Kamhal|PhDr. Dezider Kamhal, PhD.]]||I 36||622
|-
|[[Pavel Petrovic|Mgr. Pavel Petrovič, PhD.]]||I 19||
|-
|[[Martin Takac|RNDr. Martin Takáč, PhD.]]||I 37||370
|}
</blockquote>

===Supporting Centre for Visually Handicapped Students===
<blockquote>
(integrated within Department, having a faculty-wide character)
{| style="font-size:9pt;"
|'''Head of Section:'''
|-
|width="400"|[[Elena Mendelova|PaedDr. Elena Mendelová, PhD.]]
|width="100"|I 40
|width="100"|166
|-
|'''Researchers:'''
|-
|[[Lucia Hanacikova|Mgr. Lucia Hanačíková]]||I 41||515
|-
|[[Elena Mendelova|PaedDr. Elena Mendelová, PhD.]]||I 40||166 65424862
|}
</blockquote>

===Doctoral students===
<blockquote>
{| style="font-size:9pt;"
|width="400"|[[Martin Balaz|RNDr. Martin Baláž]]
|width="100"|I 7
|width="100"|444
|-
|[[Martin Cajagi|Mgr. Martin Čajági]]||I 6||443
|-
|[[Viliam Dillinger|Mgr. Viliam Dillinger]]||I 42||625
|-
|[[Pavol Fabo|Mgr. Pavol Fabo]]||M 113||729
|-
|[[Jozef Frtus|Mgr. Jozef Frtús]]||I 7||444
|-
|[[Zuzana Haladova|Mgr. Zuzana Haladová]]||M 153||760
|-
|[[Michal Chladek|Mgr. Michal Chládek]]||M 113||729
|-
|[[Michal Hucko|Mgr. Michal Hučko]]||M 159||720
|-
|[[Matej Hudak|Mgr. Matej Hudák]]||M 162||133
|-
|[[Ivan Kolesar|Mgr. Ivan Kolesár]]||M 161||471
|-
|[[Michal Kovac|Mgr. Michal Kováč]]||M 101||836
|-
|[[Martin Kravec|Mgr. Martin Kravec]]||M 25||196
|-
|[[Julia Kucerova|Mgr. Júlia Kučerová]]||M 153||?
|-
|[[Martin Macko|Mgr. Martin Macko]]||M 25||
|-
|[[Martin Madaras|RNDr. Martin Madaras]]||M 113||729
|-
|[[Ludovit Malinovsky|Mgr. Ľudovít Malinovský]]||I 11||?
|-
|[[Jan Mikulas|Mgr. Ján Mikuláš]]|| ||
|-
|[[Mikulas Pataky|Mgr. Mikuláš Pataky]]||M 161||322
|-
|[[Peter Paulis|Mgr. Peter Paulis]] (sabatical)|| ||
|-
|[[Kristina Rebrova|Mgr. Kristína Rebrová]]||I 11||no phone
|-
|[[Karol Skocik|Ing. Karol Skočík]]||I 6||443
|-
|[[Juraj Starinsky|Mgr. Juraj Starinský]] (sabatical)|| ||
|-
|[[Alexander Simko|Ing. Alexander Šimko]]||I 11||no phone
|-
|[[Radoslav Skoviera|Mgr. Radoslav Škoviera]]||I 19||
|-
|[[Kristian Valentin|Mgr. Kristián Valentín]]||I 19||
|-
|[[Matej Vince|Mgr. Matej Vince]]||M 162||133
|-
|[[Michal Vince|Mgr. Michal Vince]]||I 6||
|-
|[[Martina Visnovska|Mgr. Martina Višnovská]] (sabatical)|| ||
|-
|[[Dusan Zervan|Ing. Dušan Zervan]] ||I 28||
|-
|[[Jan Zizka|Mgr. Ján Žižka]] (sabatical)|| ||
|}
</blockquote>

===External cooperating staff===
<blockquote>
{| style="font-size:9pt;"
|-
|width="400"|[[Brona Brejova|Mgr. Broňa Brejová, PhD.]]
|width="100"|
|width="100"|
|-
|width="400"|[[Jana Basnakova|Mgr. Jana Bašnáková, MSc.]]
|width="100"|
|width="100"|54773509
|-
|[[Vladimira Cavojova|PaedDr. Vladimíra Čavojová, PhD.]]
|-
|[http://www.ui42.sk/autori/martin-krupa.html?page_id=1633 Mgr. Martin Krupa], [http://www.ui42.sk/ ui42]
|-
|[http://www2.fiit.stuba.sk/~kvasnicka/ prof. Ing. Vladimír Kvasnička, DrSc.], [http://www.fiit.stuba.sk/ FIIT, STU]
|-
|[http://www.ui42.sk/autori/robert-mraz.html?page_id=1637 Mgr. Robert Mráz], [http://www.ui42.sk/ ui42]
|-
|[[Milos Mrva|Mgr. Miloš Mrva]]||I 6
|-
|[[Peter Novak|Mgr. Peter Novák, PhD.]]
|-
|[[Daniela Ostatnikova|prof. MUDr. Daniela Ostatníková, PhD.]]|| ||59357524
|-
|[[Julius Parulek|RNDr. Július Parulek]]||I 5||442
|-
|[[Jaroslav Polec|doc. Ing. Jaroslav Polec, CSc.]]||I 5||442
|-
|[[Martin Slota|Mgr. Martin Slota]]
|-
|[[Milos Sramek|prof. Ing. Miloš Šrámek, PhD.]]||I 5||442
|}
</blockquote>

===Alumni===

Previous employees and students of Department of Applied Informatics, previously Institute of Informatics maintain a dedicated page: [[DAI Alumni]]


1) Room 
2) Extension (from Slovakia, you can call 02-60295-extension; from abroad, the number is: +421-2-60295-extension)


__notoc__

People/en

2014-03-10T09:36:21Z

Homola: Added Martin Krupa & Robert Mraz (external collaborators)

= People =
=== Department Structure ===
<blockquote>
{| style="font-size:9pt;"
|'''Head of Department:'''
|-
|width="400"|[[Jan Rybar|doc. PhDr. Ján Rybár, PhD.]]
|width="100"|I 25 1)
|width="100"|672 2)
|-
|'''Vice-Head of Department:'''
|-
|[[Roman Durikovic|doc. RNDr. Roman Ďurikovič, PhD.]]||I 14||879
|-
|[[Damas Gruska|doc. RNDr. Damas Gruska, PhD.]]||I 20||846
|-
|'''Department Secretary:'''
|-
|[[Elena Sikudova|RNDr. Elena Šikudová, PhD.]]||I 3||388
|-
|'''Secretary for IT:'''
|-
|[[Lubomir Lucan|graduated physicist Ľubomír Lúčan, PhD.]]||I 33a||374
|-
|'''Secretariate:'''
|-
|[[Zdenka Slobodova|Zdenka Slobodová]]||I 24b||424
|-
|tel. and fax: +421 2 654 22 263
|}
</blockquote>

===Section of Computer Graphics and Vision (SCGV)===
<blockquote>
{| style="font-size:9pt;"
|'''Head of Section:'''
|-
|width="400"|[[Roman Durikovic|doc. RNDr. Roman Ďurikovič, PhD.]]
|width="100"|I 14
|width="100"|879
|-
|'''Teachers:'''
|-
|[[Peter Borovsky|RNDr. Peter Borovský]]||I 4||441
|-
|[[Roman Durikovic|doc. RNDr. Roman Ďurikovič, PhD.]]||I 14||879
|-
|[[Milan Ftacnik|doc. RNDr. Milan Ftáčnik, CSc.]]||I 5||442
|-
|[[Lubomir Lucan|Ľubomír Lúčan, PhD.]]||I 33a||374
|-
|[[Martin Samuelcik|RNDr. Martin Samuelčík, PhD.]]||I 4||441
|-
|'''Researchers:'''
|-
|[[Zuzana Cernekova|RNDr. Zuzana Černeková, PhD.]]||I 3||388
|-
|[[Matej Novotny|Mgr. Matej Novotný, PhD.]]||I 4||441
|-
|[[Juraj Onderik|Mgr. Juraj Onderík, PhD.]]||M 113||729
|-
|[[Elena Sikudova|RNDr. Elena Šikudová, PhD.]]||I 3||388
|-
|[[Stanislav Stanek|RNDr. Stanislav Stanek, PhD.]]||I 3||388
|}
</blockquote>

===Section of Artificial Intelligence (SAI)===
<blockquote>
{| style="font-size:9pt;"
|'''Head of Section:'''
|-
|width="400"|[[Maria Markosova|doc. RNDr. Mária Markošová, PhD.]]
|width="100"|I 34
|width="100"|869
|-
|'''Teachers:'''
|-
|[[Igor Farkas|doc. Ing. Igor Farkaš, PhD.]]||I 35||621
|-
|[[Frantisek Gyarfas|Ing. František Gyárfáš, PhD.]]||I 17||436
|-
|[[Martin Homola|RNDr. Martin Homola, PhD.]]||I 7||444
|-
|[[Andrej Lucny|RNDr. Andrej Lúčny, PhD.]]||I 18||436
|-
|[[Maria Markosova|doc. RNDr. Mária Markošová, PhD.]]||I 34||374
|-
|[[Marek Nagy|RNDr. Marek Nagy, PhD.]]||I 42||625
|-
|[[Peter Nather|Mgr. Peter Náther, PhD.]]||I 6||443
|-
|[[Pavel Petrovic|Mgr. Pavel Petrovič, PhD.]]||I 19||
|-
|[[Jozef Siska|RNDr. Jozef Šiška, PhD.]]||I 7||444
|-
|[[Martin Takac|RNDr. Martin Takáč, PhD.]]||I 37||370
|-
|'''Researchers:'''
|-
|[[Jan Sefranek|doc. PhDr. Ján Šefránek, CSc.]]||I 17||389
|-
|[[Tomas Vinar|Mgr. Tomáš Vinař, PhD.]]||M 163||207
|}
</blockquote>

===Section of Declarative Programming (SDP)===
<blockquote>
{| style="font-size:9pt;"
|'''Head of Section:'''
|-
|width="400"|[[Damas Gruska|doc. RNDr. Damas Gruska, PhD.]]
|width="100"|I 20
|width="100"|846
|-
|'''Teachers:'''
|-
|[[Andrej Blaho|RNDr. Andrej Blaho, PhD.]]||I 5||442
|-
|[[Damas Gruska|doc. RNDr. Damas Gruska, PhD.]]||I 20||846
|-
|[[Dusan Guller|RNDr. Dušan Guller, PhD.]]||I 28||625
|-
|[[Tatiana Jajcayova|RNDr. Tatiana Jajcayová, PhD.]]||I 24a||278
|-
|[[Jan Kluka|Mgr. Ján Kľuka, PhD.]]||I 33b||374
|-
|[[Jan Komara|Ing. Ján Komara, PhD.]]||I 16||727
|-
|[[Marian Vittek|RNDr. Marián Vittek, PhD.]]||I 16||727
|-
|'''Researchers:'''
|-
|[[Peter Borovansky|RNDr. Peter Borovanský, PhD.]]||I 18||436
|}
</blockquote>

===Centre for Cognitive Science (CCS)===
<blockquote>
{| style="font-size:9pt;"
|-
|width="400"|[[Jan Rybar|doc. PhDr. Ján Rybár, PhD.]] ''(coordinator)''
|width="100"|I 25
|width="100"|672
|-
|[[Igor Farkas|doc. Ing. Igor Farkaš, PhD.]] ''(deputy coordinator)''||I 35||621
|-
|[[Barbora Cimrova|RNDr. Barbora Cimrová, PhD.]]||I 11||no phone
|-
|[[Dezider Kamhal|PhDr. Dezider Kamhal, PhD.]]||I 36||622
|-
|[[Pavel Petrovic|Mgr. Pavel Petrovič, PhD.]]||I 19||
|-
|[[Martin Takac|RNDr. Martin Takáč, PhD.]]||I 37||370
|}
</blockquote>

===Supporting Centre for Visually Handicapped Students===
<blockquote>
(integrated within Department, having a faculty-wide character)
{| style="font-size:9pt;"
|'''Head of Section:'''
|-
|width="400"|[[Elena Mendelova|PaedDr. Elena Mendelová, PhD.]]
|width="100"|I 40
|width="100"|166
|-
|'''Researchers:'''
|-
|[[Lucia Hanacikova|Mgr. Lucia Hanačíková]]||I 41||515
|-
|[[Elena Mendelova|PaedDr. Elena Mendelová, PhD.]]||I 40||166 65424862
|}
</blockquote>

===Doctoral students===
<blockquote>
{| style="font-size:9pt;"
|width="400"|[[Martin Balaz|RNDr. Martin Baláž]]
|width="100"|I 7
|width="100"|444
|-
|[[Martin Cajagi|Mgr. Martin Čajági]]||I 6||443
|-
|[[Viliam Dillinger|Mgr. Viliam Dillinger]]||I 42||625
|-
|[[Pavol Fabo|Mgr. Pavol Fabo]]||M 113||729
|-
|[[Jozef Frtus|Mgr. Jozef Frtús]]||I 7||444
|-
|[[Zuzana Haladova|Mgr. Zuzana Haladová]]||M 153||760
|-
|[[Michal Chladek|Mgr. Michal Chládek]]||M 113||729
|-
|[[Michal Hucko|Mgr. Michal Hučko]]||M 159||720
|-
|[[Matej Hudak|Mgr. Matej Hudák]]||M 162||133
|-
|[[Ivan Kolesar|Mgr. Ivan Kolesár]]||M 161||471
|-
|[[Michal Kovac|Mgr. Michal Kováč]]||M 101||836
|-
|[[Martin Kravec|Mgr. Martin Kravec]]||M 25||196
|-
|[[Julia Kucerova|Mgr. Júlia Kučerová]]||M 153||?
|-
|[[Martin Macko|Mgr. Martin Macko]]||M 25||
|-
|[[Martin Madaras|RNDr. Martin Madaras]]||M 113||729
|-
|[[Ludovit Malinovsky|Mgr. Ľudovít Malinovský]]||I 11||?
|-
|[[Jan Mikulas|Mgr. Ján Mikuláš]]|| ||
|-
|[[Mikulas Pataky|Mgr. Mikuláš Pataky]]||M 161||322
|-
|[[Peter Paulis|Mgr. Peter Paulis]] (sabatical)|| ||
|-
|[[Kristina Rebrova|Mgr. Kristína Rebrová]]||I 11||no phone
|-
|[[Karol Skocik|Ing. Karol Skočík]]||I 6||443
|-
|[[Juraj Starinsky|Mgr. Juraj Starinský]] (sabatical)|| ||
|-
|[[Alexander Simko|Ing. Alexander Šimko]]||I 11||no phone
|-
|[[Radoslav Skoviera|Mgr. Radoslav Škoviera]]||I 19||
|-
|[[Kristian Valentin|Mgr. Kristián Valentín]]||I 19||
|-
|[[Matej Vince|Mgr. Matej Vince]]||M 162||133
|-
|[[Michal Vince|Mgr. Michal Vince]]||I 6||
|-
|[[Martina Visnovska|Mgr. Martina Višnovská]] (sabatical)|| ||
|-
|[[Dusan Zervan|Ing. Dušan Zervan]] ||I 28||
|-
|[[Jan Zizka|Mgr. Ján Žižka]] (sabatical)|| ||
|}
</blockquote>

===External cooperating staff===
<blockquote>
{| style="font-size:9pt;"
|-
|width="400"|[[Brona Brejova|Mgr. Broňa Brejová, PhD.]]
|width="100"|
|width="100"|
|-
|width="400"|[[Jana Basnakova|Mgr. Jana Bašnáková, MSc.]]
|width="100"|
|width="100"|54773509
|-
|[[Vladimira Cavojova|PaedDr. Vladimíra Čavojová, PhD.]]
|-
|[http://www.ui42.sk/autori/martin-krupa.html?page_id=1633 Mgr. Martin Krupa], [http://www.ui42.sk/ ui42]
|-
|[[Vladimir Kvasnicka|prof. Ing. Vladimír Kvasnička, DrSc.]]
|-
|[http://www.ui42.sk/autori/robert-mraz.html?page_id=1637 Mgr. Robert Mráz], [http://www.ui42.sk/ ui42]
|-
|[[Milos Mrva|Mgr. Miloš Mrva]]||I 6
|-
|[[Peter Novak|Mgr. Peter Novák, PhD.]]
|-
|[[Daniela Ostatnikova|prof. MUDr. Daniela Ostatníková, PhD.]]|| ||59357524
|-
|[[Julius Parulek|RNDr. Július Parulek]]||I 5||442
|-
|[[Jaroslav Polec|doc. Ing. Jaroslav Polec, CSc.]]||I 5||442
|-
|[[Martin Slota|Mgr. Martin Slota]]
|-
|[[Milos Sramek|prof. Ing. Miloš Šrámek, PhD.]]||I 5||442
|}
</blockquote>

===Alumni===

Previous employees and students of Department of Applied Informatics, previously Institute of Informatics maintain a dedicated page: [[DAI Alumni]]


1) Room 
2) Extension (from Slovakia, you can call 02-60295-extension; from abroad, the number is: +421-2-60295-extension)


__notoc__

Course KRR

2014-02-18T09:15:43Z

Homola:

'''This page is under revision. Stay tuned...'''

Course KRR

2014-02-18T09:15:28Z

Homola:

'''This page is under revision. Stay tuned'''

Course KRR

2014-02-18T09:15:10Z

Homola: Hiding contents

'''This page is under revision.'''

Súbor:CompLog2013-Exercises-5-FOL.pdf

2013-10-31T23:57:33Z

Homola:

Súbor:CompLog2013-Exercises-4-FOL.pdf

2013-10-31T23:57:11Z

Homola:

Course CompLog

2013-10-31T23:56:42Z

Homola: Added labs 4 and 5

Súbor:CompLog2013-Lecture-6-More-DLs-and-Apps.pdf

2013-10-31T23:29:56Z

Homola: CompLog 2013, lecture 6: More DLs (up to SROIQ) and some of their applications.

CompLog 2013, lecture 6: More DLs (up to SROIQ) and some of their applications.

Súbor:CompLog2013-Lecture-5-Reasoning-with-DL.pdf

2013-10-31T23:28:37Z

Homola: CompLog 2013, lecture 5: Tableau algorithm for description logics

CompLog 2013, lecture 5: Tableau algorithm for description logics

Course CompLog

2013-10-31T23:27:37Z

Homola: Added lextures 5 and 6

Course CompLog

2013-10-23T12:57:11Z

Homola: Projects link added

Súbor:CompLog2013-Lecture-4-Description-Logics.pdf

2013-10-21T12:10:33Z

Homola: CompLog 2013, lecture 4: Ontologies, Description Logics, ALC

CompLog 2013, lecture 4: Ontologies, Description Logics, ALC

Course CompLog

2013-10-21T12:06:51Z

Homola: Added lecture 4

Súbor:CompLog2013-Lecture-2-Reasoning-with-FOL.pdf

2013-10-02T08:45:19Z

Homola: CompLog 2013, lecture 2: Proof, Hilbert calculus, resolution.

CompLog 2013, lecture 2: Proof, Hilbert calculus, resolution.

Course CompLog

2013-10-02T08:43:35Z

Homola: added lecture 2

Súbor:CompLog2013-Lecture-1-FOL.pdf

2013-09-25T12:20:56Z

Homola: Computational Logic, lecture 1: Introduction to First Order Logic (FOL). Syntax and Semantics.

Computational Logic, lecture 1: Introduction to First Order Logic (FOL). Syntax and Semantics.

Course CompLog

2013-09-25T11:55:05Z

Homola: Grading fix

Súbor:KRR2013-Lecture-11-Abduction.pdf

2013-06-18T12:49:47Z

Homola: Lecture slides: KRR2013, lecture 11: Abduction

Lecture slides: KRR2013, lecture 11: Abduction

Course KRR

2013-06-18T12:47:43Z

Homola: added lecuture 11

Knowledge Representation and Reasoning (course homepage)

*Lectures: Martin Baláž, Martin Homola
*Labs: Alexander Šimko

*Evaluation: [https://docs.google.com/spreadsheet/ccc?key=0Ai_OUoCwIBGsdGpwY19IZ2JJSHNRTTgtSXN6ZXBTb0E&usp=sharing Google Doc]

== Course outline ==

* From databases to KR&R
* From deduction to hypothetical reasoning
* Preferences
* Knowledge revision
* Induction
* Abduction

== Prerequisites ==

It is vital, that you have some prior knowledge about First Order Logic, Description Logics, and Logic Programs (especially ASP). If you passed [[Course_CompLog|Computational Logic]] before, you should be just fine. If you need to refresh your knowledge here, you can either look at the [[Course_CompLog#Lecture_Slides|slides]] from Computational Logic, or in the recommended literature as listed below.

==Literature==

Following references cover the course content extensively and in further details. You're not expected to study all references listed here start-to-end, instead see references in lecture slides where to get more information on a given subject.

# Baader et al.: [http://www.cambridge.org/gb/knowledge/isbn/item5010366/ The Description Logic Handbook: Theory, Implementation and Applications.] Oxford University Press, 2nd ed., 2003.
# Calvanese, D., De Giacomo, G., Lenzerini, M., Nardi, D., Rosati, R.: [http://www.dis.uniroma1.it/~rosati/publications/Calvanese-etal-KR-98.pdf Description logic framework for information integration]. In: KR 1998, Morgan Kaufmann 1998.
# Calvanese, D., Lenzerini, M., Nardi, D.: [http://web.inf.unibz.it/~calvanese/papers/calv-lenz-nard-JAIR-99.pdf Unifying class-based representation formalisms]. J. Artif. Intell. Res. (JAIR) 11, 199-240, 1999.
# Catarci, T., Lenzerini, M,: [http://disi.unitn.it/~p2p/RelatedWork/Matching/62257.pdf Representing and using interschema knowledge in cooperative information systems]. Int. J. Cooperative Inf. Syst. 2(4), 375-398, 1993.
# Šefránek, J.:[http://www.ii.fmph.uniba.sk/~sefranek/kniha/temp/fasada.pdf Inteligencia ako výpočet.] IRIS, 2000.

== Evaluation ==

Evaluation points:

*Midterm: 10
*Exam: 30 (min 10)
*Project: 25 (min 10)
*Labs: 10 (min 3)
*TOTAL: 75

Evaluation scale:

* 67 and more: A
* 59 and more: B
* 52 and more: C
* 45 and more: D
* 39 and more: E

== Project ==

The [http://wiki.matfyz.sk/KRR2013_Projekty project assignment] can now be found in the student's wiki.

== Lecture Slides ==

* [[File:KRR2013-Lecture-1-intro.pdf]]
* [[File:KRR2013-Lecture-2-DL.pdf]]
* [[File:KRR2013-Lecture-3-ER-vs-DL.pdf]]
* [[File:KRR2013-Lecture-4-Relations-btwn-DB-schemas.pdf]]
* [[File:KRR2013-Lecture-5-Deductive-Databases.pdf]]
* [[File:KRR2013-Lecture-6-Hypothetical-Reasoning.pdf]]
* [[File:KRR2013-Lecture-7-Reasoning-with-Incomplete-Knowledge.pdf]]
* [[File:KRR2013-Lecture-8-Reasoning-with-Inconsistent-Knowledge.pdf]]
* [[File:KRR2013-Lecture-9-NMR-characterization.pdf]]
* [[File:KRR2013-Lecture-10-Induction.pdf]]
* [[File:KRR2013-Lecture-11-Abduction.pdf]]

== Labs ==

* [[File:Cv01dopyty.pdf]]
* [[File:Cv02dl.pdf]]
* [[File:Cv03ers2dl.pdf]]
* [[File:Cv04ers2dl2.pdf‎]]
* [[File:Cv05lp.pdf‎]]
* [[File:Cv06defl.pdf‎]]
* [[File:Cv08as.pdf‎]]
* [[File:Cv09nn.pdf]]
* [[File:Cv10pi.pdf]]
* [[File:Cv11ab.pdf]]

There was a problem with the second quiz. You can find a correct solution in [[File:R02riesenie.pdf]].

Súbor:KRR2013-Lecture-10-Induction.pdf

2013-05-05T15:57:26Z

Homola: Lecture slides: KRR2013, lecture 10. Inductive reasoning, theta subsumption.

Lecture slides: KRR2013, lecture 10. Inductive reasoning, theta subsumption.

Course KRR

2013-05-05T15:56:04Z

Homola: adding lecture 10

Knowledge Representation and Reasoning (course homepage)

*Lectures: Martin Baláž, Martin Homola
*Labs: Alexander Šimko

*Evaluation: [https://docs.google.com/spreadsheet/ccc?key=0Ai_OUoCwIBGsdGpwY19IZ2JJSHNRTTgtSXN6ZXBTb0E&usp=sharing Google Doc]

== Course outline ==

* From databases to KR&R
* From deduction to hypothetical reasoning
* Preferences
* Knowledge revision
* Induction
* Abduction

== Prerequisites ==

It is vital, that you have some prior knowledge about First Order Logic, Description Logics, and Logic Programs (especially ASP). If you passed [[Course_CompLog|Computational Logic]] before, you should be just fine. If you need to refresh your knowledge here, you can either look at the [[Course_CompLog#Lecture_Slides|slides]] from Computational Logic, or in the recommended literature as listed below.

==Literature==

Following references cover the course content extensively and in further details. You're not expected to study all references listed here start-to-end, instead see references in lecture slides where to get more information on a given subject.

# Baader et al.: [http://www.cambridge.org/gb/knowledge/isbn/item5010366/ The Description Logic Handbook: Theory, Implementation and Applications.] Oxford University Press, 2nd ed., 2003.
# Calvanese, D., De Giacomo, G., Lenzerini, M., Nardi, D., Rosati, R.: [http://www.dis.uniroma1.it/~rosati/publications/Calvanese-etal-KR-98.pdf Description logic framework for information integration]. In: KR 1998, Morgan Kaufmann 1998.
# Calvanese, D., Lenzerini, M., Nardi, D.: [http://web.inf.unibz.it/~calvanese/papers/calv-lenz-nard-JAIR-99.pdf Unifying class-based representation formalisms]. J. Artif. Intell. Res. (JAIR) 11, 199-240, 1999.
# Catarci, T., Lenzerini, M,: [http://disi.unitn.it/~p2p/RelatedWork/Matching/62257.pdf Representing and using interschema knowledge in cooperative information systems]. Int. J. Cooperative Inf. Syst. 2(4), 375-398, 1993.
# Šefránek, J.:[http://www.ii.fmph.uniba.sk/~sefranek/kniha/temp/fasada.pdf Inteligencia ako výpočet.] IRIS, 2000.

== Evaluation ==

Evaluation points:

*Midterm: 10
*Exam: 30 (min 10)
*Project: 25 (min 10)
*Labs: 10 (min 3)
*TOTAL: 75

Evaluation scale:

* 67 and more: A
* 59 and more: B
* 52 and more: C
* 45 and more: D
* 39 and more: E

== Project ==

The [http://wiki.matfyz.sk/KRR2013_Projekty project assignment] can now be found in the student's wiki.

== Lecture Slides ==

* [[File:KRR2013-Lecture-1-intro.pdf]]
* [[File:KRR2013-Lecture-2-DL.pdf]]
* [[File:KRR2013-Lecture-3-ER-vs-DL.pdf]]
* [[File:KRR2013-Lecture-4-Relations-btwn-DB-schemas.pdf]]
* [[File:KRR2013-Lecture-5-Deductive-Databases.pdf]]
* [[File:KRR2013-Lecture-6-Hypothetical-Reasoning.pdf]]
* [[File:KRR2013-Lecture-7-Reasoning-with-Incomplete-Knowledge.pdf]]
* [[File:KRR2013-Lecture-8-Reasoning-with-Inconsistent-Knowledge.pdf]]
* [[File:KRR2013-Lecture-9-NMR-characterization.pdf]]
* [[File:KRR2013-Lecture-10-Induction.pdf]]

== Labs ==

* [[File:Cv01dopyty.pdf]]
* [[File:Cv02dl.pdf]]
* [[File:Cv03ers2dl.pdf]]
* [[File:Cv04ers2dl2.pdf‎]]
* [[File:Cv05lp.pdf‎]]
* [[File:Cv06defl.pdf‎]]
* [[File:Cv08as.pdf‎]]
* [[File:Cv09nn.pdf]]

There was a problem with the second quiz. You can find a correct solution in [[File:R02riesenie.pdf]].

Course KRR

2013-04-29T20:00:11Z

Homola: Added lecture slides (lecture 9)

Knowledge Representation and Reasoning (course homepage)

*Lectures: Martin Baláž, Martin Homola
*Labs: Alexander Šimko

*Evaluation: [https://docs.google.com/spreadsheet/ccc?key=0Ai_OUoCwIBGsdGpwY19IZ2JJSHNRTTgtSXN6ZXBTb0E&usp=sharing Google Doc]

== Course outline ==

* From databases to KR&R
* From deduction to hypothetical reasoning
* Preferences
* Knowledge revision
* Induction
* Abduction

== Prerequisites ==

It is vital, that you have some prior knowledge about First Order Logic, Description Logics, and Logic Programs (especially ASP). If you passed [[Course_CompLog|Computational Logic]] before, you should be just fine. If you need to refresh your knowledge here, you can either look at the [[Course_CompLog#Lecture_Slides|slides]] from Computational Logic, or in the recommended literature as listed below.

==Literature==

Following references cover the course content extensively and in further details. You're not expected to study all references listed here start-to-end, instead see references in lecture slides where to get more information on a given subject.

# Baader et al.: [http://www.cambridge.org/gb/knowledge/isbn/item5010366/ The Description Logic Handbook: Theory, Implementation and Applications.] Oxford University Press, 2nd ed., 2003.
# Calvanese, D., De Giacomo, G., Lenzerini, M., Nardi, D., Rosati, R.: [http://www.dis.uniroma1.it/~rosati/publications/Calvanese-etal-KR-98.pdf Description logic framework for information integration]. In: KR 1998, Morgan Kaufmann 1998.
# Calvanese, D., Lenzerini, M., Nardi, D.: [http://web.inf.unibz.it/~calvanese/papers/calv-lenz-nard-JAIR-99.pdf Unifying class-based representation formalisms]. J. Artif. Intell. Res. (JAIR) 11, 199-240, 1999.
# Catarci, T., Lenzerini, M,: [http://disi.unitn.it/~p2p/RelatedWork/Matching/62257.pdf Representing and using interschema knowledge in cooperative information systems]. Int. J. Cooperative Inf. Syst. 2(4), 375-398, 1993.
# Šefránek, J.:[http://www.ii.fmph.uniba.sk/~sefranek/kniha/temp/fasada.pdf Inteligencia ako výpočet.] IRIS, 2000.

== Evaluation ==

Evaluation points:

*Midterm: 10
*Exam: 30 (min 10)
*Project: 25 (min 10)
*Labs: 10 (min 3)
*TOTAL: 75

Evaluation scale:

* 67 and more: A
* 59 and more: B
* 52 and more: C
* 45 and more: D
* 39 and more: E

== Project ==

The [http://wiki.matfyz.sk/KRR2013_Projekty project assignment] can now be found in the student's wiki.

== Lecture Slides ==

* [[File:KRR2013-Lecture-1-intro.pdf]]
* [[File:KRR2013-Lecture-2-DL.pdf]]
* [[File:KRR2013-Lecture-3-ER-vs-DL.pdf]]
* [[File:KRR2013-Lecture-4-Relations-btwn-DB-schemas.pdf]]
* [[File:KRR2013-Lecture-5-Deductive-Databases.pdf]]
* [[File:KRR2013-Lecture-6-Hypothetical-Reasoning.pdf]]
* Lecture 7 (to appear)
* Lecture 8 (to appear)
* [[File:KRR2013-Lecture-9-NMR-characterization.pdf]]

== Labs ==

* [[File:Cv01dopyty.pdf]]
* [[File:Cv02dl.pdf]]
* [[File:Cv03ers2dl.pdf]]
* [[File:Cv04ers2dl2.pdf‎]]
* [[File:Cv05lp.pdf‎]]
* [[File:Cv06defl.pdf‎]]
* [[File:Cv08as.pdf‎]]
* [[File:Cv09nn.pdf]]

There was a problem with the second quiz. You can find a correct solution in [[File:R02riesenie.pdf]].

Súbor:KRR2013-Lecture-9-NMR-characterization.pdf

2013-04-29T19:58:11Z

Homola: Lecture slides: KRR2013, lecture 9. Characterization of Non-Monotonic Reasoning.

Lecture slides: KRR2013, lecture 9. Characterization of Non-Monotonic Reasoning.

Course KRR

2013-04-04T08:34:24Z

Homola: Adding literature from the first 4 lectures

Knowledge Representation and Reasoning (course homepage)

*Lectures: Martin Baláž, Martin Homola
*Labs: Alexander Šimko

*Evaluation: [https://docs.google.com/spreadsheet/ccc?key=0Ai_OUoCwIBGsdGpwY19IZ2JJSHNRTTgtSXN6ZXBTb0E&usp=sharing Google Doc]

== Course outline ==

* From databases to KR&R
* From deduction to hypothetical reasoning
* Preferences
* Knowledge revision
* Induction
* Abduction

== Prerequisites ==

It is vital, that you have some prior knowledge about First Order Logic, Description Logics, and Logic Programs (especially ASP). If you passed [[Course_CompLog|Computational Logic]] before, you should be just fine. If you need to refresh your knowledge here, you can either look at the [[Course_CompLog#Lecture_Slides|slides]] from Computational Logic, or in the recommended literature as listed below.

==Literature==

Following references cover the course content extensively and in further details. You're not expected to study all references listed here start-to-end, instead see references in lecture slides where to get more information on a given subject.

# Baader et al.: [http://www.cambridge.org/gb/knowledge/isbn/item5010366/ The Description Logic Handbook: Theory, Implementation and Applications.] Oxford University Press, 2nd ed., 2003.
# Calvanese, D., De Giacomo, G., Lenzerini, M., Nardi, D., Rosati, R.: [http://www.dis.uniroma1.it/~rosati/publications/Calvanese-etal-KR-98.pdf Description logic framework for information integration]. In: KR 1998, Morgan Kaufmann 1998.
# Calvanese, D., Lenzerini, M., Nardi, D.: [http://web.inf.unibz.it/~calvanese/papers/calv-lenz-nard-JAIR-99.pdf Unifying class-based representation formalisms]. J. Artif. Intell. Res. (JAIR) 11, 199-240, 1999.
# Catarci, T., Lenzerini, M,: [http://disi.unitn.it/~p2p/RelatedWork/Matching/62257.pdf Representing and using interschema knowledge in cooperative information systems]. Int. J. Cooperative Inf. Syst. 2(4), 375-398, 1993.
# Šefránek, J.:[http://www.ii.fmph.uniba.sk/~sefranek/kniha/temp/fasada.pdf Inteligencia ako výpočet.] IRIS, 2000.

== Evaluation ==

Evaluation points:

*Midterm: 10
*Exam: 30 (min 10)
*Project: 25 (min 10)
*Labs: 10 (min 3)
*TOTAL: 75

Evaluation scale:

* 67 and more: A
* 59 and more: B
* 52 and more: C
* 45 and more: D
* 39 and more: E

== Project ==

The [http://wiki.matfyz.sk/KRR2013_Projekty project assignment] can now be found in the student's wiki.

== Lecture Slides ==

* [[File:KRR2013-Lecture-1-intro.pdf]]
* [[File:KRR2013-Lecture-2-DL.pdf]]
* [[File:KRR2013-Lecture-3-ER-vs-DL.pdf]]
* [[File:KRR2013-Lecture-4-Relations-btwn-DB-schemas.pdf]]

== Labs ==

* [[File:Cv01dopyty.pdf]]
* [[File:Cv02dl.pdf]]
* [[File:Cv03ers2dl.pdf]]
* [[File:Cv04ers2dl2.pdf‎]]
* [[File:Cv05lp.pdf‎]]
* [[File:Cv06defl.pdf‎]]

S druhou rozcvičkou boli trochu problémy, hlavne v korektnom zápise sledu argumentov. Jeden z môžných dôkazov nájdete v [[File:R02riesenie.pdf]]

Súbor:KRR2013-Lecture-4-Relations-btwn-DB-schemas.pdf

2013-04-04T08:12:07Z

Homola: Lecture slides: KRR2013, lecture 4. Modelling relations between database schemas with description logics.

Lecture slides: KRR2013, lecture 4. Modelling relations between database schemas with description logics.

Course KRR

2013-04-04T08:09:37Z

Homola: Adding slides from lecture 4

Course KRR

2013-03-10T21:08:13Z

Homola: projects

Course CompLog

2013-03-05T13:51:45Z

Homola: Structure updated

This is the homepage of '''2-AIN-108 Computational Logic''' course in the Master program of Applied Informatics.

* Lecturers: Martin Baláž, Martin Homola
* Lab assistants: Martin Baláž, Jozef Frtús
* Schedule: Tue 9:50 F1-328 (lectures), Wed 13:10 M-V (labs) Thu 8:10 M-XI (labs)
* '''New:''' [http://wiki.matfyz.sk/CompLog2012_Projekty Project assignments] (student's wiki)
* '''New:''' Lab Evaluation: [https://docs.google.com/spreadsheet/pub?key=0AnoXnHbSHpPudEVwc0VnUXBjTmZiZTdjelE3djhfNGc&single=true&gid=0&output=html Google Doc]

Note: it is likely that due to low number of students this year one of the lab sessions will be cancelled

== Syllabus ==

# First Order Logic
# Description logics and ontologies
# Logic programming
# Dynamic logic
# Argumentation
# Multi-context systems (*)

== Evaluation ==

* Midterm: 10 pints
* Exam: 30 points (min 10)
* Labs: 10 points (min 3)
* Project/Homework: 5 points (min 1)
* '''Total:''' 55 points

Grading:

* A: 47 and more points
* B: 41 and more points
* C: 35 and more points
* D: 29 and more points
* E: 23 and more points
* Fx: less than 23 points

== Lecture Slides ==
# [[File:CompLog2012-Lecture-1-FOL.pdf|First Order Logic, Syntax and Semanics]] (Updated 9 Oct: some notational fixes)
# [[File:CompLog2012-Lecture-2-Reasoning-with-FOL.pdf|Calculus, Resolution]]
# [[File:CompLog2012-Lecture-3-DL.pdf|Ontologies, Description Logics]]
# [[File:CompLog2012-Lecture-4-Reasoning-with-DL.pdf|Tableau reasoning algorithm for ALC DL]]
# [[File:CompLog2012-Lecture-5-Logic Programming.pdf|Logic Programming]]
# [[File:CompLog2012-Lecture-6-Prolog.pdf|Prolog]]
# [[File:CompLog2012-Lecture-7-ASP.pdf|Answer Set Programming]]
# [[File:CompLog2012-Lecture-8-AAF.pdf|Abstract Argumentation Frameworks]] (Updated 5 Dec: fixed definition of admissible set)
# [[File:CompLog2012-Lecture-9-SAF.pdf|Structured Argumentation Frameworks]]

== Exercises ==
# [[File:Exercises-1-FOL.pdf]]
# [[File:Exercises-2-FOL.pdf]]
# [[File:Exercises-3-DL.pdf‎]]
# [[File:Exercises-4-DL.pdf‎]]
# [[File:Exercises-5-DL.pdf‎]]
# [[File:Exercises-6-LP.pdf‎]]
# [[File:Exercises-7-LP.pdf‎]]
# [[File:Exercises-8-LP.pdf‎]] [http://ii.fmph.uniba.sk/~sefranek/kri/stabModely.pdf collection of exercises: stable models]
# [[File:Exercises-9-LP.pdf‎]]
# [[File:Exercises-10-ARG.pdf‎]]

Course KRR

2013-03-05T13:51:09Z

Homola: Some info on prerequisites

Course KRR

2013-03-05T13:40:12Z

Homola: Addind DL Handbook into literature.

Course KRR

2013-03-05T13:33:30Z

Homola: Cleaning out junk from last year (it is archived...)