Michael Morak

发表

Answer Set Solving using Tree Decompositions and Dynamic Programming — The DynASP 2 System — DBAI-TR-2016-101 , Revised Version

S. Woltran, J. Fichte, Markus Hecher, 2016 .

Treewidth-Preserving Modeling in ASP

S. Woltran, Michael Morak, Manuel Bichler, 2016 .

17 : 8 DynASP 2 . 5 : Dynamic Programming on Tree Decompositions in Action

S. Woltran, J. Fichte, Markus Hecher, 2017 .

IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013

Andreas Pieris, Michael Morak, Pierre Bourhis, 2013, AAAI 2013.

Generative Datalog with Stable Negation

Andreas Pieris, Michael Morak, Mario Alviano, 2022, ArXiv.

Solving Projected Model Counting by Utilizing Treewidth and its Limits

S. Woltran, J. Fichte, Markus Hecher, 2022, Artif. Intell..

Generative Datalog with Stable Negation

Andreas Pieris, Michael Morak, Mario Alviano, 2022, ArXiv.

Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014

Andreas Pieris, Michael Morak, Pierre Bourhis, 2014, Description Logics.

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

Michael Morak, Michael Morak, 2014, ArXiv.

Guarded-Based Disjunctive Tuple-Generating Dependencies

Marco Manna, Andreas Pieris, Michael Morak, 2016, ACM Trans. Database Syst..

Evaluating Epistemic Logic Programs via Answer Set Programming with Quantifiers

Wolfgang Faber, Michael Morak, 2023, HYDRA/RCRA@LPNMR.

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

Wolfgang Faber, Lukáš Chrpa, Michael Morak, 2021, Theory and Practice of Logic Programming.

Structural Decompositions of Epistemic Logic Programs

Stefan Woltran, Markus Hecher, Michael Morak, 2020, ICLP Workshops.

The Impact of Treewidth on Grounding and Solving of Answer Set Programs

Stefan Woltran, Bernhard Bliem, Michael Morak, 2020, J. Artif. Intell. Res..

selp: A Single-Shot Epistemic Logic Program Solver

Stefan Woltran, Manuel Bichler, Michael Morak, 2020, Theory and Practice of Logic Programming.

Proceedings 35th International Conference on Logic Programming (Technical Communications)

Stefan Woltran, Michael Morak, Wolfgang Faber, 2019, Electronic Proceedings in Theoretical Computer Science.

Epistemic Logic Programs: A Different World View pdf

Michael Morak, Michael Morak, 2019, ICLP Technical Communications.

On Uniform Equivalence of Epistemic Logic Programs pdf

Stefan Woltran, Wolfgang Faber, Michael Morak, 2019, Theory and Practice of Logic Programming.

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

Wolfgang Faber, Stefan Woltran, Michael Morak, 2018, AAAI.

The Impact of Treewidth on ASP Grounding and Solving

Stefan Woltran, Bernhard Bliem, Michael Morak, 2017, IJCAI.

DynASP2.5: Dynamic Programming on Tree Decompositions in Action

Stefan Woltran, Johannes Klaus Fichte, Markus Hecher, 2017, IPEC.

Answer Set Solving with Bounded Treewidth Revisited

Stefan Woltran, Johannes Klaus Fichte, Markus Hecher, 2017, LPNMR.

Counting Answer Sets via Dynamic Programming pdf

Stefan Woltran, Johannes Klaus Fichte, Markus Hecher, 2016, ArXiv.

lpopt: A Rule Optimization Tool for Answer Set Programming

Stefan Woltran, Manuel Bichler, Michael Morak, 2016, LOPSTR.

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

Stefan Woltran, Manuel Bichler, Michael Morak, 2016, Theory and Practice of Logic Programming.

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

Stefan Woltran, Bernhard Bliem, Michael Morak, 2012, Theory and Practice of Logic Programming.

Determining Action Reversibility in STRIPS Using Answer Set Programming

Lukás Chrpa, Michael Morak, Daniel Fiser, 2020, ICLP Workshops.

Preprocessing of Complex Non-Ground Rules in Answer Set Programming

Stefan Woltran, Michael Morak, S. Woltran, 2012, ICLP.

Exploiting Treewidth for Projected Model Counting and its Limits pdf

Stefan Woltran, Johannes Klaus Fichte, Markus Hecher, 2018, SAT.

Making Cross Products and Guarded Ontology Languages Compatible

Andreas Pieris, Michael Morak, Pierre Bourhis, 2017, IJCAI.

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

Andreas Pieris, Michael Morak, Pierre Bourhis, 2013, Description Logics.

Edinburgh Research Explorer Making Cross Products and Guarded Ontology Languages Compatible

Andreas Pieris, P. Bourhis, Michael Morak, 2017 .