The KR research group at DAI, chaired by Ján Šefránek, is concerned with (mostly theoretical) research in Knowledge Representation (KR).
Our main interests within KR include:
- Non-monotonic logics and non-monotonic reasoning
- Knowledge revision
- Answer set programming
- Dynamic logic programming
- Semantic Web
KR Group orgainizes irregular sessions of the [[KR Seminar].
- Ján Šefránek (group chair)
Revision as of 11:57, 23 October 2008 by Homola