Main menu
  1. DAI
  2. Research

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
Retrieved from "http://dev.dai.fmph.uniba.sk/w?title=KR_Group&oldid=716"
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)