{"id":6966,"date":"2021-11-27T08:36:44","date_gmt":"2021-11-27T08:36:44","guid":{"rendered":"https:\/\/content.technikum-wien.at\/?post_type=contacts&p=6966"},"modified":"2022-07-13T09:59:19","modified_gmt":"2022-07-13T09:59:19","slug":"christoph-redl","status":"publish","type":"contacts","link":"https:\/\/content.technikum-wien.at\/personal\/christoph-redl\/","title":{"rendered":"Dipl.-Ing. Dipl.-Ing. Dr. techn. Christoph Redl, BSc"},"content":{"rendered":"\n
\n
\n

Ausbildung<\/h2>\n<\/div>\n<\/div>\n\n\n\n
\n
\n
  • 2010-2014: Doktoratsstudium der Informatik im Bereich logikbasierte AI an der TU Wien\u00a0<\/li>
  • 2009-2010: Masterstudium Medizinische Informatik an der TU Wien\u00a0<\/li>
  • 2008-2010: Masterstudium Computational Intelligence an der TU Wien\u00a0<\/li>
  • 2005-2008: Bachelorstudium Software and Information Engineering an der TU Wien\u00a0<\/li>
  • 2000-2005: HTL St. P\u00f6lten f\u00fcr EDV und Organisation\u00a0<\/li><\/ul>\n<\/div>\n<\/div>\n\n\n\n
    \n
    \n

    Beruflicher Werdegang<\/h2>\n<\/div>\n<\/div>\n\n\n\n
    \n
    \n
    • seit 2019 Senior Lecturer and Researcher an der FHTW\u00a0<\/li>
    • 2015-2019 Universit\u00e4tsassistent an der TU Wien\u00a0<\/li>
    • 2010-2015 Projektassistent in diversen FWF- und WWTF-gef\u00f6rderten Projekten\u00a0<\/li>
    • 2007-2010 Tutor an der TU Wien\u00a0<\/li>
    • 2002 und 2004 Praktika in der Industrie\u00a0<\/li><\/ul>\n<\/div>\n<\/div>\n\n\n\n
      \n
      \n

      T\u00e4tigkeitsbereiche an der FHTW<\/h2>\n<\/div>\n<\/div>\n\n\n\n
      \n
      \n
      • Schwerpunkte in der Lehre: Formale Grundlagen der Informatik, Algorithmen und Datenstrukturen, Einf\u00fchrung in die AI.\u00a0<\/li>
      • Bisherige Forschungst\u00e4tigkeit: Entwicklung von AI-Anwendungsszenarien f\u00fcr KMUs\u00a0<\/li><\/ul>\n<\/div>\n<\/div>\n\n\n\n
        \n
        \n

        Thematische Interessen<\/h2>\n<\/div>\n<\/div>\n\n\n\n
        \n
        \n
        • logikbasierte AI\u00a0<\/li>
        • theoretische Informatik\u00a0<\/li>
        • mathematische Grundlagen der Informatik\u00a0<\/li>
        • Algorithmen und Datenstrukturen\u00a0<\/li><\/ul>\n<\/div>\n<\/div>\n\n\n\n
          \n
          \n

          Publikationen und Vortr\u00e4ge<\/h2>\n<\/div>\n<\/div>\n\n\n\n
          \n

          Dominik Dolezal, Florian Eckkrammer, Gerd Holweg, Sylvia Geyer, Robert Pucher, Christoph Redl, Benedik Salzbrunn, and Daniela Waller.<\/p>\n\n\n\n

          Did COVID-19 improve our teaching?.<\/p>\n\n\n\n

          Proceedings of the International Conference of Education, Research and Innovation, Busan, South Korea, November 9-10, 2020.<\/p>\n\n\n\n

          <\/p>\n\n\n\n

          Christoph Redl.<\/p>\n\n\n\n

          Inlining External Sources in Answer Set Programs.<\/p>\n\n\n\n

          Theory and Practice of Logic Programming, 19(3):360-411, 2019.<\/p>\n\n\n\n

          <\/p>\n\n\n\n

          Thomas Eiter, Tobias Kaminski, Christoph Redl, and Antonius Weinzierl.<\/p>\n\n\n\n

          Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Sources.<\/p>\n\n\n\n

          In Journal of Artificial Intelligence Research, volume 62, pages 665-727, July 2018.<\/p>\n\n\n\n

          Inconsistency in Answer Set Programs and Extensions.<\/p>\n\n\n\n

          Technical Report LOGCOMP RR-1923-18-04, Institut f\u00fcr Logic and Computation, TU Wien, Favoritenstra\u00dfe 9-11, A-1040 Vienna, June 2018.<\/p>\n\n\n\n

          <\/p>\n\n\n\n

          Thomas Eiter, Stefano Germano, Giovambattista Ianni, Tobias Kaminski, Christoph Redl, Peter Sch\u00fcller and Antonius Weinzierl.<\/p>\n\n\n\n

          The DLVHEX System.<\/p>\n\n\n\n

          KI – K\u00fcnstliche Intelligenz, volume 32, number 2-3, pages 187-189, August 15, 2018.<\/p>\n\n\n\n

          <\/p>\n\n\n\n

          Thomas Eiter, Tobias Kaminski, Christoph Redl, and Antonius Weinzierl.<\/p>\n\n\n\n

          Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Sources.<\/p>\n\n\n\n

          Technical Report LOGCOMP RR-1923-18-02, Institut f\u00fcr Logic and Computation, TU Wien, Favoritenstra\u00dfe 9-11, A-1040 Vienna, January 2018.<\/p>\n\n\n\n

          <\/p>\n\n\n\n

          Christoph Redl.<\/p>\n\n\n\n

          Inlining External Sources in Answer Set Programs.<\/p>\n\n\n\n

          Technical Report LOGCOMP RR-1923-18-01, Institut f\u00fcr Logic and Computation, TU Wien, Favoritenstra\u00dfe 9-11, A-1040 Vienna, January 2018.<\/p>\n\n\n\n

          <\/p>\n\n\n\n

          Christoph Redl.<\/p>\n\n\n\n

          Conflict-driven ASP Solving with External Sources and Program Splits.<\/p>\n\n\n\n

          Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence (IJCAI 2017), August 19-25, 2017, Melbourne, Australia.<\/p>\n\n\n\n

          <\/p>\n\n\n\n

          Thomas Eiter, Tobias Kaminski, Peter Sch\u00fcller, Christoph Redl, and Antonius Weinzierl.<\/p>\n\n\n\n

          Answer Set Programming with External Source Access.<\/p>\n\n\n\n

          Reasoning Web. Semantic Interoperability on the Web – 13th International Summer School 2017, London, UK, July 7-11, 2017, pages 204-275, Tutorial Lectures.<\/p>\n\n\n\n

          <\/p>\n\n\n\n

          Christoph Redl.<\/p>\n\n\n\n

          Explaining Inconsistency in Answer Set Programs and Extensions.<\/p>\n\n\n\n

          Proceedings of the Fourteenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2017), July 3-6, 2017, Helsinki, Finland.<\/p>\n\n\n\n

          <\/p>\n\n\n\n

          Christoph Redl.<\/p>\n\n\n\n

          Answer Set Programs with Queries over Subprograms.<\/p>\n\n\n\n

          Proceedings of the Fourteenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2017), July 3-6, 2017, Helsinki, Finland.<\/p>\n\n\n\n

          <\/p>\n\n\n\n

          Christoph Redl.<\/p>\n\n\n\n

          On Equivalance and Inconsistency of Answer Set Programs with External Sources.<\/p>\n\n\n\n

          Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence (AAAI 2017), February 4-9, 2017, San Francisco, California, USA.<\/p>\n\n\n\n

          <\/p>\n\n\n\n

          Christoph Redl.<\/p>\n\n\n\n

          Efficient Evaluation of Answer Set Programs with External Sources Based on External Source Inlining.<\/p>\n\n\n\n

          Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence (AAAI 2017), February 4-9, 2017, San Francisco, California, USA.<\/p>\n\n\n\n

          <\/p>\n\n\n\n

          Christoph Redl. Extending Answer Set Programs with Interpreted Functions as First-class Citizens.<\/p>\n\n\n\n

          Proceedings of the Nineteenth International Symposium on Practical Aspects of Declarative Languages (PADL 2017), January 16-17, 2017, Paris, France.<\/p>\n\n\n\n

          <\/p>\n\n\n\n

          Jakob Rath and Christoph Redl.<\/p>\n\n\n\n

          Integrating Answer Set Programming with Procedural Languages.<\/p>\n\n\n\n

          Proceedings of the Nineteenth International Symposium on Practical Aspects of Declarative Languages (PADL 2017), January 16-17, 2017, Paris, France.<\/p>\n\n\n\n

          <\/p>\n\n\n\n

          Christoph Redl.<\/p>\n\n\n\n

          Automated Benchmarking of KR-Systems.<\/p>\n\n\n\n

          Proceedings of the Twenty-Third RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, November 28, 2016, Genova, Italy.<\/p>\n\n\n\n

          <\/p>\n\n\n\n

          Christoph Redl.<\/p>\n\n\n\n

          The DLVHEX System for Knowledge Representation and Reasoning (System Description).<\/p>\n\n\n\n

          Theory and Practice of Logic Programming, 16(4-5):866-883, 2016.<\/p>\n\n\n\n

          <\/p>\n\n\n\n

          Giovambattista Ianni, Francesco Calimeri, Stefano Germano, Andreas Humenberger, Christoph Redl, Daria Stepanova, Andrea Tucci, and Anton Wimmer.<\/p>\n\n\n\n

          Angry-HEX: an Artificial Player for Angry Birds Based on Declarative Knowledge Bases.<\/p>\n\n\n\n

          IEEE Transactions on Computational Intelligence and AI in Games, 8(2):128-139, 2016.<\/p>\n\n\n\n

          <\/p>\n\n\n\n

          Thomas Eiter, Michael Fink, Giovambattista Ianni, Thomas Krennwallner, Christoph Redl, and Peter Sch\u00fcller.<\/p>\n\n\n\n

          A Model Building Framework for Answer Set Programming with External Computations.<\/p>\n\n\n\n

          Theory and Practice of Logic Programming, 16(4):418-464, 2016<\/p>\n\n\n\n

          <\/p>\n\n\n\n

          Thomas Eiter, Tobias Kaminski, Christoph Redl, and Antonius Weinzierl.<\/p>\n\n\n\n

          Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source Access.<\/p>\n\n\n\n

          Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence (IJCAI 2016), July 9-15, 2016, New York, New York, USA.<\/p>\n\n\n\n

          <\/p>\n\n\n\n

          Thomas Eiter, Christoph Redl, and Peter Sch\u00fcller.<\/p>\n\n\n\n

          Problem Solving Using the HEX Family.<\/p>\n\n\n\n

          In Christoph Beierle, Gerhard Brewka, and Matthias Thimm, editors, Computational Models of Rationality – Essays dedicated to Gabriele Kern-Isberner on the occasion of her 60th birthday, Tributes, pages 150-174. College Publications, January 2016.<\/p>\n\n\n\n

          <\/p>\n\n\n\n

          Thomas Eiter, Michael Fink, Thomas Krennwallner, and Christoph Redl.<\/p>\n\n\n\n

          Domain Expansion for ASP-Programs with External Sources.<\/p>\n\n\n\n

          In Artificial Intelligence, volume 233, pages 84-121, 2016<\/p>\n\n\n\n

          <\/p>\n\n\n\n

          Christoph Redl. The ABC Benchmarking System – User Guide.<\/p>\n\n\n\n

          Technical Report INFSYS RR-1843-16-01, Institut f\u00fcr Informationssysteme, TU Wien, Favoritenstra\u00dfe 9-11, A-1040 Vienna, January 2016.<\/p>\n\n\n\n

          <\/p>\n\n\n\n

          Thomas Eiter, Christoph Redl, and Peter Sch\u00fcller.<\/p>\n\n\n\n

          Problem Solving Using the HEX Family.<\/p>\n\n\n\n

          Technical Report INFSYS RR-1843-15-07, Institut f\u00fcr Informationssysteme, TU Wien, Favoritenstra\u00dfe 9-11, A-1040 Vienna, December 2015.<\/p>\n\n\n\n

          <\/p>\n\n\n\n

          Thomas Eiter, Mustafa Mehuljic, Christoph Redl, and Peter Sch\u00fcller.<\/p>\n\n\n\n

          User Guide: dlvhex 2.X.<\/p>\n\n\n\n

          Technical Report INFSYS RR-1843-15-05, Institut f\u00fcr Informationssysteme, TU Wien, Favoritenstra\u00dfe 9-11, A-1040 Vienna, September 2015.<\/p>\n\n\n\n

          <\/p>\n\n\n\n

          Alessandro De Rosis, Thomas Eiter, Christoph Redl, and Francesco Ricca.<\/p>\n\n\n\n

          Constraint Answer Set Programming based on HEX-Programs.<\/p>\n\n\n\n

          In Eighth Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2015), August 31, 2015, Cork, Ireland, August 2015.<\/p>\n\n\n\n

          <\/p>\n\n\n\n

          Thomas Eiter, Michael Fink, Giovambattista Ianni, Thomas Krennwallner, Christoph Redl, and Peter Sch\u00fcller.<\/p>\n\n\n\n

          A Model Building Framework for Answer Set Programming with External Computations.<\/p>\n\n\n\n

          Technical Report INFSYS RR-1843-15-01, Institut f\u00fcr Informationssysteme, TU Wien, Favoritenstra\u00dfe 9-11, A-1040 Vienna, January 2015.<\/p>\n\n\n\n

          <\/p>\n\n\n\n

          Thomas Eiter, Michael Fink, Thomas Krennwallner, and Christoph Redl.<\/p>\n\n\n\n

          Domain Expansion for ASP-Programs with External Sources.<\/p>\n\n\n\n

          Technical Report INFSYS RR-1843-14-02, Institut f\u00fcr Informationssysteme, TU Wien, Favoritenstra\u00dfe 9-11, A-1040 Vienna, September 2014.<\/p>\n\n\n\n

          <\/p>\n\n\n\n

          Francesco Calimeri, Michael Fink, Stefano Germano, Andreas Humenberger, Giovambattista Ianni, Christoph Redl, Daria Stepanova, and Andrea Tucci.<\/p>\n\n\n\n

          AngryHEX: an angry birds-playing agent based on HEX-programs.<\/p>\n\n\n\n

          Poster presentation, Angry Birds Competition 2014.<\/p>\n\n\n\n

          <\/p>\n\n\n\n

          Thomas Eiter, Michael Fink, Christoph Redl, and Daria Stepanova.<\/p>\n\n\n\n

          Exploiting Support Sets for Answer Set Programs with External Evaluations.<\/p>\n\n\n\n

          In Twenty-Eighth AAAI Conference (AAAI 2014), July 27-31, 2014, Qu\u00e9bec City, Qu\u00e9bec, Canada, AAAI Press, July 2014.<\/p>\n\n\n\n

          [ bib | paper ]<\/p>\n\n\n\n

          <\/p>\n\n\n\n

          Thomas Eiter, Michael Fink, Thomas Krennwallner, and Christoph Redl.<\/p>\n\n\n\n

          HEX-Programs with Existential Quantification.<\/p>\n\n\n\n

          In Ricardo Rocha, editor, 20th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2013), Kiel, Germany, September 11-13, 2013. Post proceedings.<\/p>\n\n\n\n

          <\/p>\n\n\n\n

          Yi-Dong Shen and Kewen Wang and Jun Deng and Christoph Redl and Thomas Krennwallner and Thomas Eiter, and Michael Fink.<\/p>\n\n\n\n

          FLP Answer Set Semantics without Circular Justifications for General Logic Programs.<\/p>\n\n\n\n

          In Artificial Intelligence, volume 213, pages 1-41, May 2014<\/p>\n\n\n\n

          <\/p>\n\n\n\n

          Thomas Eiter and Michael Fink and Thomas Krennwallner and Christoph Redl, and Peter Sch\u00fcller.<\/p>\n\n\n\n

          Efficient HEX-Program Evaluation Based on Unfounded Sets.<\/p>\n\n\n\n

          In Journal of Artificial Intelligence Research, volume 49, pages 269-321, February 2014.<\/p>\n\n\n\n

          <\/p>\n\n\n\n

          Francesco Calimeri, Michael Fink, Stefano Germano, Giovambattista Ianni, Christoph Redl, and Anton Wimmer.<\/p>\n\n\n\n

          AngryHEX: An Artificial Player for Angry Birds Based on Declarative Knowledge Bases.<\/p>\n\n\n\n

          In Hans Tompits, editor, National Workshop and Prize on Popularize Artificial Intelligence (PAI 2013). Turin, Italy, December 2013.<\/p>\n\n\n\n

          <\/p>\n\n\n\n

          Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl, and Peter Sch\u00fcller.<\/p>\n\n\n\n

          Improving HEX-Program Evaluation based on Unfounded Sets.<\/p>\n\n\n\n

          Technical Report INFSYS RR-1843-12-08, Institut f\u00fcr Informationssysteme, TU Wien, Favoritenstra\u00dfe 9-11, A-1040 Vienna, September 2012.<\/p>\n\n\n\n

          <\/p>\n\n\n\n

          Francesco Calimeri, Michael Fink, Stefano Germano, Giovambattista Ianni, Christoph Redl, and Anton Wimmer.<\/p>\n\n\n\n

          AngryHEX: an angry birds-playing agent based on HEX-programs.<\/p>\n\n\n\n

          Poster presentation, Angry Birds Competition 2013.<\/p>\n\n\n\n

          <\/p>\n\n\n\n

          Thomas Eiter, Thomas Krennwallner, and Christoph Redl.<\/p>\n\n\n\n

          HEX-Programs with Nested Program Calls.<\/p>\n\n\n\n

          In Hans Tompits, editor, 19th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2011), volume 7773 of LNAI, pages 1-10. Springer, October 2013.<\/p>\n\n\n\n

          <\/p>\n\n\n\n

          Thomas Eiter, Michael Fink, Thomas Krennwallner, and Christoph Redl.<\/p>\n\n\n\n

          HEX-Programs with Existential Quantification.<\/p>\n\n\n\n

          In Ricardo Rocha, editor, 20th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2013), Kiel, Germany, September 11-13, 2013, September 2013.<\/p>\n\n\n\n

          <\/p>\n\n\n\n

          Thomas Eiter, Michael Fink, Thomas Krennwallner, and Christoph Redl.<\/p>\n\n\n\n

          Grounding HEX-Programs with Expanding Domains.<\/p>\n\n\n\n

          In David Pearce, Shahab Tasharrofi, Evgenia Ternovska, and Concepci\u00f3n Vidal, editors, 2nd Workshop on Grounding and Transformations for Theories with Variables (GTTV 2013), Corunna, Spain, September 15, 2013, pages 3-15, September 2013.<\/p>\n\n\n\n

          <\/p>\n\n\n\n

          Mario Alviano, Francesco Calimeri, G\u00fcnther Charwat, Minh Dao-Tran, Carmine Dodaro, Giovambattista Ianni, Thomas Krennwallner, Martin Kronegger, Johannes Oetsch, Andreas Pfandler, J\u00f6rg P\u00fchrer, Christoph Redl, Francesco Ricca, Patrik Schneider, Martin Schwengerer, Lara Katharina Spendier, Johannes Peter Wallner, and Guohui Xiao.<\/p>\n\n\n\n

          The Fourth Answer Set Programming Competition: Preliminary Report.<\/p>\n\n\n\n

          In Pedro Cabalar and Tran Cao Son, editors, 12th International Conference on Logic Programming and Nonmonotonic Reasoning, Corunna, Spain, September 15-19, 2013, volume 8148 of LNCS, pages 42-53. Springer, September 2013.<\/p>\n\n\n\n

          <\/p>\n\n\n\n

          G\u00fcnther Charwat, Giovambattista Ianni, Thomas Krennwallner, Martin Kronegger, Andreas Pfandler, Christoph Redl, Martin Schwengerer, Lara Spendier, Johannes Peter Wallner, and Guohui Xiao.<\/p>\n\n\n\n

          VCWC: A Versioning Competition Workflow Compiler.<\/p>\n\n\n\n

          In Pedro Cabalar and Tran Cao Son, editors, 12th International Conference on Logic Programming and Nonmonotonic Reasoning, Corunna, Spain, September 15-19, 2013, volume 8148 of LNCS, pages 233-238. Springer, September 2013.<\/p>\n\n\n\n

          <\/p>\n\n\n\n

          Michael Fink, Stefano Germano, Giovambattista Ianni, Christoph Redl, and Peter Sch\u00fcller.<\/p>\n\n\n\n

          ActHEX: implementing HEX programs with action atoms.<\/p>\n\n\n\n

          In Pedro Cabalar and TranCao Son, editors Proceedings of the Twelfth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013), September 15-19, 2013, Corunna, Spain, volume 8148 of Lecture Notes in Computer Science, pages 317-322. Springer Berlin Heidelberg, 2013.<\/p>\n\n\n\n

          <\/p>\n\n\n\n

          Thomas Eiter, Michael Fink, Thomas Krennwallner, and Christoph Redl.<\/p>\n\n\n\n

          Liberal Safety for Answer Set Programs with External Sources.<\/p>\n\n\n\n

          In Marie desJardins and Michael Littman, editors, Twenty-Seventh AAAI Conference (AAAI 2013), July 14-18, 2013, Bellevue, Washington, USA, pages 267-275. AAAI Press, July 2013.<\/p>\n\n\n\n

          <\/p>\n\n\n\n

          Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl, and Peter Sch\u00fcller.<\/p>\n\n\n\n

          Exploiting Unfounded Sets for HEX-Program Evaluation.<\/p>\n\n\n\n

          In Luis Fari\u00f1as del Cerro, Andreas Herzig, and J\u00e9r\u00f4me Mengin, editors, 13th European Conference on Logics in Artificial Intelligence (JELIA 2012), September 26-28, 2012, Toulouse, France, volume 7519 of LNCS, pages 160-175. Springer, September<\/p>\n\n\n\n

          <\/p>\n\n\n\n

          Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl, and Peter Sch\u00fcller.<\/p>\n\n\n\n

          Eliminating Unfounded Set Checking for HEX-Programs.<\/p>\n\n\n\n

          In Michael Fink and Yuliya Lierler, editors, 5th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2012), September 4, 2012, Budapest, Hungary, pages 83-97, September 2012.<\/p>\n\n\n\n

          <\/p>\n\n\n\n

          Christoph Redl.<\/p>\n\n\n\n

          Answer Set Programming with External Sources.<\/p>\n\n\n\n

          In Eighth ICLP Doctoral Consortium, Budapest, Hungary, September 4, 2012, pages 469-475.<\/p>\n\n\n\n

          <\/p>\n\n\n\n

          Thomas Eiter, Michael Fink, Thomas Krennwallner, and Christoph Redl.<\/p>\n\n\n\n

          Conflict-driven ASP solving with external sources.<\/p>\n\n\n\n

          Theory and Practice of Logic Programming: Special Issue 28th International Conference on Logic Programming (ICLP 2012), 12(4-5):659-679, July 2012.<\/p>\n\n\n\n

          Published online: 05 September 2012.<\/p>\n\n\n\n

          <\/p>\n\n\n\n

          Thomas Eiter, Thomas Krennwallner, and Christoph Redl.<\/p>\n\n\n\n

          Nested HEX-Programs.<\/p>\n\n\n\n

          In Hans Tompits, editor, 19th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2011), Vienna, Austria, September 28-30, 2011, number arXiv:1108.5626v1 in arXiv.<\/p>\n\n\n\n

          Computing Research Repository (CoRR), September 2011.<\/p>\n\n\n\n

          <\/p>\n\n\n\n

          Thomas Eiter, Thomas Krennwallner, and Christoph Redl.<\/p>\n\n\n\n

          Declarative merging of and reasoning about decision diagrams.<\/p>\n\n\n\n

          In Alessandro Dal Pal\u00f9, Agostino Dovier, and Andrea Formisano, editors, Workshop on Constraint Based Methods for Bioinformatics (WCB 2011), Perugia, Italy, September 12, 2011, pages 3-15. Dipartimento di Matematica e Informatica, Universita degli Studi di Perugia, September 2011.<\/p>\n\n\n\n

          <\/p>\n\n\n\n

          Christoph Redl, Thomas Eiter, and Thomas Krennwallner.<\/p>\n\n\n\n

          Declarative Belief Set Merging using Merging Plans.<\/p>\n\n\n\n

          In Ricardo Rocha and John Launchbury, editors, 13th International Symposium on Practical Aspects of Declarative Languages (PADL 2011), Austin, Texas, U.S.A., January 24-25, 2011, volume 6539 of LNCS, pages 99-114. Springer, January 2011.<\/p>\n<\/div><\/div>\n","protected":false},"author":11,"template":"","ppma_author":[1746],"class_list":["post-6966","contacts","type-contacts","status-publish","hentry"],"acf":{"description":"Senior Lecturer\/Researcher","email":"christoph.redl@technikum-wien.at","phone":"+43 1 333 40 77 - 2234","openingHours":"","hideDetailButton":false,"featured_image":{"id":6967,"top":"50","left":"50","url":"https:\/\/media-hp.technikum-wien.at\/media\/20220103131307\/christoph-redl.jpg","width":120,"height":150,"alt":""}},"yoast_head":"\nDipl.-Ing. Dipl.-Ing. Dr. techn. Christoph Redl, BSc | FH Technikum Wien<\/title>\n<meta name=\"description\" content=\"Dominik Dolezal, Florian Eckkrammer, Gerd Holweg, Sylvia Geyer, Robert Pucher, Christoph Redl, Benedik Salzbrunn, and Daniela Waller. Did COVID-19\" \/>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/content.technikum-wien.at\/personal\/christoph-redl\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Dipl.-Ing. Dipl.-Ing. Dr. techn. Christoph Redl, BSc | FH Technikum Wien\" \/>\n<meta property=\"og:url\" content=\"https:\/\/content.technikum-wien.at\/personal\/christoph-redl\/\" \/>\n<meta property=\"og:site_name\" content=\"FH Technikum Wien\" \/>\n<meta property=\"article:modified_time\" content=\"2022-07-13T09:59:19+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/media-hp.technikum-wien.at\/media\/20220103131307\/christoph-redl.jpg\" \/>\n\t<meta property=\"og:image:width\" content=\"120\" \/>\n\t<meta property=\"og:image:height\" content=\"150\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/jpeg\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data1\" content=\"9 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\/\/content.technikum-wien.at\/personal\/christoph-redl\/\",\"url\":\"https:\/\/content.technikum-wien.at\/personal\/christoph-redl\/\",\"name\":\"Dipl.-Ing. Dipl.-Ing. Dr. techn. Christoph Redl, BSc | FH Technikum Wien\",\"isPartOf\":{\"@id\":\"https:\/\/content.technikum-wien.at\/#website\"},\"datePublished\":\"2021-11-27T08:36:44+00:00\",\"dateModified\":\"2022-07-13T09:59:19+00:00\",\"breadcrumb\":{\"@id\":\"https:\/\/content.technikum-wien.at\/personal\/christoph-redl\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/content.technikum-wien.at\/personal\/christoph-redl\/\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/content.technikum-wien.at\/personal\/christoph-redl\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/content.technikum-wien.at\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Contacts\",\"item\":\"https:\/\/content.technikum-wien.at\/personal\/\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"Dipl.-Ing. Dipl.-Ing. Dr. techn. Christoph Redl, BSc\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/content.technikum-wien.at\/#website\",\"url\":\"https:\/\/content.technikum-wien.at\/\",\"name\":\"FH Technikum Wien\",\"description\":\"Headless CMS der FH Technikum Wien\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/content.technikum-wien.at\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"en-US\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Dipl.-Ing. Dipl.-Ing. Dr. techn. Christoph Redl, BSc | FH Technikum Wien","description":"Dominik Dolezal, Florian Eckkrammer, Gerd Holweg, Sylvia Geyer, Robert Pucher, Christoph Redl, Benedik Salzbrunn, and Daniela Waller. Did COVID-19","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/content.technikum-wien.at\/personal\/christoph-redl\/","og_locale":"en_US","og_type":"article","og_title":"Dipl.-Ing. Dipl.-Ing. Dr. techn. Christoph Redl, BSc | FH Technikum Wien","og_url":"https:\/\/content.technikum-wien.at\/personal\/christoph-redl\/","og_site_name":"FH Technikum Wien","article_modified_time":"2022-07-13T09:59:19+00:00","og_image":[{"width":120,"height":150,"url":"https:\/\/media-hp.technikum-wien.at\/media\/20220103131307\/christoph-redl.jpg","type":"image\/jpeg"}],"twitter_card":"summary_large_image","twitter_misc":{"Est. reading time":"9 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/content.technikum-wien.at\/personal\/christoph-redl\/","url":"https:\/\/content.technikum-wien.at\/personal\/christoph-redl\/","name":"Dipl.-Ing. Dipl.-Ing. Dr. techn. Christoph Redl, BSc | FH Technikum Wien","isPartOf":{"@id":"https:\/\/content.technikum-wien.at\/#website"},"datePublished":"2021-11-27T08:36:44+00:00","dateModified":"2022-07-13T09:59:19+00:00","breadcrumb":{"@id":"https:\/\/content.technikum-wien.at\/personal\/christoph-redl\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/content.technikum-wien.at\/personal\/christoph-redl\/"]}]},{"@type":"BreadcrumbList","@id":"https:\/\/content.technikum-wien.at\/personal\/christoph-redl\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/content.technikum-wien.at\/"},{"@type":"ListItem","position":2,"name":"Contacts","item":"https:\/\/content.technikum-wien.at\/personal\/"},{"@type":"ListItem","position":3,"name":"Dipl.-Ing. Dipl.-Ing. Dr. techn. Christoph Redl, BSc"}]},{"@type":"WebSite","@id":"https:\/\/content.technikum-wien.at\/#website","url":"https:\/\/content.technikum-wien.at\/","name":"FH Technikum Wien","description":"Headless CMS der FH Technikum Wien","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/content.technikum-wien.at\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"en-US"}]}},"lang":"de","translations":{"de":6966,"en":6970},"translatedPermalinks":[{"de":"https:\/\/content.technikum-wien.at\/personal\/christoph-redl\/"},{"en":"https:\/\/content.technikum-wien.at\/en\/staff\/christoph-redl\/"}],"pll_sync_post":[],"_links":{"self":[{"href":"https:\/\/content.technikum-wien.at\/wp-json\/wp\/v2\/contacts\/6966","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/content.technikum-wien.at\/wp-json\/wp\/v2\/contacts"}],"about":[{"href":"https:\/\/content.technikum-wien.at\/wp-json\/wp\/v2\/types\/contacts"}],"author":[{"embeddable":true,"href":"https:\/\/content.technikum-wien.at\/wp-json\/wp\/v2\/users\/11"}],"version-history":[{"count":9,"href":"https:\/\/content.technikum-wien.at\/wp-json\/wp\/v2\/contacts\/6966\/revisions"}],"predecessor-version":[{"id":24985,"href":"https:\/\/content.technikum-wien.at\/wp-json\/wp\/v2\/contacts\/6966\/revisions\/24985"}],"wp:attachment":[{"href":"https:\/\/content.technikum-wien.at\/wp-json\/wp\/v2\/media?parent=6966"}],"wp:term":[{"taxonomy":"author","embeddable":true,"href":"https:\/\/content.technikum-wien.at\/wp-json\/wp\/v2\/ppma_author?post=6966"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}