TU Wien Informatics

Logic and Computation

Over the last few decades, computers have been increasingly used for tasks that were once thought the sole preserve of human intelligence. Scientists have developed ways of formally representing knowledge and using “intelligent” methods to solve problems with the aid of computers. This field is generally described as computational intelligence.

Logic and Computation

Contact

Research Topics

  • Algorithms and Complexity
  • Computational Logic and Deduction
  • Constraints and Satisfiability
  • Problem Solving and Optimization
  • Foundations of Databases and Artificial Intelligence
  • Knowledge Representation and Reasoning Methods
  • Semantic Systems and the Web
  • Formal Methods for Security and Privacy
  • Verification and Safety of Computer Systems
  • Natural Computing and Formal Languages

About

Over the last few decades, computers have been increasingly used for tasks that were once thought the sole preserve of human intelligence. Scientists have developed ways of formally representing knowledge and using “intelligent” methods to solve problems with the aid of computers. This field is generally described as computational intelligence.

Logic and Computation focuses on logical methods and algorithms for modeling, constructing, and analyzing complex and intelligent computer systems. The research focus comprises basic research on mathematical logic, automated decision procedures, and algorithms and their complexity, as well as applications of logical methods to data and knowledge bases, semantic systems, artificial intelligence, and formal methods for building and operating computer systems. Logic serves as a unifying theme that provides the theory and tools to acquire, represent, and manipulate information in intelligent systems, and to address challenges such as the security, safety, and correctness of safety-critical and distributed systems.

Below is a small selection of recent research activities related to Logic and Computation. To learn more, visit the pages of the research units listed above.

  • Stable Matchings with Diversity Constraints: Affirmative Action is beyond NP / J. Chen, R. Ganian, T. Hamm / Talk: International Joint Conference on Artificial Intelligence (IJCAI), Yokohama, Japan; 2021-01-07 - 2021-01-15; in: "Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence", (2020), ISBN: 978-0-9992411-6-5; 1 - 7
  • Fast and Parallel Decomposition of Constraint Satisfaction Problems / G. Gottlob, C. Okulmus, R. Pichler / Talk: IJCAI 2020, Yokohama; 2021-01-01 - 2021-01-10; in: "Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, (IJCAI 2020)", (2020), 1155 - 1162
  • Distributing Battery Swapping Stations for Electric Scooters in an Urban Area / T. Jatschka, T. Rodemann, G. Raidl / Talk: International Conference Optimization and Applications, Moscow, Russia; 2020-09-28 - 2020-10-02; in: "Optimization and Applications", LNCS / Springer, 12422 (2020), ISBN: 978-3-030-62867-3; 150 - 165
  • On the Use of Decision Diagrams for Finding Repetition-Free Longest Common Subsequences / M. Horn, M. Djukanovic, C. Blum, G. Raidl / Talk: International Conference Optimization and Applications, Moscow, Russia; 2020-09-28 - 2020-10-02; in: "Optimization and Applications", LNCS / Springer, 12422 (2020), ISBN: 978-3-030-62866-6; 134 - 149
  • Thread-modular Counter Abstraction for Parameterized Program Safety / T. Pani, G. Weissenbacher, F. Zuleger / Talk: International Conference on Formal Methods in Computer-Aided Design (FMCAD), Haifa, Israel; 2020-09-22 - 2020-09-24; in: "Formal Methods in Computer-Aided Design", TU Wien Academic Press / IEEE, 1 (2020), ISBN: 978-3-85448-042-6; 67 - 76
  • Structural Decompositions of Epistemic Logic Programs / M. Hecher, M. Morak, S. Woltran / Talk: ICLP 2020, Rende, Italien; 2020-09-18 - 2020-09-24; in: "International Conference on Logic Programming 2020 Workshop Proceedings co-located with 36th International Conference on Logic Programming {(ICLP} 2020), Rende, Italy, September 18-19, 2020", CEUR-WS.org, (2020), 1 - 13
  • Treewidth-Aware Quantifier Elimination and Expansion for {QCSP} / J. Fichte, M. Hecher, M. Kieler / Talk: CP 2020 - 26th International Conference - Principles and Practice of Constraint Programming, Louvain-laNeuve, Belgium; 2020-09-07 - 2020-09-11; in: "Principles and Practice of Constraint Programming - 26th International Conference, {CP} 2020, Louvain-la-Neuve, Belgium, September 7-11, 2020, Proceedings", (2020), 248 - 266
  • Defining Argumentation Semantics under a Claim-centric View / A. Rapberger / Talk: ECAI 2020, Santiago de Compostela, Spain; 2020-08-29 - 2020-09-05; in: "Proceedings of the 9th European Starting {AI} Researchers' Symposium 2020 co-located with 24th European Conference on Artificial Intelligenc {(ECAI} 2020), Santiago Compostela, Spain, August, 2020", (2020), 1 - 8
  • On the Relation Between Claim-Augmented Argumentation Frameworks and Collective Attacks / W. Dvorak, A. Rapberger, S. Woltran / Talk: ECAI 2020, Santiago de Compostela, Spain; 2020-08-29 - 2020-09-05; in: "ECAI} 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020 - Including 10th Conference on Prestigious Applications of Artificial Intelligence {(PAIS} 2020)", (2020), 721 - 728
  • A Double-Horizon Approach to a Purely Dynamic and Stochastic Vehicle Routing Problem with Delivery Deadlines and Shift Flexibility / N. Frohner, G. Raidl / Talk: International Conference of the Practice and Theory of Automated Timetabling (PATAT), Bruges, Belgium; 2020-08-25 - 2020-08-29; in: "Proceedings of the 13th International Conference on the Practice and Theory of Automated Timetabling", (2020), ISBN: 978-0-9929984-3-1; 58 - 76
  • Towards Data-Driven Multilinear Metro Maps / S. Nickel, M. Nöllenburg / Talk: International Conference on Theory and Application of Diagrams, Tallinn, Estonia; 2020-08-24 - 2020-08-28; in: "Proceedings International Conference on Theory and Application of Diagrams", LNAI, 12169 (2020), ISBN: 978-3-030-54248-1; 153 - 161
  • Formalizing Graph Trail Properties in Isabelle/HOL / L. Kovacs, Hanna Lachnitt, S. Szeider / Talk: International Conference on Intelligent Computer Mathematics (CICM), Bertinoro, Forli, Italy; 2020-07-26 - 2020-07-31; in: "CICM 2020: Intelligent Computer Mathematics", LNCS, 12236 (2020), ISBN: 978-3-030-53518-6; 190 - 205
  • Lower Bounds for QBFs of Bounded Treewidth / J. Fichte, M. Hecher, A. Pfandler / Talk: LICS 2020, Saarbrücken, Germany; 2020-07-08 - 2020-07-11; in: "LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, Saarbrücken, Germany, July 8-11, 2020", (2020), 410 - 424
  • A Faster Algorithm for Propositional Model Counting Parameterized by Incidence Treewidth / F. Slivovsky, S. Szeider / Talk: Theory and Applications of Satisfiability Testing, Alghero, Italien; 2020-07-03 - 2020-07-10; in: "Theory and Applications of Satisfiability Testing - SAT 2020", LNCS, 12178 (2020), ISBN: 978-3-030-51824-0; 267 - 276
  • Multi-linear Strategy Extraction for QBF Expansion Proofs via Local Soundness / M. Schlaipfer, F. Slivovsky, G. Weissenbacher, F. Zuleger / Talk: International Conference on the Theory and Applications of Satisfiability Testing, Alghero, Italien; 2020-07-03 - 2020-07-10; in: "SAT 2020: Theory and Applications of Satisfiability Testing - SAT 2020", LNCS, 12178 (2020), ISBN: 978-3-030-51824-0; 429 - 446
  • Thomas Eiter: ACM Fellow
    2020 / ACM Fellowship / USA
  • Thomas Eiter: Best Paper of the 3rd International Joint Conference on Rules and Reasoning (RuleML+RR 2019)
    2019 / 3rd International Joint Conference on Rules and Reasoning (RuleML+RR 2019), September 16-19, 2019, Bolzano, Italy / Germany
  • Thomas Eiter: Best Systems Paper Award of the 35th International Conference on Logic Programming (ICLP 2019)
    2019 / 35th International Conference on Logic Programming (ICLP 2019), September 22-25, 2019, Las Cruces, New Mexico, USA / UK
  • Thomas Eiter: Best Student Paper of the 15th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2019)
    2019 / 15th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2019), Jun 3-7, 2019, Philadelphia, USA / USA
  • Thomas Eiter: Best Paper Award of the 34th International Conference on Logic Programming (ICLP 2018)
    2018 / 34th International Conference on Logic Programming (ICLP 2018), July 14- 17, 2018, Oxford, UK / UK
  • Stefan Woltran: EurAI Fellows programme
    2018 / EurAI Fellow / Website
  • Thomas Eiter: Best Paper Award of the 14th Extended Semantic Web Conference (ESWC 2017)
    2017 / 14th Extended Semantic Web Conference (ESWC 2017), May 28 - June 1, 2017, Portoroz, Slovenia / Germany
  • Ewa Vesely: Vereinbarkeit vom Beruf/Forschung und Pflege von Angehörigen
    2016 / HR Inside Summit Award 2016, BRONZE / Austria / Website
  • Thomas Eiter: Member of Academia Europea (London)
    2016 / Academia Europea (London) Membership / UK
  • Ewa Vesely: Unterstützungsmaßnahmen für pflegende Angehörige
    2016 / Austria / Website
  • Federico Aschieri: Curry-Howard, Game Semantics and Herbrand's Theorem
    2015 / Meitner-Programm / Austria / Project
  • Florian Zuleger: Verication of Asynchronous Mobile-Robots in Partially-Known Environments
    2015 / Best Paper Award / Italy
  • Georg Gottlob: ExtraLytics
    2014 / ERC Europäischer Forschungsrat
  • Maria Magdalena Ortiz de la Fuente: Distinguished Alumna Award of the European Masters in Computational Logic
    2014 / International Organization
  • Stefan Woltran: Treating Hard Problems with Decomposition and Dynamic Programming (Decodyn)
    2014 / START-Programm / Austria / Website / Project