Ján Šefránek
|
Zodpovedný/á za stránky:
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
- non-monotonic logic