Morak, Michael

8 publications

AAAI 2023 Evaluating Epistemic Logic Programs via Answer Set Programming with Quantifiers Wolfgang Faber, Michael Morak

AAAI 2020 Structural Decompositions of Epistemic Logic Programs Markus Hecher, Michael Morak, Stefan Woltran

JAIR 2020 The Impact of Treewidth on Grounding and Solving of Answer Set Programs Bernhard Bliem, Michael Morak, Marius Moldovan, Stefan Woltran

AAAI 2019 Strong Equivalence for Epistemic Logic Programs Made Easy Wolfgang Faber, Michael Morak, Stefan Woltran

IJCAI 2018 Single-Shot Epistemic Logic Program Solving Manuel Bichler, Michael Morak, Stefan Woltran

IJCAI 2017 Making Cross Products and Guarded Ontology Languages Compatible Pierre Bourhis, Michael Morak, Andreas Pieris

IJCAI 2017 The Impact of Treewidth on ASP Grounding and Solving Bernhard Bliem, Marius Moldovan, Michael Morak, Stefan Woltran

IJCAI 2013 The Impact of Disjunction on Query Answering Under Guarded-Based Existential Rules Pierre Bourhis, Michael Morak, Andreas Pieris