Name Card

Full name Familienname, Vorname
Morak, Michael
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-20 of 35 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Fichte, Johannes Klaus ; Hecher, Markus ; Morak, Michael ; Thier, Christopher-Patrick ; Woltran, Stefan Solving Projected Model Counting by Utilizing Treewidth and its LimitsArticle Artikel Jan-2023
2Fichte, Johannes K. ; Hecher, Markus ; Morak, Michael ; Woltran, Stefan DynASP2.5: Dynamic Programming on Tree Decompositions in ActionArtikel Article 2021
3Hecher, Markus ; Morak, Michael ; Woltran, Stefan Structural Decompositions of Epistemic Logic ProgramsKonferenzbeitrag Inproceedings 2020
4BICHLER, MANUEL ; MORAK, MICHAEL ; WOLTRAN, STEFAN selp: A Single-Shot Epistemic Logic Program SolverArtikel Article 2020
5Hecher, Markus ; Morak, Michael ; Woltran, Stefan Structural Decompositions of Epistemic Logic ProgramsKonferenzbeitrag Inproceedings 2020
6Bliem, Bernhard ; Morak, Michael ; Moldovan, Marius ; Woltran, Stefan The Impact of Treewidth on Grounding and Solving of Answer Set ProgramsArtikel Article 2020
7Bichler, Manuel ; Morak, Michael ; Woltran, Stefan lpopt: A Rule Optimization Tool for Answer Set ProgrammingArtikel Article 2020
8Hecher, Markus ; Morak, Michael ; Woltran, Stefan Structural Decompositions of Epistemic Logic ProgramsKonferenzbeitrag Inproceedings 2019
9FABER, WOLFGANG ; MORAK, MICHAEL ; WOLTRAN, STEFAN On Uniform Equivalence of Epistemic Logic ProgramsArtikel Article 2019
10Faber, Wolfgang ; Morak, Michael ; Woltran, Stefan Strong Equivalence for Epistemic Logic Programs Made EasyKonferenzbeitrag Inproceedings 2019
11Bichler, Manuel ; Morak, Michael ; Woltran, Stefan A Single-Shot Epistemic Logic Program SolverKonferenzbeitrag Inproceedings 2018
12Fichte, Johannes K. ; Hecher, Markus ; Morak, Michael ; Woltran, Stefan Exploiting Treewidth for Projected Model Counting and Its LimitsKonferenzbeitrag Inproceedings 2018
13Bichler, Manuel ; Morak, Michael ; Woltran, Stefan Single-Shot Epistemic Logic Program SolvingKonferenzbeitrag Inproceedings 2018
14Hecher, Markus ; Fichte, Johannes ; Morak, Michael ; Woltran, Stefan Answer Set Solving with Bounded Treewidth RevisitedKonferenzbeitrag Inproceedings2017
15Morak, Michael ; Pieris, Andreas ; Bourhis, Pierre Making Cross Products and Guarded Ontology Languages CompatibleKonferenzbeitrag Inproceedings2017
16Morak, Michael ; Bichler, Manuel ; Woltran, Stefan lpopt: A Rule Optimization Tool for Answer Set ProgrammingKonferenzbeitrag Inproceedings 2017
17Pieris, Andreas ; Morak, Michael ; Alviano, Mario Stable Model Semantics for Tuple-Generating Dependencies RevisitedKonferenzbeitrag Inproceedings2017
18Bliem, Bernhard ; Moldovan, Marius ; Morak, Michael ; Woltran, Stefan The Impact of Treewidth on ASP Grounding and SolvingKonferenzbeitrag Inproceedings 2017
19Fichte, Johannes ; Hecher, Markus ; Morak, Michael ; Woltran, Stefan DynASP2.5: Dynamic Programming on Tree Decompositions in ActionKonferenzbeitrag Inproceedings2017
20Moldovan, Marius ; Bliem, Bernhard ; Morak, Michael ; Woltran, Stefan ; Bliem, Bernhard The Impact of Treewidth on {ASP} Grounding and SolvingKonferenzbeitrag Inproceedings 2017