Michael Morak

According to our database, Michael Morak authored at least 45 papers between 2010 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Weak and Strong Reversibility of Non-deterministic Actions: Universality and Uniformity.

Jakub Med, Lukás Chrpa, Michael Morak, Wolfgang Faber

Proceedings of the Thirty-Fourth International Conference on Automated Planning and Scheduling, 2024

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

Generative Datalog with Stable Negation.

Mario Alviano, Matthias Lanzinger, Michael Morak, Andreas Pieris

Proceedings of the 42nd ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2023

Increasing the Reusability of MOOCs via Competence-Oriented Development.

Claudia Steinberger, Nina Lobnig, Michael Morak

Proceedings of the IEEE Learning with MOOCS, 2023

Evaluating Epistemic Logic Programs via Answer Set Programming with Quantifiers.

Wolfgang Faber, Michael Morak

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

Determining Action Reversibility in STRIPS Using Answer Set Programming with Quantifiers.

Wolfgang Faber, Michael Morak, Lukás Chrpa

Proceedings of the Practical Aspects of Declarative Languages, 2022

2021

Determining Action Reversibility in STRIPS Using Answer Set and Epistemic Logic Programming.

Wolfgang Faber, Michael Morak, Lukás Chrpa

Theory Pract. Log. Program., 2021

Determining ActionReversibility in STRIPS Using Answer Set and Epistemic Logic Programming.

Wolfgang Faber, Michael Morak, Lukás Chrpa

CoRR, 2021

DynASP2.5: Dynamic Programming on Tree Decompositions in Action.

Johannes Klaus Fichte, Markus Hecher, Michael Morak, Stefan Woltran

Algorithms, 2021

Sticky Existential Rules and Disjunction are Incompatible.

Michael Morak

Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

Universal and Uniform Action Reversibility.

Lukás Chrpa, Wolfgang Faber, Michael Morak

Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

2020

selp: A Single-Shot Epistemic Logic Program Solver.

Manuel Bichler, Michael Morak, Stefan Woltran

Theory Pract. Log. Program., 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

lpopt: A Rule Optimization Tool for Answer Set Programming.

Manuel Bichler, Michael Morak, Stefan Woltran

Fundam. Informaticae, 2020

On the Reversibility of Actions in Planning.

Michael Morak, Lukás Chrpa, Wolfgang Faber, Daniel Fiser

Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

Structural Decompositions of Epistemic Logic Programs.

Markus Hecher, Michael Morak, Stefan Woltran

Proceedings of the International Conference on Logic Programming 2020 Workshop Proceedings co-located with 36th International Conference on Logic Programming (ICLP 2020), 2020

Determining Action Reversibility in STRIPS Using Answer Set Programming.

Lukás Chrpa, Wolfgang Faber, Daniel Fiser, Michael Morak

Proceedings of the International Conference on Logic Programming 2020 Workshop Proceedings co-located with 36th International Conference on Logic Programming (ICLP 2020), 2020

Determining Action Reversibility in STRIPS Using Epistemic Logic Programs.

Wolfgang Faber, Michael Morak

Proceedings of the International Conference on Logic Programming 2020 Workshop Proceedings co-located with 36th International Conference on Logic Programming (ICLP 2020), 2020

2019

On Uniform Equivalence of Epistemic Logic Programs.

Wolfgang Faber, Michael Morak, Stefan Woltran

Theory Pract. Log. Program., 2019

Helmut Veith memorial workshop 2019 report.

Michael Morak, Anna Prianichnikova, Ana Sokolova

ACM SIGLOG News, 2019

Epistemic Logic Programs: A Different World View.

Michael Morak

Proceedings of the Proceedings 35th International Conference on Logic Programming (Technical Communications), 2019

Strong Equivalence for Epistemic Logic Programs Made Easy.

Wolfgang Faber, Michael Morak, Stefan Woltran

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

Strong Equivalence for Epistemic Logic Programs Made Easy (Extended Version).

Wolfgang Faber, Michael Morak, Stefan Woltran

CoRR, 2018

Exploiting Treewidth for Projected Model Counting and Its Limits.

Johannes Klaus Fichte, Markus Hecher, Michael Morak, Stefan Woltran

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2018, 2018

Single-Shot Epistemic Logic Program Solving.

Manuel Bichler, Michael Morak, Stefan Woltran

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

2017

Stable Model Semantics for Tuple-Generating Dependencies Revisited.

Mario Alviano, Michael Morak, Andreas Pieris

Proceedings of the 36th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2017

Answer Set Solving with Bounded Treewidth Revisited.

Johannes Klaus Fichte, Markus Hecher, Michael Morak, Stefan Woltran

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2017

Making Cross Products and Guarded Ontology Languages Compatible.

Pierre Bourhis, Michael Morak, Andreas Pieris

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

The Impact of Treewidth on ASP Grounding and Solving.

Bernhard Bliem, Marius Moldovan, Michael Morak, Stefan Woltran

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

2016

The power of non-ground rules in Answer Set Programming.

Manuel Bichler, Michael Morak, Stefan Woltran

Theory Pract. Log. Program., 2016

Guarded-Based Disjunctive Tuple-Generating Dependencies.

Pierre Bourhis, Marco Manna, Michael Morak, Andreas Pieris

ACM Trans. Database Syst., 2016

Counting Answer Sets via Dynamic Programming.

Johannes Klaus Fichte, Markus Hecher, Michael Morak, Stefan Woltran

CoRR, 2016

2015

Recent Advances in Datalog ^\pm.

Georg Gottlob, Michael Morak, Andreas Pieris

Proceedings of the Reasoning Web. Web Logic Rules - 11th International Summer School 2015, Berlin, Germany, July 31, 2015

2014

The impact of disjunction on reasoning under existential rules.

Michael Morak

PhD thesis, 2014

The Impact of Disjunction on Reasoning under Existential Rules: Research Summary.

Michael Morak

CoRR, 2014

Towards Efficient Reasoning Under Guarded-Based Disjunctive Existential Rules.

Pierre Bourhis, Michael Morak, Andreas Pieris

Proceedings of the Mathematical Foundations of Computer Science 2014, 2014

Acyclic Query Answering under Guarded Disjunctive Existential Rules and Consequences to DLs.

Pierre Bourhis, Michael Morak, Andreas Pieris

Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

2013

The Impact of Disjunction on Query Answering Under Guarded-Based Existential Rules.

Pierre Bourhis, Michael Morak, Andreas Pieris

Proceedings of the IJCAI 2013, 2013

2012

D-FLAT: Declarative problem solving using tree decompositions and answer-set programming.

Bernhard Bliem, Michael Morak, Stefan Woltran

Theory Pract. Log. Program., 2012

On the Complexity of Ontological Reasoning under Disjunctive Existential Rules.

Georg Gottlob, Marco Manna, Michael Morak, Andreas Pieris

Proceedings of the Mathematical Foundations of Computer Science 2012, 2012

Evaluating Tree-Decomposition Based Algorithms for Answer Set Programming.

Michael Morak, Nysret Musliu, Reinhard Pichler, Stefan Rümmele, Stefan Woltran

Proceedings of the Learning and Intelligent Optimization - 6th International Conference, 2012

Preprocessing of Complex Non-Ground Rules in Answer Set Programming.

Michael Morak, Stefan Woltran

Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012

2011

dynPARTIX - A Dynamic Programming Reasoner for Abstract Argumentation.

Wolfgang Dvorák, Michael Morak, Clemens Nopp, Stefan Woltran

Proceedings of the Applications of Declarative Programming and Knowledge Management, 2011

A New Tree-Decomposition Based Algorithm for Answer Set Programming.

Michael Morak, Nysret Musliu, Reinhard Pichler, Stefan Rümmele, Stefan Woltran

Proceedings of the IEEE 23rd International Conference on Tools with Artificial Intelligence, 2011

2010

A Dynamic-Programming Based ASP-Solver.

Michael Morak, Reinhard Pichler, Stefan Rümmele, Stefan Woltran

Proceedings of the Logics in Artificial Intelligence - 12th European Conference, 2010