Skip to Content

TU Wien Fakultät für Informatik DBAI Database and Artificial Intelligence Group
Top-level Navigation: Current-level Navigation:

Path: DBAI > staff > Martin Kronegger

Martin Kronegger

picture
The content of this webpage is out-dated.

I am a postdoctoral researcher at the Database and Artificial Intelligence Group at TU Wien. Before that I was a faculty member of the Database and Artificial Intelligence Group and of the Theory and Logic Group at the TU Wien. I finished my doctoral studies in computer science at the TU Wien with Reinhard Pichler as advisor. During my doctoral studies I contributed to the following project: Fixed-Parameter Tractability in Artificial Intelligence and Reasoning (FAIR). Currently, I am involved in the following project:

Activities

Talks and Presentations

Publications

Most of my papers are also listed at DBLP Computer Science Bibliography.

2016

  1. Johannes K. Fichte, Martin Kronegger and Stefan Woltran Multiparametric View on Answer Set Programming Technical Report, TU Wien, Vienna, Austria, 2016.
    [ Abstract | BibTeX | PDF  ]
  2. Uwe Egly, Martin Kronegger, Florian Lonsing and Andreas Pfandler Conformant Planning as a Case Study of Incremental QBF Solving In Annals of Mathematics and Artificial Intelligence: 1-25, 2016.
    [ Abstract | BibTeX | PDF  ]
  3. Martin Kronegger On the Parameterized Complexity of Planning Ph.D. Thesis, TU Wien, 2016.
    [ Abstract | BibTeX ]

2015

  1. Petra Kaufmann, Martin Kronegger, Andreas Pfandler, Martina Seidl and Magdalena Widl Intra- and Interdiagram Consistency Checking of Behavioral Multiview Models In Computer Languages, Systems and Structures, 44: 72-88, 2015.
    [ Abstract | BibTeX | PDF  ]
  2. Ronald de Haan, Martin Kronegger and Andreas Pfandler Fixed-parameter Tractable Reductions to SAT for Planning In Proc. of the 24th International Joint Conference on Artificial Intelligence (IJCAI-15), pages 2897-2903, AAAI Press, 2015.
    [ Abstract | BibTeX | PDF  ]
  3. Robert Ganian, Martin Kronegger, Andreas Pfandler and Alexandru Popa Parameterized Complexity of Asynchronous Border Minimization In Proc. of Theory and Applications of Models of Computing (TAMC-15), pages 428-440, Springer, 2015.
    [ Abstract | BibTeX | PDF  ]
  4. Martin Kronegger, Sebastian Ordyniak and Andreas Pfandler Variable-Deletion Backdoors to Planning In Proc. of the 29th AAAI Conference on Artificial Intelligence (AAAI-15), pages 3305-3312, AAAI Press, 2015.
    [ Abstract | BibTeX | PDF  | Supplementary Material  ]

2014

  1. Uwe Egly, Martin Kronegger, Florian Lonsing and Andreas Pfandler Conformant Planning as a Case Study of Incremental QBF Solving In Proc. of the 12th International Conference on Artificial Intelligence and Symbolic Computation (AISC 2014), pages 120-131, Springer, 2014.
    [ Abstract | BibTeX | PDF  ]
  2. Martin Kronegger, Sebastian Ordyniak and Andreas Pfandler Backdoors to Planning In Proc. of the 28th AAAI Conference on Artificial Intelligence (AAAI-14), pages 2300-2307, AAAI Press, 2014.
    [ Abstract | BibTeX | PDF  ]
  3. Martin Kronegger, Martin Lackner, Andreas Pfandler and Reinhard Pichler A Parameterized Complexity Analysis of Generalized CP-Nets In Proc. of the 28th AAAI Conference on Artificial Intelligence (AAAI-14), pages 1091-1097, AAAI Press, 2014.
    [ Abstract | BibTeX | PDF  ]
  4. Petra Kaufmann, Martin Kronegger, Andreas Pfandler, Martina Seidl and Magdalena Widl A SAT-Based Debugging Tool for State Machines and Sequence Diagrams In Proc. SLE 2014, pages 21-40, Springer, LNCS , 2014, Best Paper Award.
    [ Abstract | BibTeX | PDF  ]

2013

  1. Petra Kaufmann, Martin Kronegger, Andreas Pfandler, Martina Seidl and Magdalena Widl Global State Checker: Towards SAT-Based Reachability Analysis of Communicating State Machines In Proc. of the 10th Model-Driven Engineering, Verification, and Validation Workshop (MoDeVVa 2013) colocated with MODELS 2013, pages 31-40, CEUR Workshop Proceedings , 2013.
    [ Abstract | BibTeX | PDF  ]
  2. Mario Alviano, Francesco Calimeri, Günther Charwat, Minh Dao-Tran, Carmine Dodaro, Giovambattista Ianni, Thomas Krennwallner, Martin Kronegger, Johannes Oetsch, Andreas Pfandler, Jörg Pührer, Christoph Redl, Francesco Ricca, Patrik Schneider, Martin Schwengerer, Lara Katharina Spendier, Johannes Peter Wallner and Guohui Xiao The Fourth Answer Set Programming Competition: Preliminary Report In Proc. of the 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013), pages 42-53, Springer, LNCS 8148, 2013.
    [ Abstract | BibTeX | PDF  ]
  3. Günther Charwat, Giovambattista Ianni, Thomas Krennwallner, Martin Kronegger, Andreas Pfandler, Christoph Redl, Martin Schwengerer, Lara Spendier, Johannes Peter Wallner and Guohui Xiao VCWC: A Versioning Competition Workflow Compiler In Proc. of the 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013), pages 233-238, Springer, LNCS 8148, 2013.
    [ Abstract | BibTeX | PDF  ]
  4. Martin Kronegger, Martin Lackner, Andreas Pfandler and Reinhard Pichler A Parameterized Complexity Analysis of Generalized CP-Nets In Proc. of the 7th Multidisciplinary Workshop on Advances in Preference Handling (M-PREF 2013) colocated with IJCAI-13, 2013.
    [ Abstract | BibTeX | PDF  ]
  5. Martin Kronegger, Andreas Pfandler and Reinhard Pichler Conformant Planning as a Benchmark for QBF-Solvers In Proc. of the International Workshop on Quantified Boolean Formulas (QBF 2013) colocated with SAT 2013, pages 1-5, 2013.
    [ Abstract | BibTeX | PDF  ]
  6. Martin Kronegger, Andreas Pfandler and Reinhard Pichler Parameterized Complexity of Optimal Planning: A Detailed Map In Proc. of the 23rd International Joint Conference on Artificial Intelligence (IJCAI-13), pages 954-961, AAAI Press, 2013.
    [ Abstract | BibTeX | PDF  ]

Teaching

Miscellaneous

Contact Information


Martin Kronegger
TU Wien
Institute of Informations Systems E184-2
Favoritenstraße 9-11
1040 Wien, Austria

Phone: +43 (1) 58801 184802
Fax: +43 (1) 58801 9184802
e-mail: [lastname] [at] dbai tuwien ac at

Valid XHTML 1.0 Transitional Valid CSS!


Home / Kontakt / Webmaster / Offenlegung gemäß § 25 Mediengesetz: Inhaber der Website ist das Institut für Logic and Computation an der Technischen Universität Wien, 1040 Wien. Die TU Wien distanziert sich von den Inhalten aller extern gelinkten Seiten und übernimmt diesbezüglich keine Haftung. Disclaimer / Datenschutzerklärung