(Knowledge revision)
Line 14: Line 14:
 
== Group Members ==
 
== Group Members ==
  
*Ján Šefránek (group chair)
+
*[http://ii.fmph.uniba.sk/~sefranek/ Ján Šefránek] (group chair)
  
*Martin Baláž
+
*[http://ii.fmph.uniba.sk/~balaz/ Martin Baláž]
*Martin Homola
+
*[http://ii.fmph.uniba.sk/~homola/ Martin Homola]
 
*Michal Malý
 
*Michal Malý
 
*Peter Klimo
 
*Peter Klimo
*Jozef Šiška
+
*[http://ii.fmph.uniba.sk/~siska/ Jozef Šiška]

Revision as of 21:06, 28 April 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