Michael Morak

From MaRDI portal
Person:1656575

Available identifiers

zbMath Open morak.michaelMaRDI QIDQ1656575

List of research outcomes

PublicationDate of PublicationType
Solving projected model counting by utilizing treewidth and its limits2023-01-04Paper
Determining Action Reversibility in STRIPS Using Answer Set and Epistemic Logic Programming2022-01-10Paper
https://portal.mardi4nfdi.de/entity/Q50205442022-01-06Paper
Guarded-Based Disjunctive Tuple-Generating Dependencies2021-11-25Paper
selp: A Single-Shot Epistemic Logic Program Solver2021-09-03Paper
Lpopt: a rule optimization tool for answer set programming2021-05-20Paper
DynASP2.5: Dynamic Programming on Tree Decompositions in Action2020-05-27Paper
On Uniform Equivalence of Epistemic Logic Programs2020-05-04Paper
The Impact of Treewidth on Grounding and Solving of Answer Set Programs2020-01-22Paper
Exploiting treewidth for projected model counting and its limits2018-08-10Paper
The power of non-ground rules in Answer Set Programming2017-11-09Paper
Lpopt: a rule optimization tool for answer set programming2017-10-13Paper
Answer set solving with bounded treewidth revisited2017-09-05Paper
Recent Advances in Datalog$$^\pm $$2017-03-30Paper
Towards Efficient Reasoning Under Guarded-Based Disjunctive Existential Rules2014-10-14Paper
Preprocessing of Complex Non-Ground Rules in Answer Set Programming2014-02-25Paper
D-FLAT: Declarative problem solving using tree decompositions and answer-set programming2013-03-13Paper
On the Complexity of Ontological Reasoning under Disjunctive Existential Rules2012-09-25Paper
A Dynamic-Programming Based ASP-Solver2010-10-01Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Michael Morak