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.

Contact
- Stefan Szeider, Coordinator
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.
Research Units
Seven of the faculty’s twenty-three research units are primarily focused on topics related to Logic and Computation. Visit their pages to learn about current projects, publications, courses, and the people involved.
-
Algorithms and Complexity
E192-01 / Head: Stefan Szeider -
Databases and Artificial Intelligence
E192-02 / Head: Stefan Woltran -
Knowledge-Based Systems
E192-03 / Head: Thomas Eiter -
Formal Methods in Systems Engineering
E192-04 / Head: Laura Kovacs -
Theory and Logic
E192-05 / Head: Gernot Salzer -
Security and Privacy
E192-06 / Head: Matteo Maffei -
Artificial Intelligence Techniques
E192-07 / Head: Thomas Lukasiewicz
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.
Recent Projects
-
A Composable Rational Framework for Blockchain Systems
2022 – 2025 / Austrian Science Fund (FWF) / Publication: 148519 -
Axiomatizing conditional normative reasoning
2021 – 2023 / Austrian Science Fund (FWF) / Publications: 106736, 142664, 86211, 87343, 88248 -
Cooperative Optimization (Extension)
2021 – 2022 / Honda Research Institute Europe Gmb -
Mosaic -- modal logics
2021 – 2025 / European Commission -
Automated Reasoning with Theories and Induction for Software Technologies
2021 – 2026 / European Commission / Publications: 148242, 148506, 148512, 148523, 148534, 148538, 148592, 148602, 148604, 148608, 148616, 148620, 148847, 148849, 148854, 148855, 148858, 148861, 148862, 148865, 148867, 148920, 19923, 19924, 19925, 22762, 85733 -
FOREST: First-Order Reasoning for Ensuring System Security
2021 – 2022 / Amazon Research Awards -
Blockchain Technologies for the Internet of Things
2020 – 2025 / Christian Doppler Research Association (CDG) / Publications: 142724, 142738, 144163, 146968, 147336, 147337, 147641, 149081, 166194, 176469 -
IoTIO: Analyzing and Understanding the Internet of Insecure Things
2020 – 2024 / Vienna Science and Technology Fund (WWTF) / Publications: 148435, 53211, 62313, 82045 -
Security and Privacy Foundations of Blockchain Technologies
2020 – 2023 / SBA Research gemeinnützige GmbH -
Cryptographic Foundations of Privacy in Distributed Ledgers
2020 – 2027 / Vienna Science and Technology Fund (WWTF) / Publications: 148000, 148007, 148094, 148102, 152492 -
Vienna Cybersecurity and Privacy Research Center
2019 – 2023 / Vienna Business Agency (WAW) / Publications: 142724, 142738, 144163, 146968, 147336, 147337, 147339, 147344, 147641, 148519, 149187 -
Cryptographic Foundations for Future-proof Internet Security
2019 – 2023 / Austrian Science Fund (FWF) / Publications: 142724, 142738, 144163, 146968, 147336, 147337, 147339, 147344, 147641, 149081, 149800 -
Foundations and Tools for Client-Side Web Security
2018 – 2024 / European Research Council (ERC) / Publications: 142724, 142738, 144163, 146968, 147336, 147337, 147339, 147344, 147641, 149081, 149187, 149800 -
Bit-level Accurate Reasoning and Interpolation
2016 – 2020 / Microsoft Research Limited / Publications: 60070, 61064 -
Variable Dependencies of Quantified Boolean Formulas
2015 – 2018 / Austrian Science Fund (FWF) / Publication: 147765 -
Exploiting New Types of Structure for Fixed Parameter Tractability
2014 – 2018 / Austrian Science Fund (FWF) / Publications: 153726, 165499, 165500, 59591, 59592 -
START
2014 – 2022 / Austrian Science Fund (FWF) / Publications: 145572, 145656, 150854, 151087, 151088, 151091, 152867, 153177, 153213, 153726, 154572, 155406, 155445, 155447, 155556, 155558, 155748, 155749, 157071, 157151, 157208, 159454, 159455, 159458, 159459, 160297, 161364, 161365, 161366, 161369, 161457, 42178, 42619, 42620, 42621, 42622, 42623, 42624, 42625, 58946, 59248, 59334, 59337, 59338, 59339, 59885, 59887, 59889, 59950, 59967, 59973, 59993, 59999, 60000, 60002, 60003, 60005, 60006, 60042, 60075, 60195, 60196, 60197, 60198, 60199, 60334, 60335, 60336, 60401, 60449, 60456, 60467, 60468, 60470, 60471, 60472, 60478, 60479, 60480, 60482, 60570, 60597, 60598, 60630, 60842, 60855, 60863, 60867, 60868, 60887, 60889, 60891, 60895, 60896, 60897, 60918, 61088, 61226, 61235, 61271, 61273, 61284, 61309, 61316, 61321, 61323, 61324, 61325, 61326, 61327, 61332, 61333, 61335, 61336, 61337, 61338, 61376, 61559, 61663, 61686, 61687, 61689, 61702, 61736, 61737, 61741, 61794, 61805, 61806, 61942, 62054, 62059, 62071, 62073, 62074, 62084, 62085, 62125, 62126, 62127, 62128, 62131, 62133, 62326, 62328, 62345, 62346, 62348, 62349, 62350, 62351, 62363, 62524, 62527, 62623, 62624, 62625, 62626, 91208, 91532, 91882, 91883, 91884, 92001 -
Parameterized Compilation
2014 – 2018 / Austrian Science Fund (FWF) / Publications: 59512, 59586, 59587, 59588, 59590, 59591, 59592, 59593 -
A Logical Framework for Dialogue Games
2013 – 2017 / Austrian Science Fund (FWF) / Publication: 86046 -
Artificial Intelligence in Employee Scheduling
2012 – 2017 / Austrian Science Fund (FWF) / Publications: 157208, 157212, 157213, 157214, 165946, 31490, 31845, 32283, 58764, 58765, 58772, 59761, 59762, 59763, 59764, 59993, 60003, 60005, 60896, 60905, 60906, 61365, 90783, 90784
Recent Publications
Note: Due to the rollout of TU Wien’s new publication database, the list below may be slightly outdated. Once the migration is complete, everything will be up to date again.
- Exact and meta-heuristic approaches for the production leveling problem / Winter, F., Lackner, M.-L., Vass, J., & Musliu, N. (2022). Exact and meta-heuristic approaches for the production leveling problem. Journal of Scheduling, 25(3), 339–370. https://doi.org/10.1007/s10951-022-00721-1 / Project: ARTIS
- Strong-separation Logic / Pagel, J., & Zuleger, F. (2022). Strong-separation Logic. In ACM Transactions on Programming Languages and Systems (pp. 1–40). Springer. https://doi.org/10.1145/3498847
- Moment-based analysis of Bayesian network properties / Stankovič, M., Bartocci, E., & Kovács, L. (2022). Moment-based analysis of Bayesian network properties. Theoretical Computer Science, 903, 113–133. https://doi.org/10.1016/j.tcs.2021.12.021
- Edge-Path Bundling: A Less Ambiguous Edge Bundling Approach / Wallinger, M., Archambault, D., Auber, D., Nöllenburg, M., & Peltonen, J. (2022). Edge-Path Bundling: A Less Ambiguous Edge Bundling Approach. IEEE Transactions on Visualization and Computer Graphics, 28(1), 313–323. https://doi.org/10.1109/tvcg.2021.3114795
- ATLAS: Automated Amortised Complexity Analysis of Self-adjusting Data Structures / Leutgeb, L., Moser, G., & Zuleger, F. (2022). ATLAS: Automated Amortised Complexity Analysis of Self-adjusting Data Structures. In Computer Aided Verification (pp. 99–122). https://doi.org/10.1007/978-3-030-81688-9_5
- Induction with Recursive Definitions in Superposition / Hajdu, M., Hozzova, P., Kovacs, L., & Voronkov, A. (2021). Induction with Recursive Definitions in Superposition. In Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021 (pp. 246–255). TU Wien Academic Press. https://doi.org/10.34727/2021/isbn.978-3-85448-046-4_34
- Logic for exact real arithmetic / Wiesnet, F., & Schwichtenberg, H. (2021). Logic for exact real arithmetic. Logical Methods in Computer Science, 17(2), 7:1-7:27. https://doi.org/10.23638/LMCS-17(2:7)2021
- Preface / Freund, R. (2021). Preface. Natural Computing, 20(4), 637–638. https://doi.org/10.1007/s11047-021-09872-0
- Omission-Based Abstraction for Answer Set Programs - ERRATUM / SARIBATUR, Z. G., & EITER, T. (2021). Omission-Based Abstraction for Answer Set Programs - ERRATUM. Theory and Practice of Logic Programming, 21(2), 292–292. https://doi.org/10.1017/s1471068420000125
- Reasoning on Multirelational Contextual Hierarchies via Answer Set Programming with Algebraic Measures / Bozatto, L., Eiter, T., & Kiesel, R. P. D. (2021). Reasoning on Multirelational Contextual Hierarchies via Answer Set Programming with Algebraic Measures. Theory and Practice of Logic Programming, 21(5), 593–609. https://doi.org/10.1017/s1471068421000284
- Reasoning onDL-LiteRwith Defeasibility in ASP / Eiter, T., Bozzato, L., & Serafini, L. (2021). Reasoning onDL-LiteRwith Defeasibility in ASP. Theory and Practice of Logic Programming, 22(2), 254–304. https://doi.org/10.1017/s1471068421000132
- Topological stability of kinetic k-centers / van der Hoog, I., van Kreveld, M., Meulemans, W., Verbeek, K., & Wulms, J. (2021). Topological stability of kinetic k-centers. Theoretical Computer Science, 866, 145–159. https://doi.org/10.1016/j.tcs.2021.03.026
- Exploiting Database Management Systems and Treewidth for Counting / FICHTE, J. K., HECHER, M., THIER, P., & WOLTRAN, S. (2021). Exploiting Database Management Systems and Treewidth for Counting. Theory and Practice of Logic Programming, 22(1), 128–157. https://doi.org/10.1017/s147106842100003x / Project: START
- Balanced stable marriage: How close is close enough? / Gupta, S., Roy, S., Saurabh, S., & Zehavi, M. (2021). Balanced stable marriage: How close is close enough? Theoretical Computer Science, 883, 19–43. https://doi.org/10.1016/j.tcs.2021.05.015
- Geometric planar networks on bichromatic collinear points / Bandyapadhyay, S., Banik, A., Bhore, S., & Nöllenburg, M. (2021). Geometric planar networks on bichromatic collinear points. Theoretical Computer Science, 895, 124–136. https://doi.org/10.1016/j.tcs.2021.09.035
- From Semantic Games to Provability: The Case of Gödel Logic / Pavlova, A., Lang, T., & Freiman, R. (2021). From Semantic Games to Provability: The Case of Gödel Logic. Studia Logica, 110(2), 429–456. https://doi.org/10.1007/s11225-021-09966-x
- Mutation testing with hyperproperties / Fellner, A., Tabaei Befrouei, M., & Weissenbacher, G. (2021). Mutation testing with hyperproperties. Software and Systems Modeling, 20(2), 405–427. https://doi.org/10.1007/s10270-020-00850-1
- Small one‑dimensional Euclidean preference profiles / Chen, J., & Grottke, S. (2021). Small one‑dimensional Euclidean preference profiles. Social Choice and Welfare, 57(1), 117–144. https://doi.org/10.1007/s00355-020-01301-y
- IoTCrawler: Challenges and Solutions for Searching the Internet of Things / Iggena, T., Ilyas, E. B., Fischer, M., Tönjes, R., Elsaleh, T., Rezvani, R., Pourshahrokhi, N., Bischof, S., Fernbach, A., Parreira, J., & Schneider, P. (2021). IoTCrawler: Challenges and Solutions for Searching the Internet of Things. Sensors, 21(5), 1559. https://doi.org/10.3390/s21051559
- Deploying Spatial-Stream Query Answering in C-ITS Scenarios / Eiter, T., Ichise, R., Parreira, J. X., Schneider, P., & Zhao, L. (2021). Deploying Spatial-Stream Query Answering in C-ITS Scenarios. Semantic Web: Interoperability, Usability, Applicability, 12(1), 41–77. https://doi.org/10.3233/sw-200408 / Project: DynaCon
Recent Theses
Note: Due to the rollout of TU Wien’s new publication database, the list below may be slightly outdated. Once the migration is complete, everything will be up to date again.
- Parallel Computation of Structural Decompositions / Okulmus, C. (2023). Parallel Computation of Structural Decompositions [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2023.108704
- A Metaheuristic Approach to Crowdsourced Package Delivery / Longo, G. (2023). A Metaheuristic Approach to Crowdsourced Package Delivery [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2023.101084
- Cross-Chain Traceability in Decentralized Finance / Haimerl, N. (2023). Cross-Chain Traceability in Decentralized Finance [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2023.103500
- On Constructing Assertional and Complementary Sequent Calculi for Non-Deterministic Finite-Valued Logics / Gius, M. (2023). On Constructing Assertional and Complementary Sequent Calculi for Non-Deterministic Finite-Valued Logics [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2023.103584
- Optimal Seat Arrangement: Structure, Algorithms, and Complexity / Ceylan, E. (2023). Optimal Seat Arrangement: Structure, Algorithms, and Complexity [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2023.98801
- PAUL-2: A Transformer-Based Algorithmic Composer of Two-Track Piano Pieces / Schön, F. (2023). PAUL-2: A Transformer-Based Algorithmic Composer of Two-Track Piano Pieces [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2023.103585
- On Automated Theorem Proving for Assertional and Refutational Natural Deduction Systems / Maurer, M. (2023). On Automated Theorem Proving for Assertional and Refutational Natural Deduction Systems [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2023.105603
- A Systematic Investigation of Illicit Money Flows in the DeFi Ecosystem / Luzian, S. (2023). A Systematic Investigation of Illicit Money Flows in the DeFi Ecosystem [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2023.106121
- A Novel Method for Grounding in Answer-Set Programming / Besin, V. (2023). A Novel Method for Grounding in Answer-Set Programming [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2023.103458
- Automated Solution Methods for Complex Real-life Personnel Scheduling Problems / Kletzander, L. (2023). Automated Solution Methods for Complex Real-life Personnel Scheduling Problems [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2023.108382
- Certifying Unsatisfiability in an Expansion-Based DQBF Solver / Breitenbrunner, M. (2023). Certifying Unsatisfiability in an Expansion-Based DQBF Solver [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2023.99521
- Hybrid Approaches to Sports League Scheduling using Constraint Programming and Simulated Annealing / Neumann, B. (2023). Hybrid Approaches to Sports League Scheduling using Constraint Programming and Simulated Annealing [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2023.98488
- Enhancing Abstraction and Symbolic Execution for Shape Analysis of C-Programs operating on Linked Lists / Kaindlstorfer, D. (2023). Enhancing Abstraction and Symbolic Execution for Shape Analysis of C-Programs operating on Linked Lists [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2023.109623
- Hybrid Metaheuristics Based on Large Neighborhood Search and Mixed Integer Linear Programming for the Directed Feedback Vertex Set Problem / Bresich, M. (2023). Hybrid Metaheuristics Based on Large Neighborhood Search and Mixed Integer Linear Programming for the Directed Feedback Vertex Set Problem [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2023.102404
- Extensionality for obligations in Åqvist’s system F / Pichler, D. (2022). Extensionality for obligations in Åqvist’s system F [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2022.95067
- Performance Analysis of Column-Store Extensions for Modern-Day Business Segments / Sessa, V. (2022). Performance Analysis of Column-Store Extensions for Modern-Day Business Segments [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/158484
- Computational optimization approaches for distributing service points for mobility applications and smart charging of electric vehicles / Jatschka, T. (2022). Computational optimization approaches for distributing service points for mobility applications and smart charging of electric vehicles [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2022.107309
- Solving multi-mode resource-constrained multi-project scheduling problems by hybrid algorithms / Ahmeti, A. (2022). Solving multi-mode resource-constrained multi-project scheduling problems by hybrid algorithms [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2022.103426
- Automated project scheduling in real-world test laboratories / Mischek, F. (2022). Automated project scheduling in real-world test laboratories [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2022.107689
- An algorithmic study of practical map labeling / Li, G. (2022). An algorithmic study of practical map labeling [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2022.107040
Recent Awards
-
Thomas Eiter:
KR 2022 Test of Time Award
2022 / International Conference on Principles of Knowledge Representation and Reasoning / USA -
Nysret Musliu:
Best Industry and Applications Track Paper Award
2022 / ICAPS 2022 / Singapore / Website -
Reinhard Pichler:
Best Paper Award at the 40th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems
2022 / ACM SIGMOD / USA / Website -
Reinhard Pichler:
2021 Alonzo Church Award for Outstanding Contributions to Logic and Computation
2021 / ACM SIGLOG / USA / Website -
Thomas Eiter:
ACM Fellow
2020 / ACM Fellowship / USA -
Nysret Musliu:
Best Practices in Education Award
2019 / Informatics Europe / Switzerland / Website -
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 -
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 -
Maria Magdalena Ortiz de la Fuente:
EMCL Distinguished Alumni Award
2014 / Joint Consortium of the European Masters in Computational Logic