You do not have permission to edit this page, for the following reasons:

• The action you have requested is limited to users in the group: Users.
• The action you have requested is limited to users in the group: Users.

---

You can view and copy the source of this page.

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 == Group Members == *Ján Šefránek (group chair) *Martin Baláž *Martin Homola *Michal Malý *Peter Klimo *Jozef Šiška

Return to KR Group.

← KR Group