KR Group: Rozdiel medzi revíziami
(Knowledge revision) |
|||
| Riadok 14: | Riadok 14: | ||
== Group Members == | == Group Members == | ||
| − | *Ján Šefránek (group chair) | + | *[http://ii.fmph.uniba.sk/~sefranek/ Ján Šefránek] (group chair) |
| − | *Martin Baláž | + | *[http://ii.fmph.uniba.sk/~balaz/ Martin Baláž] |
| − | *Martin Homola | + | *[http://ii.fmph.uniba.sk/~homola/ Martin Homola] |
*Michal Malý | *Michal Malý | ||
*Peter Klimo | *Peter Klimo | ||
| − | *Jozef Šiška | + | *[http://ii.fmph.uniba.sk/~siska/ Jozef Šiška] |
Verzia zo dňa a času 20:06, 28. apríl 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