m |
(Pridane programovanie v op. sys. do vyucby (EN)) |
||
| Line 12: | Line 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]] | ||
Revision as of 18:51, 1 November 2016
Jozef Šiška
|
|
Teaching
Research
- knowledge representation, KR_Group
- logic programming, answer set programming