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