Difference between revisions of "Jan Sefranek/sk"
| Line 23: | Line 23: | ||
=== Výskum === | === Výskum === | ||
| − | * non-monotonic | + | * knowledge representation, non-monotonic reasoning |
=== Publikácie === | === Publikácie === | ||
| − | * | + | * pozri [http://ii.fmph.uniba.sk/~sefranek/ homepage] |
}} | }} | ||
Latest revision as of 14:41, 7 April 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