Katedra aplikovanej informatiky

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