Michael Morak

ORCID

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 47

Top Venues

CoRR

Theory Pract. Log. Program.

IJCAI

ICLP Workshops

University of Oxford, UK (PHD)

Education History

University of Oxford, UK

PHD

Publications

Jakub Med, Lukás Chrpa, Michael Morak, Wolfgang Faber
Weak and Strong Reversibility of Non-deterministic Actions: Universality and Uniformity. ICAPS (2024)
Johannes Klaus Fichte, Markus Hecher, Michael Morak, Patrick Thier, Stefan Woltran
Solving Projected Model Counting by Utilizing Treewidth and its Limits. Artif. Intell. 314 (2023)
Claudia Steinberger, Nina Lobnig, Michael Morak
Increasing the Reusability of MOOCs via Competence-Oriented Development. LWMOOCS (2023)
Wolfgang Faber, Michael Morak
Evaluating Epistemic Logic Programs via Answer Set Programming with Quantifiers. AAAI (2023)
Mario Alviano, Matthias Lanzinger, Michael Morak, Andreas Pieris
Generative Datalog with Stable Negation. PODS (2023)
Johannes Klaus Fichte, Markus Hecher, Michael Morak, Patrick Thier, Stefan Woltran
Solving Projected Model Counting by Utilizing Treewidth and its Limits. CoRR (2023)
Wolfgang Faber, Michael Morak
Evaluating Epistemic Logic Programs via Answer Set Programming with Quantifiers. HYDRA/RCRA@LPNMR (2022)
Mario Alviano, Matthias Lanzinger, Michael Morak, Andreas Pieris
Generative Datalog with Stable Negation. CoRR (2022)
Wolfgang Faber, Michael Morak, Lukás Chrpa
Determining Action Reversibility in STRIPS Using Answer Set Programming with Quantifiers. PADL (2022)
Johannes Klaus Fichte, Markus Hecher, Michael Morak, Stefan Woltran
DynASP2.5: Dynamic Programming on Tree Decompositions in Action. Algorithms 14 (3) (2021)
Wolfgang Faber, Michael Morak, Lukás Chrpa
Determining ActionReversibility in STRIPS Using Answer Set and Epistemic Logic Programming. CoRR (2021)
Lukás Chrpa, Wolfgang Faber, Michael Morak
Universal and Uniform Action Reversibility. KR (2021)
Michael Morak
Sticky Existential Rules and Disjunction are Incompatible. KR (2021)
Wolfgang Faber, Michael Morak, Lukás Chrpa
Determining Action Reversibility in STRIPS Using Answer Set and Epistemic Logic Programming. Theory Pract. Log. Program. 21 (5) (2021)
Markus Hecher, Michael Morak, Stefan Woltran
Structural Decompositions of Epistemic Logic Programs. ICLP Workshops (2020)
Manuel Bichler, Michael Morak, Stefan Woltran
selp: A Single-Shot Epistemic Logic Program Solver. Theory Pract. Log. Program. 20 (4) (2020)
Wolfgang Faber, Michael Morak
Determining Action Reversibility in STRIPS Using Epistemic Logic Programs. ICLP Workshops (2020)
Manuel Bichler, Michael Morak, Stefan Woltran
lpopt: A Rule Optimization Tool for Answer Set Programming. Fundam. Informaticae 177 (3-4) (2020)
Bernhard Bliem, Michael Morak, Marius Moldovan, Stefan Woltran
The Impact of Treewidth on Grounding and Solving of Answer Set Programs. J. Artif. Intell. Res. 67 (2020)
Markus Hecher, Michael Morak, Stefan Woltran
Structural Decompositions of Epistemic Logic Programs. CoRR (2020)
Michael Morak, Lukás Chrpa, Wolfgang Faber, Daniel Fiser
On the Reversibility of Actions in Planning. KR (2020)
Manuel Bichler, Michael Morak, Stefan Woltran
selp: A Single-Shot Epistemic Logic Program Solver. CoRR (2020)
Markus Hecher, Michael Morak, Stefan Woltran
Structural Decompositions of Epistemic Logic Programs. AAAI (2020)
Lukás Chrpa, Wolfgang Faber, Daniel Fiser, Michael Morak
Determining Action Reversibility in STRIPS Using Answer Set Programming. ICLP Workshops (2020)
Wolfgang Faber, Michael Morak, Stefan Woltran
On Uniform Equivalence of Epistemic Logic Programs. Theory Pract. Log. Program. 19 (5-6) (2019)
Michael Morak, Anna Prianichnikova, Ana Sokolova
Helmut Veith memorial workshop 2019 report. ACM SIGLOG News 6 (3) (2019)
Wolfgang Faber, Michael Morak, Stefan Woltran
Strong Equivalence for Epistemic Logic Programs Made Easy. AAAI (2019)
Wolfgang Faber, Michael Morak, Stefan Woltran
On Uniform Equivalence of Epistemic Logic Programs. CoRR (2019)
Michael Morak
Epistemic Logic Programs: A Different World View. ICLP Technical Communications (2019)
Manuel Bichler, Michael Morak, Stefan Woltran
Single-Shot Epistemic Logic Program Solving. IJCAI (2018)
Wolfgang Faber, Michael Morak, Stefan Woltran
Strong Equivalence for Epistemic Logic Programs Made Easy (Extended Version). CoRR (2018)
Johannes Klaus Fichte, Markus Hecher, Michael Morak, Stefan Woltran
Exploiting Treewidth for Projected Model Counting and Its Limits. SAT (2018)
Johannes Klaus Fichte, Michael Morak, Markus Hecher, Stefan Woltran
Exploiting Treewidth for Projected Model Counting and its Limits. CoRR (2018)
Johannes Klaus Fichte, Markus Hecher, Michael Morak, Stefan Woltran
Answer Set Solving with Bounded Treewidth Revisited. LPNMR (2017)
Johannes Klaus Fichte, Markus Hecher, Michael Morak, Stefan Woltran
DynASP2.5: Dynamic Programming on Tree Decompositions in Action. IPEC (2017)
Johannes Klaus Fichte, Markus Hecher, Michael Morak, Stefan Woltran
Answer Set Solving with Bounded Treewidth Revisited. CoRR (2017)
Mario Alviano, Michael Morak, Andreas Pieris
Stable Model Semantics for Tuple-Generating Dependencies Revisited. PODS (2017)
Johannes Klaus Fichte, Markus Hecher, Michael Morak, Stefan Woltran
DynASP2.5: Dynamic Programming on Tree Decompositions in Action. CoRR (2017)
Bernhard Bliem, Marius Moldovan, Michael Morak, Stefan Woltran
The Impact of Treewidth on ASP Grounding and Solving. IJCAI (2017)
Pierre Bourhis, Michael Morak, Andreas Pieris
Making Cross Products and Guarded Ontology Languages Compatible. IJCAI (2017)
Manuel Bichler, Michael Morak, Stefan Woltran
lpopt: A Rule Optimization Tool for Answer Set Programming. CoRR (2016)
Johannes Klaus Fichte, Markus Hecher, Michael Morak, Stefan Woltran
Counting Answer Sets via Dynamic Programming. CoRR (2016)
Manuel Bichler, Michael Morak, Stefan Woltran
The power of non-ground rules in Answer Set Programming. Theory Pract. Log. Program. 16 (5-6) (2016)
Manuel Bichler, Michael Morak, Stefan Woltran
The Power of Non-Ground Rules in Answer Set Programming. CoRR (2016)
Manuel Bichler, Michael Morak, Stefan Woltran
lpopt: A Rule Optimization Tool for Answer Set Programming. LOPSTR (2016)
Pierre Bourhis, Marco Manna, Michael Morak, Andreas Pieris
Guarded-Based Disjunctive Tuple-Generating Dependencies. ACM Trans. Database Syst. 41 (4) (2016)
Georg Gottlob, Michael Morak, Andreas Pieris
Recent Advances in Datalog ^\pm. Reasoning Web (2015)
Michael Morak
The Impact of Disjunction on Reasoning under Existential Rules: Research Summary. CoRR (2014)
Pierre Bourhis, Michael Morak, Andreas Pieris
Towards Efficient Reasoning Under Guarded-Based Disjunctive Existential Rules. MFCS (1) (2014)
Pierre Bourhis, Michael Morak, Andreas Pieris
Acyclic Query Answering under Guarded Disjunctive Existential Rules and Consequences to DLs. Description Logics (2014)
Pierre Bourhis, Michael Morak, Andreas Pieris
The Impact of Disjunction on Query Answering Under Guarded-Based Existential Rules. IJCAI (2013)
Pierre Bourhis, Michael Morak, Andreas Pieris
The Impact of Disjunction on Query Answering Under Guarded-Based Existential Rules. Description Logics (2013)
Michael Morak, Nysret Musliu, Reinhard Pichler, Stefan Rümmele, Stefan Woltran
Evaluating Tree-Decomposition Based Algorithms for Answer Set Programming. LION (2012)
Georg Gottlob, Marco Manna, Michael Morak, Andreas Pieris
On the Complexity of Ontological Reasoning under Disjunctive Existential Rules. MFCS (2012)
Bernhard Bliem, Michael Morak, Stefan Woltran
D-FLAT: Declarative Problem Solving Using Tree Decompositions and Answer-Set Programming CoRR (2012)
Bernhard Bliem, Michael Morak, Stefan Woltran
D-FLAT: Declarative problem solving using tree decompositions and answer-set programming. Theory Pract. Log. Program. 12 (4-5) (2012)
Michael Morak, Stefan Woltran
Preprocessing of Complex Non-Ground Rules in Answer Set Programming. ICLP (Technical Communications) (2012)
Wolfgang Dvorák, Michael Morak, Clemens Nopp, Stefan Woltran
dynPARTIX - A Dynamic Programming Reasoner for Abstract Argumentation. INAP/WLP (2011)
Michael Morak, Nysret Musliu, Reinhard Pichler, Stefan Rümmele, Stefan Woltran
A New Tree-Decomposition Based Algorithm for Answer Set Programming. ICTAI (2011)
Wolfgang Dvorák, Michael Morak, Clemens Nopp, Stefan Woltran
dynPARTIX - A Dynamic Programming Reasoner for Abstract Argumentation CoRR (2011)
Michael Morak, Reinhard Pichler, Stefan Rümmele, Stefan Woltran
A Dynamic-Programming Based ASP-Solver. JELIA (2010)

Michael Morak.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Michael Morak