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 == Activities == KR Group orgainizes irregular sessions of the [[KR Seminar]] where the group members and sometimes invited speakes present latest advances in their research. == 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]

Return to KR Group.

← KR Group