(Fix: section)
(10 intermediate revisions by 3 users not shown)
Riadok 1: Riadok 1:
 
{{Person
 
{{Person
   | fullname = Mgr. Júlia Pukancová
+
   | fullname = Mgr. Júlia Pukancová, PhD.
 
   | caption  = Júlia Pukancová
 
   | caption  = Júlia Pukancová
 
   | image    = pukancova.jpg
 
   | image    = pukancova.jpg
   | section  =  
+
   | section  = Section of Artificial Intelligence
   | position = doctoral student
+
   | position = assistant professor
   | phone    =  
+
   | phone    = (+421 2 602 95) 444
 
   | room    = I-7
 
   | room    = I-7
   | email    = pukancova2[[Image:zavinac.gif|@]]fmph.uniba.sk
+
   | email    = pukancova[[Image:zavinac.gif|@]]fmph.uniba.sk
   | web      =  
+
   | web      = [http://dai.fmph.uniba.sk/~pukancova/ http://dai.fmph.uniba.sk/~pukancova/]
 
   | info    =  
 
   | info    =  
  
=== Teaching ===
+
== Teaching ==
 
* [[Computational Logic]]
 
* [[Computational Logic]]
 
* [[Knowledge Representation and Reasoning]]
 
* [[Knowledge Representation and Reasoning]]
 
* [[Description Logics Ontologies and Semantics Web]]
 
* [[Description Logics Ontologies and Semantics Web]]
 +
* [[Course:Mathematics 4|Mathematics 4 – Logic for Computer Science]]
  
=== Research ===
+
== Research ==
* knowledge representation
+
* Knowledge representation
 +
* Abduction
 +
* Description Logics
  
===  Publications ===
+
==  Publications ==
 +
* Júlia Pukancová and Martin Homola. "Tableau-Based ABox Abduction for the ALCHO Description Logic." Proceedings of the 30th International Workshop on Description Logics (DL 2017), Montpellier, France. 2017.
 +
* Júlia Pukancová and Martin Homola. "Tableau-Based ABox Abduction for Description Logics: Preliminary Report." Proceedings of the 29th International Workshop on Description Logics (DL 2016), Cape Town, South Africa. 2016.
 +
* Júlia Pukancová and Martin Homola. "Abductive reasoning with description logics: Use case in medical diagnosis." Proceedings of the 28th International Workshop on Description Logics (DL 2015), Athens, Greece. 2015.
  
 
}}
 
}}

Verzia zo dňa a času 14:16, 18. október 2019

Júlia Pukancová

Photo of Júlia Pukancová
Name: Mgr. Júlia Pukancová, PhD.
assistant professor
Section: Section of Artificial Intelligence
Phone: (+421 2 602 95) 444
Email: pukancova@fmph.uniba.sk
Office: I-7
Address: Mgr. Júlia Pukancová, PhD.
Department of Applied Informatics
FMFI UK
Mlynská dolina
824 48 Bratislava
Slovakia
Web: http://dai.fmph.uniba.sk/~pukancova/

Teaching

Research

  • Knowledge representation
  • Abduction
  • Description Logics

Publications

  • Júlia Pukancová and Martin Homola. "Tableau-Based ABox Abduction for the ALCHO Description Logic." Proceedings of the 30th International Workshop on Description Logics (DL 2017), Montpellier, France. 2017.
  • Júlia Pukancová and Martin Homola. "Tableau-Based ABox Abduction for Description Logics: Preliminary Report." Proceedings of the 29th International Workshop on Description Logics (DL 2016), Cape Town, South Africa. 2016.
  • Júlia Pukancová and Martin Homola. "Abductive reasoning with description logics: Use case in medical diagnosis." Proceedings of the 28th International Workshop on Description Logics (DL 2015), Athens, Greece. 2015.

Responsible for pages: