(linka na osprog) |
(pridany embeddedlinux) |
||
Riadok 16: | Riadok 16: | ||
* [[Answer Set Programming]] | * [[Answer Set Programming]] | ||
* [[Course:OsProg|Programming in Operating Systems]] | * [[Course:OsProg|Programming in Operating Systems]] | ||
+ | * [[Course:Embedded_Linux|Embedded Linux]] | ||
=== Research === | === Research === | ||
* knowledge representation, [[KR_Group]] | * knowledge representation, [[KR_Group]] |
Verzia zo dňa a času 18:12, 24. júl 2019
Jozef Šiška
|
Teaching
Research
- knowledge representation, KR_Group
- logic programming, answer set programming