The KR research group at DAI, chaired by Ján Šefránek, is concerned with (mostly theoretical) research in Knowledge Representation and Reasoning(KR&R).

Group Focus

Our main interests within KR&R include:

  • Non-monotonic logics and non-monotonic reasoning
  • Knowledge revision
  • Answer set programming
  • Dynamic logic programming
  • Semantic Web
  • Ontologies

Group Members


KR Group orgainizes irregular sessions of the KR Seminar where the group members and sometimes invited speakes present latest advances in their research.


Selected Recent Publications

Revision as of 11:15, 23 October 2008 by Homola (Talk | contribs)