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.
  • 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
Revision as of 23:30, 15 April 2008 by Zzobsolete28 (Talk | contribs) (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...)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)