(fixed e-mail address)
Line 15: Line 15:
 
* [[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 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.
  
 
}}
 
}}

Revision as of 16:17, 14 September 2016

Júlia Pukancová

Júlia Pukancová
Name: Mgr. Júlia Pukancová
doctoral student
Email: pukancova@fmph.uniba.sk
Office: I-7
Address: Mgr. Júlia Pukancová
Department of Applied Informatics
FMFI UK
Mlynská dolina
824 48 Bratislava
Slovakia

Teaching

Research

  • Knowledge representation
  • Abduction
  • Description Logics

Publications

  • 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: