Michael Morak

Available identifiers

zbMath Open morak.michaelMaRDI QIDQ1656575

List of research outcomes

Publication	Date of Publication	Type
Solving projected model counting by utilizing treewidth and its limits	2023-01-04	Paper
Determining Action Reversibility in STRIPS Using Answer Set and Epistemic Logic Programming	2022-01-10	Paper
https://portal.mardi4nfdi.de/entity/Q5020544	2022-01-06	Paper
Guarded-Based Disjunctive Tuple-Generating Dependencies	2021-11-25	Paper
selp: A Single-Shot Epistemic Logic Program Solver	2021-09-03	Paper
Lpopt: a rule optimization tool for answer set programming	2021-05-20	Paper
DynASP2.5: Dynamic Programming on Tree Decompositions in Action	2020-05-27	Paper
On Uniform Equivalence of Epistemic Logic Programs	2020-05-04	Paper
The Impact of Treewidth on Grounding and Solving of Answer Set Programs	2020-01-22	Paper
Exploiting treewidth for projected model counting and its limits	2018-08-10	Paper
The power of non-ground rules in Answer Set Programming	2017-11-09	Paper
Lpopt: a rule optimization tool for answer set programming	2017-10-13	Paper
Answer set solving with bounded treewidth revisited	2017-09-05	Paper
Recent Advances in Datalog$$^\pm $$	2017-03-30	Paper
Towards Efficient Reasoning Under Guarded-Based Disjunctive Existential Rules	2014-10-14	Paper
Preprocessing of Complex Non-Ground Rules in Answer Set Programming	2014-02-25	Paper
D-FLAT: Declarative problem solving using tree decompositions and answer-set programming	2013-03-13	Paper
On the Complexity of Ontological Reasoning under Disjunctive Existential Rules	2012-09-25	Paper
A Dynamic-Programming Based ASP-Solver	2010-10-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Michael Morak