Jan Sefranek/en: Rozdiel medzi revíziami
(New page: {{Person | fullname = doc. PhDr. Ján Šefránek, CSc. | caption = Ján Šefránek | image = Sefranek.jpg | section = Section of Artificial Intelligence | position = researc...) |
|||
| Riadok 9: | Riadok 9: | ||
| email = sefranek[[Image:zavinac.gif|@]]fmph.uniba.sk | | email = sefranek[[Image:zavinac.gif|@]]fmph.uniba.sk | ||
| web = [http://ii.fmph.uniba.sk/~sefranek/ homepage] | | web = [http://ii.fmph.uniba.sk/~sefranek/ homepage] | ||
| − | + | | info = | |
| + | |||
=== Teaching === | === Teaching === | ||
* [[Introduction to Computer Logic]] | * [[Introduction to Computer Logic]] | ||
| Riadok 26: | Riadok 27: | ||
=== Publications === | === Publications === | ||
* ''none'' | * ''none'' | ||
| − | + | }} | |
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
Verzia zo dňa a času 12:36, 25. august 2008
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