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 > Günther Charwat

Tools: Drucken


Günther Charwat

Institute TU Wien
Institute of Information Systems
Database and Artificial Intelligence Group
Address Favoritenstraße 9-11
1040 Wien
Austria
Room HD 03 03
Mail gcharwat at dbai dot tuwien dot ac do at
Phone +43-1-58801-740018
Fax +43-1-58801-9740018

See also: TISS Adress Book

Office Hours: By appointment (send me an e-mail)

About

I am a PhD student at the Database and Artificial Intelligence Group of the Vienna University of Technology. My supervisor is Stefan Woltran. I am employed as a project assistent in the FWF-funded Decodyn Project ("Treating Hard Problems with Decomposition and Dynamic Programming"). Previously, I was employed as a university assistent in the DYNASP Project ("Dynamic Programming and Answer Set Programming").

I am involved in the development of several software frameworks and systems, including:

Teaching

Publications

2016

  1. Günther Charwat and Stefan Woltran BDD-based Dynamic Programming on Tree Decompositions Technical Report DBAI-TR-2016-95, DBAI, Fakultät für Informatik an der Technischen Universität Wien, 2016.
    [ BibTeX | pdf  ]
  2. Günther Charwat and Stefan Woltran Dynamic Programming-based QBF Solving In International Workshop on Quantified Boolean Formulas (and Beyond) (QBF 2016), 2016.
    To appear.
    [ BibTeX ]
  3. Bernhard Bliem, Günther Charwat, Markus Hecher and Stefan Woltran D-FLAT^2: Subset Minimization in Dynamic Programming on Tree Decompositions Made Easy In Fundamenta Informaticae, 147 (1): 27-61, 2016.
    To appear.
    [ BibTeX ]
  4. Bernhard Bliem, Günther Charwat, Markus Hecher and Stefan Woltran Subset Minimization in Dynamic Programming on Tree Decompositions In AAAI-16 Workshop on Beyond NP, WS-16-05 , pages 300-306, 2016.
    [ Abstract | BibTeX | pdf  ]
  5. Michael Abseher, Bernhard Bliem, Günther Charwat, Frederico Dusberger and Stefan Woltran Computing Secure Sets in Graphs using Answer Set Programming In Journal of Logic and Computation, 2016.
    (Special issue of ASPOCP 2014)
    [ Abstract | BibTeX | pdf  ]

2015

  1. Bernhard Bliem, Günther Charwat, Markus Hecher and Stefan Woltran D-FLAT^2: Subset Minimization in Dynamic Programming on Tree Decompositions Made Easy Technical Report DBAI-TR-2015-93, DBAI, TU Wien, 2015.
    [ Abstract | BibTeX | pdf  ]
  2. Günther Charwat and Stefan Woltran Efficient Problem Solving on Tree Decompositions using Binary Decision Diagrams In Proc. of the 13th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2015), Volume 9345 of LNCS, pages 213-227, Springer, 2015.
    [ Abstract | BibTeX | pdf  | slides  ]
  3. Günther Charwat and Andreas Pfandler Democratix: A Declarative Approach to Winner Determination In Proc. of the 4th International Conference on Algorithmic Decision Theory (ADT 2015), Volume 9346 of LNCS, pages 253-269, Springer, 2015.
    [ Abstract | BibTeX | pdf  | slides  | system page  ]
  4. Günther Charwat Dynamic Programming on Tree Decompositions using Binary Decision Diagrams: Research Summary In Proc. of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015), Volume 1433 of CEUR Workshop Proceedings, CEUR-WS.org, 2015.
    [ Abstract | BibTeX | pdf  ]
  5. Bernhard Bliem, Günther Charwat, Markus Hecher and Stefan Woltran D-FLAT^2: Subset Minimization in Dynamic Programming on Tree Decompositions Made Easy In Eighth Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2015), 2015.
    [ Abstract | BibTeX | pdf  | system page  ]
  6. Günther Charwat, Wolfgang Dvořák, Sarah Alice Gaggl, Johannes Peter Wallner and Stefan Woltran Methods for Solving Reasoning Problems in Abstract Argumentation - A Survey In Artificial Intelligence, 220 (0): 28-63, 2015.
    [ Abstract | BibTeX | doi  ]

2014

  1. Michael Abseher, Bernhard Bliem, Günther Charwat, Frederico Dusberger, Markus Hecher and Stefan Woltran The D-FLAT System for Dynamic Programming on Tree Decompositions In Proc. of the 14th European Conference on Logics in Artificial Intelligence (JELIA 2014), Volume 8761 of LNCS, pages 558-572, Springer, 2014.
    [ Abstract | BibTeX | pdf  | system page  ]
  2. Michael Abseher, Bernhard Bliem, Günther Charwat, Frederico Dusberger, Markus Hecher and Stefan Woltran The D-FLAT System for Dynamic Programming on Tree Decompositions In Fourth International Workshop on Logic and Search (LaSh 2014), 2014.
    [ Abstract | BibTeX | pdf  ]
  3. Günther Charwat and Andreas Pfandler DEMOCRATIX: A Declarative Approach to Winner Determination In Fifth International Workshop on Computational Social Choice (COMSOC 2014), 2014.
    [ Abstract | BibTeX | pdf  | system page  ]
  4. Michael Abseher, Bernhard Bliem, Günther Charwat, Frederico Dusberger and Stefan Woltran Computing Secure Sets in Graphs using Answer Set Programming In Seventh Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2014), 2014.
    [ Abstract | BibTeX | pdf  ]
  5. Michael Abseher, Bernhard Bliem, Günther Charwat, Frederico Dusberger, Markus Hecher and Stefan Woltran D-FLAT: Progress Report Technical Report DBAI-TR-2014-86, DBAI, Vienna University of Technology, 2014.
    [ Abstract | BibTeX | pdf  ]

2013

  1. 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), Volume 8148 of LNCS, pages 42-53, Springer, 2013.
    [ Abstract | BibTeX | pdf  ]
  2. Thomas Ambroz, Günther Charwat, Andreas Jusits, Johannes Peter Wallner and Stefan Woltran ARVis: Visualizing Relations between Answer Sets In Proc. of the 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013), Volume 8148 of LNCS, pages 73-78, Springer, 2013.
    [ Abstract | BibTeX | pdf  | slides  | poster  | system page  ]
  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), Volume 8148 of LNCS, pages 233-238, Springer, 2013.
    [ Abstract | BibTeX | pdf  ]
  4. Günther Charwat, Wolfgang Dvořák, Sarah Alice Gaggl, Johannes Peter Wallner and Stefan Woltran Implementing Abstract Argumentation - A Survey Technical Report DBAI-TR-2013-82, DBAI, Vienna University of Technology, 2013.
    [ Abstract | BibTeX | pdf  ]

2012

  1. Günther Charwat, Johannes Peter Wallner and Stefan Woltran Utilizing ASP for Generating and Visualizing Argumentation Frameworks In Proc. of the Fifth Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2012), pages 51-65, 2012.
    [ Abstract | BibTeX | pdf  | slides  | system page  ]
  2. Günther Charwat and Wolfgang Dvořák dynPARTIX 2.0 - Dynamic Programming Argumentation Reasoning Tool In Proc. of the Fourth International Conference on Computational Models of Argument (COMMA 2012), Volume 245 of Frontiers in Artificial Intelligence and Applications, pages 507-508, IOS Press, 2012.
    [ Abstract | BibTeX | pdf  | system page  ]
  3. Günther Charwat Tree-decomposition based Algorithms for Abstract Argumentation Frameworks Master's Thesis, Vienna University of Technology, 2012.
    Stefan Woltran and Wolfgang Dvořák advisors
    [ Abstract | BibTeX | pdf  | poster  ]

Valid XHTML 1.0 Transitional Valid CSS


Home / Kontakt / Webmaster / Offenlegung gemäß § 25 Mediengesetz: Inhaber der Website ist das Institut für Informationssysteme 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.