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...) |
|||
| (2 medziľahlé úpravy od 2 ďalších používateľov nie sú zobrazené) | |||
| 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 | + | * [[Introduction to Computational Logic]] |
* [[Answer Set Programming]] | * [[Answer Set Programming]] | ||
* [[Symbolic Programming and LISP]] | * [[Symbolic Programming and LISP]] | ||
| − | * [[Semantic Fundamentals of Knowledge Systems]] | + | * [[Semantic Fundamentals of Knowledge-Based Systems]] |
* [[Knowledge Representation and Reasoning]] | * [[Knowledge Representation and Reasoning]] | ||
| − | * [[ | + | * [[Logics for Artificial Intelligence]] |
* [[Artificial Intelligence Seminar (1)]] | * [[Artificial Intelligence Seminar (1)]] | ||
* [[Representation, Knowledge and Reasoning]] | * [[Representation, Knowledge and Reasoning]] | ||
| Riadok 22: | 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 09: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]