Jozef Siska/sk: Rozdiel medzi revíziami
(+Mat4-LPI) |
|||
| (Jedna medziľahlá úprava od jedného ďalšieho používateľa nie je zobrazená) | |||
| Riadok 12: | Riadok 12: | ||
=== Výučba === | === Výučba === | ||
| + | * [[Course:Mathematics 4|Matematika (4) – Logika pre informatikov]] | ||
* [[Answer Set Programming|Logické programovanie ASP]] | * [[Answer Set Programming|Logické programovanie ASP]] | ||
| Riadok 19: | Riadok 20: | ||
=== Publikácie === | === Publikácie === | ||
| − | * | + | * [http://dai.fmph.uniba.sk/~siska/ pozri homepage] |
}} | }} | ||
Aktuálna revízia z 23:26, 24. február 2016
Jozef Šiška
|
|
Výučba
Výskum
- knowledge representation, KR_Group
- logic programming, answer set programming