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.

Note: Due to the rollout of TU Wien’s new publication database, the list below may be slightly outdated. Once APIs for the new database have been released, everything will be up to date again.

  • Equivalence in Argumentation Frameworks with a Claim-centric View - Classical Results With Novel Ingredients / R. Baumann, A. Rapberger, M. Ulbricht / Talk: NMR 2021 - 19th International Workshop on Non-Monotonic Reasoning, Hanoi, Vietnam; 2021-11-03 - 2021-11-05; in: "19th International Workshop on Non-Monotonic Reasoning", (2021), 71 - 80
  • Computing Kemeny Rankings from d-Euclidean Preferences / T. Hamm, M. Lackner, A. Rapberger / Talk: ADT 2021 - Algorithmic Decision Theory - 7th International Conference, Toulouse, France; 2021-11-03 - 2021-11-05; in: "Algorithmic Decision Theory - 7th International Conference, {ADT} 2021, Toulouse, France, November 3-5, 2021, Proceedings", (2021), 147 - 161
  • Minimizing Cumulative Batch Processing Time for an Industrial Oven Scheduling Problem / M. Lackner, C. Mrkvicka, N. Musliu, D. Walkiewicz, F. Winter / Talk: CP 2021 - 27th International Conference on Principles and Practice of Constraint Programming, Montpellier, France; 2021-10-25 - 2021-10-29; in: "27th International Conference on Principles and Practice of Constraint Programming, {CP} 2021, Montpellier, France (Virtual Conference), October 25-29, 2021}", (2021), 37:1 - 37:18
  • Parallel Model Counting with {CUDA:} Algorithm Engineering for Efficient Hardware Utilization / J. Fichte, M. Hecher, V. Roland / Talk: CP 2021 - 27th International Conference on Principles and Practice of Constraint Programming, Montpellier, France; 2021-10-25 - 2021-10-29; in: "27th International Conference on Principles and Practice of Constraint Programming, {CP} 2021, Montpellier, France (Virtual Conference), October 25-29, 2021", (2021), 24:1 - 24:20
  • Gerrymandering on Graphs: Computational Complexity and Parameterized Algorithms / S. Gupta, P. Jain, F. Panolan, S. Roy, S. Saurabh / Talk: International Symposium on Algorithmic Game Theory, Aarhus, Denmark; 2021-09-21 - 2021-09-24; in: "International Symposium on Algorithmic Game Theory", LNCS / Springer, 12885 (2021), ISBN: 978-3-030-85946-6; 140 - 155
  • Quantitative and Stream Extensions of Answer Set Programming. / R. Kiesel / Talk: 37th International Conference on Logic Programming (ICLP 2021), Porto, Portugal (virtual); 2021-09-20 - 2021-09-27; in: "Proceedings 37th International Conference on Logic Programming (Technical Communications), ICLP Technical Communications 2021, Porto (virtual event), 20-27th September 2021", (2021)
  • Layered Area-Proportional Rectangle Contact Representations / M. Nöllenburg, A. Villedieu, J. Wulms / Talk: International Symposium on Graph Drawing and Network Visualization (GD), Tübingen, Germany; 2021-09-14 - 2021-09-17; in: "International Symposium on Graph Drawing and Network Visualization-GD2021", LNCS / Springer, 12868 (2021), ISBN: 978-3-030-92930-5; 318 - 326
  • On the Upward Book Thickness Problem: Combinatorial and Complexity Results / S. Bhore, G. Da Lozzo, F. Montecchiani, M. Nöllenburg / Talk: International Symposium on Graph Drawing and Network Visualization (GD), Tübingen, Germany; 2021-09-14 - 2021-09-17; in: "International Symposium on Graph Drawing and Network Visualization-GD2021", LNCS / Springer, 12868 (2021), ISBN: 978-3-030-92930-5; 242 - 256
  • Rule-based Blockchain Knowledge Graphs: Declarative {AI} for Solving Industrial Blockchain Challenges / L. Bellomarini, G. Galano, M. Nissl, E. Sallinger / Talk: RuleML+RR 2021, Leuven, Belgium; 2021-09-08 - 2021-09-15; in: "Proceedings of the 15th International Rule Challenge, 7th Industry Track, and 5th Doctoral Consortium @ RuleML+RR 2021 co-located with 17th Reasoning Web Summer School {(RW} 2021) and 13th DecisionCAMP 2021 as part of Declarative {AI} 2021, Leuven, Belgium (virtual due to Covid-19 pandemic), 8 - 15 September, 2021}", (2021), 1 - 16
  • Eliminating Harmful Joins in Warded Datalog+/- / T. Baldazzi, L. Bellomarini, E. Sallinger, P. Atzeni / Talk: RuleML+RR 2021, Leuven, Belgium; 2021-09-08 - 2021-09-15; in: "Rules and Reasoning - 5th International Joint Conference, RuleML+RR 2021, Leuven, Belgium, September 13-15, 2021, Proceedings}", (2021), 267 - 275
  • EssentialFP: Exposing the Essence of Browser Fingerprinting / A. Sjösten, D. Hedin, A. Sabelfeld / Talk: EuroS&P 2021 SecWeb Workshop, Vienna; 2021-09-06; in: "IEEE European Symposium on Security and Privacy Workshops", (2021), 32 - 48
  • Finding the Hardest Formulas for Resolution (Extended Abstract) / T. Peitl, S. Szeider / Talk: IJCAI 2021 - 30th International Joint Conference on Artificial Intelligence, Montreal, Canada; 2021-08-19 - 2021-08-27; in: "Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence (IJCAI-21)", (2021), ISBN: 978-0-9992411-9-6; 4814 - 4818
  • Choice Logics and Their Computational Properties / M. Bernreiter, J. Maly, S. Woltran / Talk: IJCAI 2021 - 30th International Joint Conference on Artificial Intelligence, Montreal, Canada; 2021-08-19 - 2021-08-27; in: "Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, IJCAI 2021", (2021), 1794 - 1800
  • Decomposition-Guided Reductions for Argumentation and Treewidth / J. Fichte, M. Hecher, Y. Mahmood, A. Meier / Talk: IJCAI 2021 - 30th International Joint Conference on Artificial Intelligence, Montreal, Canada; 2021-08-19 - 2021-08-27; in: "Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, {IJCAI} 2021, Virtual Event / Montreal, Canada, 19-27 August 2021", (2021), 1880 - 1886
  • Automated configuration of parallel machine dispatching rules by machine learning / G. Faustmann, C. Mrkvicka, N. Musliu, F. Winter / Talk: GECCO 2021 - Genetic and Evolutionary Computation Conference, Companion Volume, Lille, France; 2021-07-10 - 2021-07-14; in: "GECCO '21: Genetic and Evolutionary Computation Conference, Companion Volume, Lille, France, July 10-14, 2021", (2021), 125 - 126
  • Markus Hecher: GI Dissertationspreis 2021
    2022 / GI,SI, and OCG / Germany / Website
  • Markus Hecher: KR Early Career Award 2022
    2022 / KR INC / USA / Website
  • Markus Hecher: Winner of the EurAI Dissertation Award 2021
    2022 / Website
  • Markus Hecher: Award of Excellence
    2021 / Austria / Website
  • 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
  • Markus Hecher: Würdigungspreis der Stadt Wien
    2016 / Stadt Wien / 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