Line 12: Line 12:
  
 
=== Teaching ===
 
=== Teaching ===
* [[Introduction to Computer Logic]]
+
* [[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]]
* [[Logic for Artificial Intelligence]]
+
* [[Logics for Artificial Intelligence]]
 
* [[Artificial Intelligence Seminar (1)]]
 
* [[Artificial Intelligence Seminar (1)]]
 
* [[Representation, Knowledge and Reasoning]]
 
* [[Representation, Knowledge and Reasoning]]

Revision as of 09:35, 23 November 2009

Ján Šefránek

Ján Šefránek
Name: doc. PhDr. Ján Šefránek, CSc.
researcher
Section: Section of Artificial Intelligence
Phone: +421 2 602 95 389
Email: sefranek@fmph.uniba.sk
Office: i17
Address: doc. PhDr. Ján Šefránek, CSc.
Department of Applied Informatics
FMFI UK
Mlynská dolina
824 48 Bratislava
Slovakia
Web: homepage

Teaching

Research

  • non-monotonic logic

Publications

  • none