Zobrazenie zdroja stránky Jan Sefranek/sk

{{Osoba
  | fullname = doc. PhDr. Ján Šefránek, CSc.
  | caption  = Ján Šefránek
  | image    = Sefranek.jpg
  | section  = Oddelenie umelej inteligencie
  | position = vedecký pracovník
  | phone    = (+421 2 602 95) 389
  | room     = i17
  | email    = sefranek[[Image:zavinac.gif|@]]fmph.uniba.sk
  | web      = [http://ii.fmph.uniba.sk/~sefranek/ homepage]
  | info     =

=== Výučba ===
* [[Introduction_to_Computer_Logic|Úvod do výpočtovej logiky]]
* [[Answer_Set_Programming|Logické programovanie ASP]]
* [[Symbolic_Programming_and_LISP|Symbolické programovanie a LISP]]
* [[Semantic Fundamentals of Knowledge Systems]]
* [[Knowledge_Representation_and_Reasoning|Reprezentácia znalostí a inferencia]]
* [[Logic_for_Artificial_Intelligence|Logiky pre umelú inteligenciu]]
* [[Artificial_Intelligence_Seminar_1|Seminár z umelej inteligencie (1)]]
* [[Representation, Knowledge and Reasoning]]
* [[Logic_and_Cognitive_Science|Logika a kognitívna veda]]

=== Výskum ===
* non-monotonic logic

=== Publikácie ===
* ''chýbajú''
}}