Line 1: Line 1:
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).
+
[[Image:kr.png|right]] 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 ==
  
Our main interests within KR include:
+
Our main interests within KR&R include:
  
 
* Non-monotonic logics and non-monotonic reasoning
 
* Non-monotonic logics and non-monotonic reasoning

Revision as of 12:15, 23 October 2008

Kr.png
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

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