A Dynamic-Programming Based ASP-Solver. - Michael Morak; Reinhard Pichler; Stefan Rümmele; Stefan Woltran (JELIA, 2010)

A New Tree-Decomposition Based Algorithm for Answer Set Programming. - Michael Morak; Nysret Musliu; Reinhard Pichler; Stefan Rümmele; Stefan Woltran (ICTAI, 2011)

dynPARTIX - A Dynamic Programming Reasoner for Abstract Argumentation. - Wolfgang Dvorák; Michael Morak; Clemens Nopp; Stefan Woltran (INAP/WLP, 2011)

Preprocessing of Complex Non-Ground Rules in Answer Set Programming. - Michael Morak; Stefan Woltran (ICLP (Technical Communications), 2012)

Evaluating Tree-Decomposition Based Algorithms for Answer Set Programming. - Michael Morak; Nysret Musliu; Reinhard Pichler; Stefan Rümmele; Stefan Woltran (LION, 2012)

On the Complexity of Ontological Reasoning under Disjunctive Existential Rules. - Georg Gottlob; Marco Manna; Michael Morak; Andreas Pieris (MFCS, 2012)

D-FLAT: Declarative problem solving using tree decompositions and answer-set programming. - Bernhard Bliem; Michael Morak; Stefan Woltran (Theory Pract. Log. Program., 2012)

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

Acyclic Query Answering under Guarded Disjunctive Existential Rules and Consequences to DLs. - Pierre Bourhis; Michael Morak; Andreas Pieris (Description Logics, 2014)

Towards Efficient Reasoning Under Guarded-Based Disjunctive Existential Rules. - Pierre Bourhis; Michael Morak; Andreas Pieris (MFCS (1), 2014)

The Impact of Disjunction on Reasoning under Existential Rules: Research Summary. - Michael Morak (CoRR, 2014)

The impact of disjunction on reasoning under existential rules. - Michael Morak (2014)

Recent Advances in Datalog ^ pm. - Georg Gottlob; Michael Morak; Andreas Pieris (Reasoning Web, 2015)

Counting Answer Sets via Dynamic Programming. - Johannes Klaus Fichte; Markus Hecher; Michael Morak; Stefan Woltran (CoRR, 2016)

Guarded-Based Disjunctive Tuple-Generating Dependencies. - Pierre Bourhis; Marco Manna; Michael Morak; Andreas Pieris (ACM Trans. Database Syst., 2016)

The power of non-ground rules in Answer Set Programming. - Manuel Bichler; Michael Morak; Stefan Woltran (Theory Pract. Log. Program., 2016)

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

Making Cross Products and Guarded Ontology Languages Compatible. - Pierre Bourhis; Michael Morak; Andreas Pieris (IJCAI, 2017)

Answer Set Solving with Bounded Treewidth Revisited. - Johannes Klaus Fichte; Markus Hecher; Michael Morak; Stefan Woltran (LPNMR, 2017)

Stable Model Semantics for Tuple-Generating Dependencies Revisited. - Mario Alviano; Michael Morak; Andreas Pieris (PODS, 2017)

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

Exploiting Treewidth for Projected Model Counting and Its Limits. - Johannes Klaus Fichte; Markus Hecher; Michael Morak; Stefan Woltran (SAT, 2018)

Strong Equivalence for Epistemic Logic Programs Made Easy (Extended Version). - Wolfgang Faber 001; Michael Morak; Stefan Woltran (CoRR, 2018)

Strong Equivalence for Epistemic Logic Programs Made Easy. - Wolfgang Faber 001; Michael Morak; Stefan Woltran (AAAI, 2019)

Epistemic Logic Programs: A Different World View. - Michael Morak (ICLP Technical Communications, 2019)

Helmut Veith memorial workshop 2019 report. - Michael Morak; Anna Prianichnikova; Ana Sokolova (ACM SIGLOG News, 2019)

On Uniform Equivalence of Epistemic Logic Programs. - Wolfgang Faber 001; Michael Morak; Stefan Woltran (Theory Pract. Log. Program., 2019)

Determining Action Reversibility in STRIPS Using Epistemic Logic Programs. - Wolfgang Faber 001; Michael Morak (ICLP Workshops, 2020)

Determining Action Reversibility in STRIPS Using Answer Set Programming. - Lukás Chrpa; Wolfgang Faber 001; Daniel Fiser; Michael Morak (ICLP Workshops, 2020)

Structural Decompositions of Epistemic Logic Programs. - Markus Hecher; Michael Morak; Stefan Woltran (ICLP Workshops, 2020)

On the Reversibility of Actions in Planning. - Michael Morak; Lukás Chrpa; Wolfgang Faber 001; Daniel Fiser (KR, 2020)

lpopt: A Rule Optimization Tool for Answer Set Programming. - Manuel Bichler; Michael Morak; Stefan Woltran (Fundam. Informaticae, 2020)

The Impact of Treewidth on Grounding and Solving of Answer Set Programs. - Bernhard Bliem; Michael Morak; Marius Moldovan; Stefan Woltran (J. Artif. Intell. Res., 2020)

selp: A Single-Shot Epistemic Logic Program Solver. - Manuel Bichler; Michael Morak; Stefan Woltran (Theory Pract. Log. Program., 2020)

Universal and Uniform Action Reversibility. - Lukás Chrpa; Wolfgang Faber 001; Michael Morak (KR, 2021)

Sticky Existential Rules and Disjunction are Incompatible. - Michael Morak (KR, 2021)

DynASP2.5: Dynamic Programming on Tree Decompositions in Action. - Johannes Klaus Fichte; Markus Hecher; Michael Morak; Stefan Woltran (Algorithms, 2021)

Determining ActionReversibility in STRIPS Using Answer Set and Epistemic Logic Programming. - Wolfgang Faber 001; Michael Morak; Lukás Chrpa (CoRR, 2021)

Determining Action Reversibility in STRIPS Using Answer Set and Epistemic Logic Programming. - Wolfgang Faber 001; Michael Morak; Lukás Chrpa (Theory Pract. Log. Program., 2021)

Determining Action Reversibility in STRIPS Using Answer Set Programming with Quantifiers. - Wolfgang Faber 001; Michael Morak; Lukás Chrpa (PADL, 2022)

Evaluating Epistemic Logic Programs via Answer Set Programming with Quantifiers. - Wolfgang Faber 001; Michael Morak (AAAI, 2023)

Increasing the Reusability of MOOCs via Competence-Oriented Development. - Claudia Steinberger; Nina Lobnig; Michael Morak (LWMOOCS, 2023)

Generative Datalog with Stable Negation. - Mario Alviano; Matthias Lanzinger; Michael Morak; Andreas Pieris (PODS, 2023)

Solving Projected Model Counting by Utilizing Treewidth and its Limits. - Johannes Klaus Fichte; Markus Hecher; Michael Morak; Patrick Thier; Stefan Woltran (Artif. Intell., 2023)

Weak and Strong Reversibility of Non-deterministic Actions: Universality and Uniformity. - Jakub Med; Lukás Chrpa; Michael Morak; Wolfgang Faber 001 (ICAPS, 2024)