(New page: 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 interes...)
 
(Knowledge revision)
Riadok 5: Riadok 5:
 
Our main interests within KR include:
 
Our main interests within KR include:
  
* Non-monotonic logics and non-monotonic reasoning.
+
* Non-monotonic logics and non-monotonic reasoning
* Answer Set Programming
+
* Knowledge revision
* Dynamic Logic Programming
+
* Answer set programming
 +
* Dynamic logic programming
 
* Semantic Web
 
* Semantic Web
 
* Ontologies
 
* Ontologies

Verzia zo dňa a času 22:32, 15. apríl 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

Group Members

  • Ján Šefránek (group chair)
  • Martin Baláž
  • Martin Homola
  • Michal Malý
  • Peter Klimo
  • Jozef Šiška