Michael Morak
Themes:
Interests
I am interested in both the practical and theoretical aspects of logic programming paradigms, ontological reasoning, database techniques and query languages. This includes questions regarding the theoretical worst-case complexity analysis, parameterized complexity and expressive power, as well as practical applications, algorithm development and optimization, and the involved aspects of software engineering practices.
Biography
I am currently a doctoral student at the Department of Computer Science, University of Oxford, under the supervision of Georg Gottlob.
Before coming to Oxford, in 2011 I completed my Master's degree in Computational Intelligence at the Vienna University of Technology, and worked there as a teaching assistant as part of the Databases and Artificial Intelligence group. In 2010 I finished my Bachelor's degree in Software and Information Engineering at the Vienna University of Technology.
Selected Publications
-
Towards Efficient Reasoning Under Guarded−Based Disjunctive Existential Rules
Pierre Bourhis‚ Michael Morak and Andreas Pieris
In Erzsébet Csuhaj−Varjú‚ Martin Dietzfelbinger and Zoltán Έsik, editors, Mathematical Foundations of Computer Science 2014 − 39th International Symposium‚ MFCS 2014‚ Budapest‚ Hungary‚ August 25−29‚ 2014. Proceedings‚ Part I. Vol. 8634 of Lecture Notes in Computer Science. Pages 99–110. Springer. 2014.
Details about Towards Efficient Reasoning Under Guarded−Based Disjunctive Existential Rules | BibTeX data for Towards Efficient Reasoning Under Guarded−Based Disjunctive Existential Rules | DOI (10.1007/978-3-662-44522-8) | Link to Towards Efficient Reasoning Under Guarded−Based Disjunctive Existential Rules
-
The Impact of Disjunction on Query Answering Under Guarded−Based Existential Rules
Pierre Bourhis‚ Michael Morak and Andreas Pieris
In Francesca Rossi, editor, IJCAI 2013‚ Proceedings of the 23rd International Joint Conference on Artificial Intelligence‚ Beijing‚ China‚ August 3−9‚ 2013. IJCAI/AAAI. 2013.
Details about The Impact of Disjunction on Query Answering Under Guarded−Based Existential Rules | BibTeX data for The Impact of Disjunction on Query Answering Under Guarded−Based Existential Rules | Link to The Impact of Disjunction on Query Answering Under Guarded−Based Existential Rules
-
On the Complexity of Ontological Reasoning under Disjunctive Existential Rules
Georg Gottlob‚ Marco Manna‚ Michael Morak and Andreas Pieris
In Branislav Rovan‚ Vladimiro Sassone and Peter Widmayer, editors, Mathematical Foundations of Computer Science 2012 − 37th International Symposium‚ MFCS 2012‚ Bratislava‚ Slovakia‚ August 27−31‚ 2012. Proceedings. Vol. 7464 of Lecture Notes in Computer Science. Pages 1–18. Springer. 2012.
Details about On the Complexity of Ontological Reasoning under Disjunctive Existential Rules | BibTeX data for On the Complexity of Ontological Reasoning under Disjunctive Existential Rules | DOI (10.1007/978-3-642-32589-2) | Link to On the Complexity of Ontological Reasoning under Disjunctive Existential Rules