Zobrazenie zdroja stránky KR Group

The KR research group at [[Profile|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

== Activities ==

KR Group orgainizes irregular sessions of the [[KR Seminar]] where the group members and sometimes invited speakes present latest advances in their research.

== Group Members ==

*[http://ii.fmph.uniba.sk/~sefranek/ Ján Šefránek] (group chair)

*[http://ii.fmph.uniba.sk/~balaz/ Martin Baláž]
*[http://ii.fmph.uniba.sk/~homola/ Martin Homola]
*Michal Malý
*Peter Klimo
*[http://ii.fmph.uniba.sk/~siska/ Jozef Šiška]