Concepedia

Michael Morak

MM

Statistics

Publications

12

Citations

220

H-Index

11

Active since

2012

Affiliations

TU Wien(Current)

University of Klagenfurt

University of Edinburgh

University of Calabria

University of Oxford

Michael Morak is an author at TU Wien specializing in formal methods, engineering, and automated reasoning.

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningFormal VerificationComputational ComplexityKnowledge CompilationAnswer Set ProgrammingMathematical ProgrammingCombinatorial Optimization

Publications per year

2012–2020

12

Publications

12

IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013

Pierre Bourhis, Michael Morak, Andréas Pieris · National Conference on Artificial Intelligence · 2013 · 41 citations

Artificial Intelligence, Ai Architecture, International Joint Conference +9

Guarded-Based Disjunctive Tuple-Generating Dependencies

Pierre Bourhis, Marco Manna, Michael Morak et al. · ACM Transactions on Database Systems · 2016 · 33 citations · Full text

Computational Logic, Guarded-based Tuple-generating Dependencies, Dependency Analysis +14

The Impact of Disjunction on Query Answering Under Guarded-Based Existential Rules.

Pierre Bourhis, Michael Morak, Andréas Pieris · 2013 · 32 citations

The Impact of Treewidth on ASP Grounding and Solving

Bernhard Bliem, Marius Moldovan, Michael Morak et al. · 2017 · 14 citations · Full text

Mathematical Programming, Engineering, Verification +24

D-FLAT: Declarative problem solving using tree decompositions and answer-set programming

Bernhard Bliem, Michael Morak, Stefan Woltran · Theory and Practice of Logic Programming · 2012 · 13 citations

Artificial Intelligence, Mathematical Programming, Engineering +22

1–5 of 12