(nova linka na konzultacie) |
(linka na bakdipl tempy) |
||
| Line 21: | Line 21: | ||
* knowledge representation, [[KR_Group]] | * knowledge representation, [[KR_Group]] | ||
* logic programming, answer set programming | * logic programming, answer set programming | ||
| + | * [https://dai.fmph.uniba.sk/~siska/temy/ témy na bakalárske / diplomové práce] | ||
=== Publikácie === | === Publikácie === | ||
* [http://dai.fmph.uniba.sk/~siska/ pozri homepage] | * [http://dai.fmph.uniba.sk/~siska/ pozri homepage] | ||
}} | }} | ||
Revision as of 15:24, 24 September 2019
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