(One intermediate revision by the same user not shown)
Riadok 12: Riadok 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]]
Riadok 23: Riadok 23:
  
 
=== Research ===
 
=== Research ===
* non-monotonic logic
+
* knowledge representation, non-monotonic reasoning
  
 
=== Publications ===
 
=== Publications ===
* ''none''
+
see [http://ii.fmph.uniba.sk/~sefranek/]
 
}}
 
}}

Aktuálna revízia z 09:29, 1. apríl 2010

Ján Šefránek

Photo of 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

  • knowledge representation, non-monotonic reasoning

Publications

see [1]