| Riadok 23: | Riadok 23: | ||
=== Výskum === | === Výskum === | ||
| − | * non-monotonic | + | * knowledge representation, non-monotonic reasoning |
=== Publikácie === | === Publikácie === | ||
| − | * | + | * pozri [http://ii.fmph.uniba.sk/~sefranek/ homepage] |
}} | }} | ||
Aktuálna revízia z 14:41, 7. apríl 2010
Ján Šefránek
|
|
Výučba
- Úvod do výpočtovej logiky
- Logické programovanie ASP
- Symbolické programovanie a LISP
- Semantic Fundamentals of Knowledge Systems
- Reprezentácia znalostí a inferencia
- Logiky pre umelú inteligenciu
- Seminár z umelej inteligencie (1)
- Representation, Knowledge and Reasoning
- Logika a kognitívna veda
Výskum
- knowledge representation, non-monotonic reasoning
Publikácie
- pozri homepage