Martin Kronegger
Martin Kronegger
Verified email at - Homepage
Cited by
Cited by
The fourth answer set programming competition: Preliminary report
M Alviano, F Calimeri, G Charwat, M Dao-Tran, C Dodaro, G Ianni, ...
International Conference on Logic Programming and Nonmonotonic Reasoning, 42-53, 2013
Conformant planning as a case study of incremental QBF solving
U Egly, M Kronegger, F Lonsing, A Pfandler
International Conference on Artificial Intelligence and Symbolic Computation …, 2014
Parameterized Complexity of Optimal Planning: A Detailed Map.
M Kronegger, A Pfandler, R Pichler
IJCAI, 2013
Intra-and interdiagram consistency checking of behavioral multiview models
P Kaufmann, M Kronegger, A Pfandler, M Seidl, M Widl
Computer Languages, Systems & Structures 44, 72-88, 2015
Variable-Deletion Backdoors to Planning.
M Kronegger, S Ordyniak, A Pfandler
AAAI, 3305-3312, 2015
Backdoors to Planning.
M Kronegger, S Ordyniak, A Pfandler
AAAI, 2300-2307, 2014
Multiparametric View on Answer Set Programming
JK Fichte, M Kronegger, S Woltran
Technical Report DBAI-TR-2016-99, Technische Universität Wien, Institut für …, 2016
Fixed-Parameter Tractable Reductions to SAT for Planning.
R De Haan, M Kronegger, A Pfandler
IJCAI, 2897-2903, 2015
VCWC: A versioning competition workflow compiler
G Charwat, G Ianni, T Krennwallner, M Kronegger, A Pfandler, C Redl, ...
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2013
A Parameterized Complexity Analysis of Generalized CP-Nets.
M Kronegger, M Lackner, A Pfandler, R Pichler
AAAI, 1091-1097, 2014
Parameterized Complexity of Asynchronous Border Minimization
R Ganian, M Kronegger, A Pfandler, A Popa
International Conference on Theory and Applications of Models of Computation …, 2015
Supplementary Material for “Variable-Deletion Backdoors to Planning” to appear at AAAI-2015
M Kronegger, S Ordyniak, A Pfandler
On the Parameterized Complexity of Planning
M Kronegger
TU Wien, Vienna, Austria, 0
The system can't perform the operation now. Try again later.
Articles 1–13