d |
(Pridane programovanie v op. sys. do vyucby (EN)) |
||
Riadok 12: | Riadok 12: | ||
=== Teaching === | === Teaching === | ||
+ | * [[Course:Mathematics 4|Mathematics 4]] | ||
* [[Answer Set Programming]] | * [[Answer Set Programming]] | ||
− | + | * [http://dai.fmph.uniba.sk/~siska/osprog/ Programming in Operating Systems] | |
=== Research === | === Research === | ||
* knowledge representation, [[KR_Group]] | * knowledge representation, [[KR_Group]] |
Verzia zo dňa a času 18:51, 1. november 2016
Jozef Šiška
|
Teaching
Research
- knowledge representation, KR_Group
- logic programming, answer set programming