(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 intermediate revisions by 2 users 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    =
 +
 
 
=== 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]]
Line 22: Line 23:
  
 
=== Research ===
 
=== Research ===
* non-monotonic logic
+
* knowledge representation, non-monotonic reasoning
  
 
=== Publications ===
 
=== Publications ===
* ''none''
+
see [http://ii.fmph.uniba.sk/~sefranek/]
 
+
}}
<!--
+
=== ===
+
<div style="font-size:7pt;">
+
----
+
Responsible for pages:
+
*
+
</div>
+
-->
+

Latest revision as of 10:29, 1 April 2010

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

  • knowledge representation, non-monotonic reasoning

Publications

see [1]