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 * Knowledge revision * Answer set programming * Dynamic logic programming * Semantic Web * Ontologies == Activities == KR Group orgainizes irregular sessions of the [[KR Seminar]. == Group Members == *[http://ii.fmph.uniba.sk/~sefranek/ Ján Šefránek] (group chair) *[http://ii.fmph.uniba.sk/~balaz/ Martin Baláž] *[http://ii.fmph.uniba.sk/~homola/ Martin Homola] *Michal Malý *Peter Klimo *[http://ii.fmph.uniba.sk/~siska/ Jozef Šiška] Späť na KR Group. ← KR Group