Morak, Michael

Network Lab View Statistics Email Alert RSS Feed

Profile Profil

Prefix title Titel (vorangestellt)
DI
 
Full name Familienname, Vorname
Morak, Michael
 
Postfix title Titel (nachgestellt)
PhD
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-20 of 34 (Search time: 0.003 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Fichte, Johannes K. ; Hecher, Markus ; Morak, Michael ; Woltran, Stefan DynASP2.5: Dynamic Programming on Tree Decompositions in ActionArtikel Article 2021
2Bliem, Bernhard ; Morak, Michael ; Moldovan, Marius ; Woltran, Stefan The Impact of Treewidth on Grounding and Solving of Answer Set ProgramsArtikel Article 2020
3BICHLER, MANUEL ; MORAK, MICHAEL ; WOLTRAN, STEFAN selp: A Single-Shot Epistemic Logic Program SolverArtikel Article 2020
4Hecher, Markus ; Morak, Michael ; Woltran, Stefan Structural Decompositions of Epistemic Logic ProgramsKonferenzbeitrag Inproceedings 2020
5Hecher, Markus ; Morak, Michael ; Woltran, Stefan Structural Decompositions of Epistemic Logic ProgramsKonferenzbeitrag Inproceedings 2020
6Bichler, Manuel ; Morak, Michael ; Woltran, Stefan lpopt: A Rule Optimization Tool for Answer Set ProgrammingArtikel Article 2020
7Hecher, Markus ; Morak, Michael ; Woltran, Stefan Structural Decompositions of Epistemic Logic ProgramsKonferenzbeitrag Inproceedings 2019
8Faber, Wolfgang ; Morak, Michael ; Woltran, Stefan Strong Equivalence for Epistemic Logic Programs Made EasyKonferenzbeitrag Inproceedings 2019
9FABER, WOLFGANG ; MORAK, MICHAEL ; WOLTRAN, STEFAN On Uniform Equivalence of Epistemic Logic ProgramsArtikel Article2019
10Fichte, Johannes K. ; Hecher, Markus ; Morak, Michael ; Woltran, Stefan Exploiting Treewidth for Projected Model Counting and Its LimitsKonferenzbeitrag Inproceedings 2018
11Bichler, Manuel ; Morak, Michael ; Woltran, Stefan Single-Shot Epistemic Logic Program SolvingKonferenzbeitrag Inproceedings 2018
12Bichler, Manuel ; Morak, Michael ; Woltran, Stefan A Single-Shot Epistemic Logic Program SolverKonferenzbeitrag Inproceedings 2018
13Morak, Michael ; Pieris, Andreas ; Bourhis, Pierre Making Cross Products and Guarded Ontology Languages CompatibleKonferenzbeitrag Inproceedings2017
14Hecher, Markus ; Fichte, Johannes ; Morak, Michael ; Woltran, Stefan ; Balduccini, Marcello ; Janhunen, Tomi Answer Set Solving with Bounded Treewidth RevisitedKonferenzbeitrag Inproceedings2017
15Morak, Michael ; Bichler, Manuel ; Woltran, Stefan ; Hermenegildo, Manuel ; Lopez-Garcia, Pedro lpopt: A Rule Optimization Tool for Answer Set ProgrammingKonferenzbeitrag Inproceedings 2017
16Pieris, Andreas ; Morak, Michael ; Alviano, Mario ; Sallinger, Emanuel ; Van den Bussche, Jan Stable Model Semantics for Tuple-Generating Dependencies RevisitedKonferenzbeitrag Inproceedings2017
17Fichte, Johannes ; Hecher, Markus ; Morak, Michael ; Woltran, Stefan ; Lokshtanov, Daniel ; Nishimura, Naomi DynASP2.5: Dynamic Programming on Tree Decompositions in ActionKonferenzbeitrag Inproceedings2017
18Moldovan, Marius ; Bliem, Bernhard ; Morak, Michael ; Woltran, Stefan ; Bliem, Bernhard The Impact of Treewidth on {ASP} Grounding and SolvingKonferenzbeitrag Inproceedings 2017
19Bliem, Bernhard ; Moldovan, Marius ; Morak, Michael ; Woltran, Stefan The Impact of Treewidth on ASP Grounding and SolvingKonferenzbeitrag Inproceedings 2017
20Bourhis, Pierre ; Manna, Marco ; Morak, Michael ; Pieris, Andreas Guarded-Based Disjunctive Tuple-Generating DependenciesArtikel Article2016