Difference between revisions of "KR Group"
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...) |
Zzobsolete28 (Talk | contribs) (Knowledge revision) |
||
| Line 5: | Line 5: | ||
Our main interests within KR include: | Our main interests within KR include: | ||
| − | * Non-monotonic logics and non-monotonic reasoning | + | * Non-monotonic logics and non-monotonic reasoning |
| − | * Answer | + | * Knowledge revision |
| − | * Dynamic | + | * Answer set programming |
| + | * Dynamic logic programming | ||
* Semantic Web | * Semantic Web | ||
* Ontologies | * Ontologies | ||
Revision as of 23:32, 15 April 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
Group Members
- Ján Šefránek (group chair)
- Martin Baláž
- Martin Homola
- Michal Malý
- Peter Klimo
- Jozef Šiška