Difference between revisions of "Jozef Siska/sk"
(+Mat4-LPI) |
|||
| (One intermediate revision by one other user not shown) | |||
| Line 12: | Line 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]] | ||
| Line 19: | Line 20: | ||
=== Publikácie === | === Publikácie === | ||
| − | * | + | * [http://dai.fmph.uniba.sk/~siska/ pozri homepage] |
}} | }} | ||
Latest revision as of 22:26, 24 February 2016
Jozef Šiška
|
|
Výučba
Výskum
- knowledge representation, KR_Group
- logic programming, answer set programming