TU Wien Informatics

20 Years

Role

2023W

 

  • Computing Secure Sets in Graphs using Answer Set Programming / Abseher, M., Bliem, B., Charwat, G., Dusberger, F., & Woltran, S. (2020). Computing Secure Sets in Graphs using Answer Set Programming. Journal of Logic and Computation, 30(4), 837–862. https://doi.org/10.1093/logcom/exv060
    Projects: D-Flat (2013–2017) / START (2014–2022)
  • Expansion-based QBF Solving on Tree Decompositions / Charwat, G., & Woltran, S. (2019). Expansion-based QBF Solving on Tree Decompositions. Fundamenta Informaticae, 167(1–2), 59–92. https://doi.org/10.3233/fi-2019-1810
    Project: START (2014–2022)
  • BDD-based dynamic programming on tree decompositions : towards an alternative approach for efficient QBF solving / Charwat, G. (2017). BDD-based dynamic programming on tree decompositions : towards an alternative approach for efficient QBF solving [Dissertation, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/78589
  • Expansion-based (QBF) Solving on Tree Decompositions / Charwat, G., & Woltran, S. (2017). Expansion-based (QBF) Solving on Tree Decompositions. In M. Maratea & I. Serina (Eds.), Proceedings of the 24th International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA@AI*IA 2017) (pp. 16–26). CEUR-WS.org. http://hdl.handle.net/20.500.12708/57127
    Project: START (2014–2022)
  • Dynamic Programming-based QBF Solving / Charwat, G., & Woltran, S. (2016). Dynamic Programming-based QBF Solving. In F. Lonsing & M. Seidl (Eds.), Proceedings of the 4th International Workshop on Quantified Boolean Formulas (QBF 2016) (p. 14). CEUR-WS.org. http://hdl.handle.net/20.500.12708/56683
    Projects: D-Flat (2013–2017) / START (2014–2022)
  • D-FLAT^2: Subset Minimization in Dynamic Programming on Tree Decompositions Made Easy / Bliem, B., Charwat, G., Hecher, M., & Woltran, S. (2016). D-FLAT^2: Subset Minimization in Dynamic Programming on Tree Decompositions Made Easy. Fundamenta Informaticae, 147(1), 27–61. http://hdl.handle.net/20.500.12708/149519
    Projects: D-Flat (2013–2017) / START (2014–2022)
  • Subset Minimization in Dynamic Programming on Tree Decompositions / Bliem, B., Charwat, G., Hecher, M., & Woltran, S. (2016). Subset Minimization in Dynamic Programming on Tree Decompositions. In A. Darwiche (Ed.), Beyond NP, Papers from the 2016 AAAI Workshop (pp. 300–306). AAAI Press. http://hdl.handle.net/20.500.12708/56613
    Projects: D-Flat (2013–2017) / START (2014–2022)
  • BDD-based Dynamic Programming on Tree Decompositions / Charwat, G., & Woltran, S. (2016). BDD-based Dynamic Programming on Tree Decompositions (DBAI-TR-2016-95, DBAI). http://hdl.handle.net/20.500.12708/39076
    Project: START (2014–2022)
  • D-FLAT^2: Subset Minimization in Dynamic Programming on Tree Decompositions Made Easy / Bliem, B., Charwat, G., Hecher, M., & Woltran, S. (2015). D-FLAT^2: Subset Minimization in Dynamic Programming on Tree Decompositions Made Easy. In D. Inclezan & M. Maratea (Eds.), 8th Workshop on Answer Set Programming and Other Computing Paradigms, ASPOCP 2015 (p. 15). http://hdl.handle.net/20.500.12708/56186
    Projects: D-Flat (2013–2017) / START (2014–2022)
  • Methods for solving reasoning problems in abstract argumentation - A survey / Charwat, G., Dvořák, W., Gaggl, S. A., Wallner, J. P., & Woltran, S. (2015). Methods for solving reasoning problems in abstract argumentation - A survey. Artificial Intelligence, 220, 28–63. https://doi.org/10.1016/j.artint.2014.11.008
    Projects: D-Flat (2013–2017) / START (2014–2022)
  • Dynamic Programming on Tree Decompositions using Binary Decision Diagrams / Charwat, G. (2015). Dynamic Programming on Tree Decompositions using Binary Decision Diagrams. In M. De Vos, T. Eiter, Y. Lierler, & F. Toni (Eds.), Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015), Cork, Ireland, August 31 - September 4, 2015 (p. 10). CEUR-WS.org. http://hdl.handle.net/20.500.12708/56219
    Project: START (2014–2022)
  • Efficient Problem Solving on Tree Decompositions Using Binary Decision Diagrams / Charwat, G., & Woltran, S. (2015). Efficient Problem Solving on Tree Decompositions Using Binary Decision Diagrams. In F. Calimeri, G. Ianni, & M. Truszczynski (Eds.), Logic Programming and Nonmonotonic Reasoning (pp. 213–227). Springer. https://doi.org/10.1007/978-3-319-23264-5_19
    Projects: D-Flat (2013–2017) / START (2014–2022)
  • Democratix: A Declarative Approach to Winner Determination / Charwat, G., & Pfandler, A. (2015). Democratix: A Declarative Approach to Winner Determination. In T. Walsh (Ed.), Algorithmic Decision Theory (pp. 253–269). Springer. https://doi.org/10.1007/978-3-319-23114-3_16
    Projects: D-Flat (2013–2017) / FAIR (2013–2018) / START (2014–2022)
  • D-FLAT^2: Subset Minimization in Dynamic Programming on Tree Decompositions Made Easy / Bliem, B., Charwat, G., Hecher, M., & Woltran, S. (2015). D-FLAT^2: Subset Minimization in Dynamic Programming on Tree Decompositions Made Easy (DBAI-TR-2015-93). http://hdl.handle.net/20.500.12708/38634
    Projects: D-Flat (2013–2017) / START (2014–2022)
  • DEMOCRATIX: A Declarative Approach to Winner Determination / Charwat, G., & Pfandler, A. (2014). DEMOCRATIX: A Declarative Approach to Winner Determination. In A. Procaccia & T. Walsh (Eds.), Proceedings of the Fifth International Workshop on Computational Social Choice (p. 15). http://hdl.handle.net/20.500.12708/55772
    Projects: D-Flat (2013–2017) / FAIR (2013–2018)
  • Computing Secure Sets in Graphs using Answer Set Programming. / Abseher, M., Bliem, B., Charwat, G., Dusberger, F., & Woltran, S. (2014). Computing Secure Sets in Graphs using Answer Set Programming. In 7th Workshop on Answer Set Programming and Other Computing Paradigms, ASPOCP 2014. ASPOCP 2014 - 7th Workshop on Answer Set Programming and Other Computing Paradigms, Wien, Austria. http://hdl.handle.net/20.500.12708/55222
    Project: D-Flat (2013–2017)
  • The D-FLAT System for Dynamic Programming on Tree Decompositions / Abseher, M., Bliem, B., Charwat, G., Dusberger, F., Hecher, M., & Woltran, S. (2014). The D-FLAT System for Dynamic Programming on Tree Decompositions. In E. Fermé & J. Leite (Eds.), Logics in Artificial Intelligence (pp. 558–572). Springer. https://doi.org/10.1007/978-3-319-11558-0_39
    Projects: D-Flat (2013–2017) / START (2014–2022)
  • D-FLAT: Progress Report / Abseher, M., Bliem, B., Charwat, G., Dusberger, F., Hecher, M., & Woltran, S. (2014). D-FLAT: Progress Report (DBAI-TR-2014-86). http://hdl.handle.net/20.500.12708/38156
    Project: D-Flat (2013–2017)
  • The Fourth Answer Set Programming Competition: Preliminary Report / Alviano, M., Calimeri, F., Charwat, G., Dao-Tran, M., Dodaro, C., Ianni, G., Krennwallner, T., Kronegger, M., Oetsch, J., Pfandler, A., Puehrer, J., Redl, C., Ricca, F., Schneider, P., Schwengerer, M., Spendier, L., Wallner, J. P., & Xiao, G. (2013). The Fourth Answer Set Programming Competition: Preliminary Report. In P. Cabalar & T. C. Son (Eds.), 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013) (pp. 42–53). Springer. http://hdl.handle.net/20.500.12708/54640
    Projects: ASP (2012–2015) / HEX-Programme (2008–2012)
  • VCWC: A Versioning Competition Workflow Compiler / Charwat, G., Ianni, G., Krennwallner, T., Kronegger, M., Pfandler, A., Redl, C., Schwengerer, M., Spendier, L., Wallner, J. P., & Xiao, G. (2013). VCWC: A Versioning Competition Workflow Compiler. In T. C. Son & P. Cabalar (Eds.), 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013) (pp. 233–238). Springer. http://hdl.handle.net/20.500.12708/54641
    Projects: ASP (2012–2015) / HEX-Programme (2008–2012)
  • ARVis: Visualizing Relations between Answer Sets / Ambroz, T., Charwat, G., Jusits, A., Wallner, J. P., & Woltran, S. (2013). ARVis: Visualizing Relations between Answer Sets. In P. Cabalar & T. C. Son (Eds.), Logic Programming and Nonmonotonic Reasoning (pp. 73–78). Springer. https://doi.org/10.1007/978-3-642-40564-8_8
  • Utilizing ASP for Generating and Visualizing Argumentation Frameworks / Charwat, G., Wallner, J. P., & Woltran, S. (2012). Utilizing ASP for Generating and Visualizing Argumentation Frameworks. In M. Fink & Y. Lierler (Eds.), 5th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2012) (p. 15). CoRR. http://hdl.handle.net/20.500.12708/54185
  • Tree-decomposition based algorithms for abstract argumentation frameworks / Charwat, G. (2012). Tree-decomposition based algorithms for abstract argumentation frameworks [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-54722
    Download: PDF (885 KB)
  • dynPARTIX 2.0 - Dynamic Programming Argumentation Reasoning Tool / Charwat, G., & Dvorak, W. (2012). dynPARTIX 2.0 - Dynamic Programming Argumentation Reasoning Tool. In B. Verheij, S. Szeider, & S. Woltran (Eds.), Proceedings of Computational Models of Argument - Proceedings of COMMA 2012 (pp. 507–508). Frontiers in Artificial Intelligence and Applications / IOS Press. http://hdl.handle.net/20.500.12708/54497
    Project: Argu (2009–2012)