Riadok 1: Riadok 1:
The KR research group at [[Profile|DAI]], chaired by Ján Šefránek, is concerned with (mostly theoretical) research in Knowledge Representation (KR).
+
The KR research group at [[Profile|DAI]], chaired by Ján Šefránek, is concerned with (mostly theoretical) research in Knowledge Representation and Reasoning(KR&R).
  
 
== Group Focus ==
 
== Group Focus ==

Verzia zo dňa a času 11:10, 23. október 2008

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