Michael Morak

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Solving projected model counting by utilizing treewidth and its limits Artificial Intelligence	2023-01-04	Paper
Determining action reversibility in STRIPS using answer set and epistemic logic programming Theory and Practice of Logic Programming	2022-01-10	Paper
scientific article; zbMATH DE number 7453102 (Why is no real title available?)	2022-01-06	Paper
scientific article; zbMATH DE number 7453102 (Why is no real title available?) (available as arXiv preprint)	2022-01-06	Paper
Guarded-based disjunctive tuple-generating dependencies ACM Transactions on Database Systems	2021-11-25	Paper
selp: a single-shot epistemic logic program solver Theory and Practice of Logic Programming	2021-09-03	Paper
lpopt: a rule optimization tool for answer set programming Fundamenta Informaticae	2021-05-20	Paper
DynASP2.5: Dynamic Programming on Tree Decompositions in Action (available as arXiv preprint)	2020-05-27	Paper
On uniform equivalence of epistemic logic programs Theory and Practice of Logic Programming	2020-05-04	Paper
The impact of treewidth on grounding and solving of answer set programs Journal of Artificial Intelligence Research	2020-01-22	Paper
Exploiting treewidth for projected model counting and its limits (available as arXiv preprint)	2018-08-10	Paper
The power of non-ground rules in Answer Set Programming Theory and Practice of Logic Programming	2017-11-09	Paper
Lpopt: a rule optimization tool for answer set programming Lecture Notes in Computer Science	2017-10-13	Paper
Answer set solving with bounded treewidth revisited (available as arXiv preprint)	2017-09-05	Paper
Recent advances in Datalog\(^\pm \) Reasoning Web. Web Logic Rules	2017-03-30	Paper
Towards efficient reasoning under guarded-based disjunctive existential rules Mathematical Foundations of Computer Science 2014	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 Theory and Practice of Logic Programming	2013-03-13	Paper
On the complexity of ontological reasoning under disjunctive existential rules Mathematical Foundations of Computer Science 2012	2012-09-25	Paper
A dynamic-programming based ASP-solver Logics in Artificial Intelligence	2010-10-01	Paper

Research outcomes over time

This page was built for person: Michael Morak