(pell-Czech)
Line 25: Line 25:
 
== Activities ==
 
== Activities ==
  
KR Group orgainizes irregular sessions of the [[KR Seminar]] where the group members and sometimes invited speakes present latest advances in their research.
+
KR Group organizes irregular sessions of the [[KR Seminar]] where the group members and sometimes invited speakers present latest advances in their research.
  
 
== Projects ==
 
== Projects ==
  
* ''Surveying and improving semantic properties of distributed onotlogies.'' Project no. UK/365/2008 awarded by Comenius University. Narowly focused project aming at comparing differnt existing formalisms for representing distributed ontologies.
+
* ''Surveying and improving semantic properties of distributed ontologies.'' Project no. UK/365/2008 awarded by Comenius University. Narrowly focused project aiming at comparing different existing formalisms for representing distributed ontologies.
  
 
== Selected Recent Publications ==
 
== Selected Recent Publications ==

Revision as of 17:14, 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 organizes irregular sessions of the KR Seminar where the group members and sometimes invited speakers present latest advances in their research.

Projects

  • Surveying and improving semantic properties of distributed ontologies. Project no. UK/365/2008 awarded by Comenius University. Narrowly focused project aiming at comparing different existing formalisms for representing distributed ontologies.

Selected Recent Publications