Ján Šefránek
|
Teaching
- Introduction to Computer Logic
- Answer Set Programming
- Symbolic Programming and LISP
- Semantic Fundamentals of Knowledge Systems
- Knowledge Representation and Reasoning
- Logic for Artificial Intelligence
- Artificial Intelligence Seminar (1)
- Representation, Knowledge and Reasoning
- Logic and Cognitive_Science
Research
- non-monotonic logic
Publications
- none