Line 14: Line 14:
 
== Activities ==
 
== Activities ==
  
KR Group orgainizes irregular sessions of the [[KR Seminar].
+
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 ==
 
== Group Members ==

Revision as of 10:59, 23 October 2008

The KR research group at 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