Jozef Šiška
|
Výučba
- Matematika (4) – Logika pre informatikov
- Logické programovanie ASP
- Programovanie v operačných systémoch
- Embedded Linux
Výskum
- knowledge representation, KR_Group
- logic programming, answer set programming
- témy na bakalárske / diplomové práce