| Riadok 23: | Riadok 23: | ||
=== Research === | === Research === | ||
| − | * non-monotonic | + | * knowledge representation, non-monotonic reasoning |
=== Publications === | === Publications === | ||
| − | + | see [http://ii.fmph.uniba.sk/~sefranek/] | |
}} | }} | ||
Aktuálna revízia z 10:29, 1. apríl 2010
Ján Šefránek
|
|
Teaching
- Introduction to Computational Logic
- Answer Set Programming
- Symbolic Programming and LISP
- Semantic Fundamentals of Knowledge-Based Systems
- Knowledge Representation and Reasoning
- Logics for Artificial Intelligence
- Artificial Intelligence Seminar (1)
- Representation, Knowledge and Reasoning
- Logic and Cognitive_Science
Research
- knowledge representation, non-monotonic reasoning
Publications
see [1]