Michael Morak

67 papers A* 14A 1B 6C 2Journal 27Unranked 14
YearRankTypeTitle / Venue / Authors
2025 — conf
Encoding Action Reversibility In Planning Using Quantified ASP and Bule.
JELIA (1)
Wolfgang Faber, Michael Morak
2025 A* conf
Non-deterministic Action Reversibility: Complexity Results.
KR
Jakub Med, Michael Morak, Lukás Chrpa, Wolfgang Faber
2024 A* conf
Weak and Strong Reversibility of Non-deterministic Actions: Universality and Uniformity.
ICAPS
Jakub Med, Lukás Chrpa, Michael Morak, Wolfgang Faber
2023 A* conf
Evaluating Epistemic Logic Programs via Answer Set Programming with Quantifiers.
AAAI
Wolfgang Faber, Michael Morak
2023 A* conf
Generative Datalog with Stable Negation.
PODS
Mario Alviano, Matthias Lanzinger, Michael Morak, Andreas Pieris
2023 — conf
Increasing the Reusability of MOOCs via Competence-Oriented Development.
LWMOOCS
Claudia Steinberger, Nina Lobnig, Michael Morak
2023 J jnl
Solving Projected Model Counting by Utilizing Treewidth and its Limits.
Artif. Intell.
Johannes Klaus Fichte, Markus Hecher, Michael Morak, Patrick Thier, Stefan Woltran
2023 J jnl
Solving Projected Model Counting by Utilizing Treewidth and its Limits.
CoRR
Johannes Klaus Fichte, Markus Hecher, Michael Morak, Patrick Thier, Stefan Woltran
2022 C conf
Determining Action Reversibility in STRIPS Using Answer Set Programming with Quantifiers.
PADL
Wolfgang Faber, Michael Morak, Lukás Chrpa
2022 — conf
Evaluating Epistemic Logic Programs via Answer Set Programming with Quantifiers.
HYDRA/RCRA@LPNMR
Wolfgang Faber, Michael Morak
2022 J jnl
Generative Datalog with Stable Negation.
CoRR
Mario Alviano, Matthias Lanzinger, Michael Morak, Andreas Pieris
2022 — ed.
Proceedings of the International Conference on Logic Programming 2022 Workshops co-located with the 38th International Conference on Logic Programming (ICLP 2022), Haifa, Israel, July 31st - August 1st, 2022.
ICLP Workshops
Joaquín Arias, Roberta Calegari, Luke Dickens, Wolfgang Faber, Jorge Fandinno, Gopal Gupta, Markus Hecher, Daniela Inclezan, Emily Leblanc, Michael Morak, Elmer Salazar, Jessica Zangari
2021 J jnl
Determining Action Reversibility in STRIPS Using Answer Set and Epistemic Logic Programming.
Theory Pract. Log. Program.
Wolfgang Faber, Michael Morak, Lukás Chrpa
2021 J jnl
Determining ActionReversibility in STRIPS Using Answer Set and Epistemic Logic Programming.
CoRR
Wolfgang Faber, Michael Morak, Lukás Chrpa
2021 J jnl
DynASP2.5: Dynamic Programming on Tree Decompositions in Action.
Algorithms
Johannes Klaus Fichte, Markus Hecher, Michael Morak, Stefan Woltran
2021 B ed.
Logics in Artificial Intelligence - 17th European Conference, JELIA 2021, Virtual Event, May 17-20, 2021, Proceedings
JELIA
Wolfgang Faber, Gerhard Friedrich, Martin Gebser, Michael Morak
2021 A* conf
Sticky Existential Rules and Disjunction are Incompatible.
KR
Michael Morak
2021 A* conf
Universal and Uniform Action Reversibility.
KR
Lukás Chrpa, Wolfgang Faber, Michael Morak
2020 — conf
Determining Action Reversibility in STRIPS Using Answer Set Programming.
ICLP Workshops
Lukás Chrpa, Wolfgang Faber, Daniel Fiser, Michael Morak
2020 — conf
Determining Action Reversibility in STRIPS Using Epistemic Logic Programs.
ICLP Workshops
Wolfgang Faber, Michael Morak
2020 — ed.
International Conference on Logic Programming 2020 Workshop Proceedings co-located with 36th International Conference on Logic Programming (ICLP 2020), Rende, Italy, September 18-19, 2020.
ICLP Workshops
Carmine Dodaro, George Aristidis Elder, Wolfgang Faber, Jorge Fandinno, Martin Gebser, Markus Hecher, Emily Leblanc, Michael Morak, Jessica Zangari
2020 A* conf
On the Reversibility of Actions in Planning.
KR
Michael Morak, Lukás Chrpa, Wolfgang Faber, Daniel Fiser
2020 A* conf
Structural Decompositions of Epistemic Logic Programs.
AAAI
Markus Hecher, Michael Morak, Stefan Woltran
2020 — conf
Structural Decompositions of Epistemic Logic Programs.
ICLP Workshops
Markus Hecher, Michael Morak, Stefan Woltran
2020 J jnl
Structural Decompositions of Epistemic Logic Programs.
CoRR
Markus Hecher, Michael Morak, Stefan Woltran
2020 J jnl
The Impact of Treewidth on Grounding and Solving of Answer Set Programs.
J. Artif. Intell. Res.
Bernhard Bliem, Michael Morak, Marius Moldovan, Stefan Woltran
2020 J jnl
lpopt: A Rule Optimization Tool for Answer Set Programming.
Fundam. Informaticae
Manuel Bichler, Michael Morak, Stefan Woltran
2020 J jnl
selp: A Single-Shot Epistemic Logic Program Solver.
CoRR
Manuel Bichler, Michael Morak, Stefan Woltran
2020 J jnl
selp: A Single-Shot Epistemic Logic Program Solver.
Theory Pract. Log. Program.
Manuel Bichler, Michael Morak, Stefan Woltran
2019 — conf
Epistemic Logic Programs: A Different World View.
ICLP Technical Communications
Michael Morak
2019 J jnl
Helmut Veith memorial workshop 2019 report.
ACM SIGLOG News
Michael Morak, Anna Prianichnikova, Ana Sokolova
2019 J jnl
On Uniform Equivalence of Epistemic Logic Programs.
CoRR
Wolfgang Faber, Michael Morak, Stefan Woltran
2019 J jnl
On Uniform Equivalence of Epistemic Logic Programs.
Theory Pract. Log. Program.
Wolfgang Faber, Michael Morak, Stefan Woltran
2019 A* conf
Strong Equivalence for Epistemic Logic Programs Made Easy.
AAAI
Wolfgang Faber, Michael Morak, Stefan Woltran
2018 A conf
Exploiting Treewidth for Projected Model Counting and Its Limits.
SAT
Johannes Klaus Fichte, Markus Hecher, Michael Morak, Stefan Woltran
2018 J jnl
Exploiting Treewidth for Projected Model Counting and its Limits.
CoRR
Johannes Klaus Fichte, Michael Morak, Markus Hecher, Stefan Woltran
2018 A* conf
Single-Shot Epistemic Logic Program Solving.
IJCAI
Manuel Bichler, Michael Morak, Stefan Woltran
2018 J jnl
Strong Equivalence for Epistemic Logic Programs Made Easy (Extended Version).
CoRR
Wolfgang Faber, Michael Morak, Stefan Woltran
2017 B conf
Answer Set Solving with Bounded Treewidth Revisited.
LPNMR
Johannes Klaus Fichte, Markus Hecher, Michael Morak, Stefan Woltran
2017 J jnl
Answer Set Solving with Bounded Treewidth Revisited.
CoRR
Johannes Klaus Fichte, Markus Hecher, Michael Morak, Stefan Woltran
2017 B conf
DynASP2.5: Dynamic Programming on Tree Decompositions in Action.
IPEC
Johannes Klaus Fichte, Markus Hecher, Michael Morak, Stefan Woltran
2017 J jnl
DynASP2.5: Dynamic Programming on Tree Decompositions in Action.
CoRR
Johannes Klaus Fichte, Markus Hecher, Michael Morak, Stefan Woltran
2017 A* conf
Making Cross Products and Guarded Ontology Languages Compatible.
IJCAI
Pierre Bourhis, Michael Morak, Andreas Pieris
2017 A* conf
Stable Model Semantics for Tuple-Generating Dependencies Revisited.
PODS
Mario Alviano, Michael Morak, Andreas Pieris
2017 A* conf
The Impact of Treewidth on ASP Grounding and Solving.
IJCAI
Bernhard Bliem, Marius Moldovan, Michael Morak, Stefan Woltran
2016 J jnl
Counting Answer Sets via Dynamic Programming.
CoRR
Johannes Klaus Fichte, Markus Hecher, Michael Morak, Stefan Woltran
2016 J jnl
Guarded-Based Disjunctive Tuple-Generating Dependencies.
ACM Trans. Database Syst.
Pierre Bourhis, Marco Manna, Michael Morak, Andreas Pieris
2016 J jnl
The Power of Non-Ground Rules in Answer Set Programming.
CoRR
Manuel Bichler, Michael Morak, Stefan Woltran
2016 J jnl
The power of non-ground rules in Answer Set Programming.
Theory Pract. Log. Program.
Manuel Bichler, Michael Morak, Stefan Woltran
2016 C conf
lpopt: A Rule Optimization Tool for Answer Set Programming.
LOPSTR
Manuel Bichler, Michael Morak, Stefan Woltran
2016 J jnl
lpopt: A Rule Optimization Tool for Answer Set Programming.
CoRR
Manuel Bichler, Michael Morak, Stefan Woltran
2015 — conf
Recent Advances in Datalog ^\pm.
Reasoning Web
Georg Gottlob, Michael Morak, Andreas Pieris
2014 — conf
Acyclic Query Answering under Guarded Disjunctive Existential Rules and Consequences to DLs.
Description Logics
Pierre Bourhis, Michael Morak, Andreas Pieris
2014 J jnl
The Impact of Disjunction on Reasoning under Existential Rules: Research Summary.
CoRR
Michael Morak
2014 — —
The impact of disjunction on reasoning under existential rules.
Michael Morak
2014 — conf
Towards Efficient Reasoning Under Guarded-Based Disjunctive Existential Rules.
MFCS (1)
Pierre Bourhis, Michael Morak, Andreas Pieris
2013 — conf
The Impact of Disjunction on Query Answering Under Guarded-Based Existential Rules.
Description Logics
Pierre Bourhis, Michael Morak, Andreas Pieris
2013 A* conf
The Impact of Disjunction on Query Answering Under Guarded-Based Existential Rules.
IJCAI
Pierre Bourhis, Michael Morak, Andreas Pieris
2012 J jnl
D-FLAT: Declarative Problem Solving Using Tree Decompositions and Answer-Set Programming
CoRR
Bernhard Bliem, Michael Morak, Stefan Woltran
2012 J jnl
D-FLAT: Declarative problem solving using tree decompositions and answer-set programming.
Theory Pract. Log. Program.
Bernhard Bliem, Michael Morak, Stefan Woltran
2012 — conf
Evaluating Tree-Decomposition Based Algorithms for Answer Set Programming.
LION
Michael Morak, Nysret Musliu, Reinhard Pichler, Stefan Rümmele, Stefan Woltran
2012 B conf
On the Complexity of Ontological Reasoning under Disjunctive Existential Rules.
MFCS
Georg Gottlob, Marco Manna, Michael Morak, Andreas Pieris
2012 — conf
Preprocessing of Complex Non-Ground Rules in Answer Set Programming.
ICLP (Technical Communications)
Michael Morak, Stefan Woltran
2011 B conf
A New Tree-Decomposition Based Algorithm for Answer Set Programming.
ICTAI
Michael Morak, Nysret Musliu, Reinhard Pichler, Stefan Rümmele, Stefan Woltran
2011 J jnl
dynPARTIX - A Dynamic Programming Reasoner for Abstract Argumentation
CoRR
Wolfgang Dvorák, Michael Morak, Clemens Nopp, Stefan Woltran
2011 — conf
dynPARTIX - A Dynamic Programming Reasoner for Abstract Argumentation.
INAP/WLP
Wolfgang Dvorák, Michael Morak, Clemens Nopp, Stefan Woltran
2010 B conf
A Dynamic-Programming Based ASP-Solver.
JELIA
Michael Morak, Reinhard Pichler, Stefan Rümmele, Stefan Woltran