Zobrazenie zdroja stránky KR Group Nemáte oprávnenie upravovať túto stránku z nasledovných dôvodov: Činnosť, ktorú požadujete, môže vykonať iba člen skupiny: Používatelia. Činnosť, ktorú požadujete, môže vykonať iba člen skupiny: Používatelia. Môžete si zobraziť a kopírovať zdroj tejto stránky: The KR research group at [[Profile|DAI]], chaired by Ján Šefránek, is concerned with (mostly theoretical) research in Knowledge Representation (KR). == Group Focus == Our main interests within KR include: * Non-monotonic logics and non-monotonic reasoning. * Answer Set Programming * Dynamic Logic Programming * Semantic Web * Ontologies == Group Members == *Ján Šefránek (group chair) *Martin Baláž *Martin Homola *Michal Malý *Peter Klimo *Jozef Šiška Späť na KR Group. ← KR Group