KR Group: Rozdiel medzi revíziami
| Riadok 14: | Riadok 14: | ||
== Activities == | == Activities == | ||
| − | KR Group orgainizes irregular sessions of the [[KR Seminar]. | + | 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 == | == Group Members == | ||
Verzia zo dňa a času 10:59, 23. október 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
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
- Ján Šefránek (group chair)
- Martin Baláž
- Martin Homola
- Michal Malý
- Peter Klimo
- Jozef Šiška