Difference between revisions of "Jan Sefranek/sk"
(New page: {{Osoba | fullname = doc. PhDr. Ján Šefránek, CSc. | caption = Ján Šefránek | image = Sefranek.jpg | section = Oddelenie umelej inteligencie | position = vedecký prac...) |
|||
| (One intermediate revision by one other user not shown) | |||
| Line 9: | Line 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 = | |
| + | |||
=== Výučba === | === Výučba === | ||
* [[Introduction_to_Computer_Logic|Úvod do výpočtovej logiky]] | * [[Introduction_to_Computer_Logic|Úvod do výpočtovej logiky]] | ||
| Line 22: | 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