Difference between revisions of "KR Group"
Zzobsolete28 (Talk | contribs) (Knowledge revision) |
Zzobsolete28 (Talk | contribs) |
||
| Line 14: | Line 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] |
Revision as of 21:06, 28 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