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 include:

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

Group Members

Activities

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

Projects

Selected Recent Publications

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