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: Agata Ciabattoni -
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
-
Alternating Symmetry-Breaking Combinatorial Search with SAT
2024 – 2027 / Austrian Science Fund (FWF) -
Logical methods for Deontic Explanations
2024 – 2026 / Austrian Science Fund (FWF)
Publications: 193684 / 193611 / 193531 / 195506 -
Explainable Artificial Intelligence in Healthcare
2023 – 2027 / AXA -
Abenteuer Informatik für Volksschulen
2023 – 2024 / BUNDESMINISTERIN FÜR FRAUEN, FAMILIE, INTEGRATION UND MEDIEN
Publication: 189688 -
Fixing the Broken Bridge Between Mobile Apps and the Web
2023 – 2027 / Vienna Science and Technology Fund (WWTF)
Publications: 191166 / 191151 -
A Composable Rational Framework for Blockchain Systems
2022 – 2025 / Austrian Science Fund (FWF)
Publications: 150285 / 191199 / 190025 / 190616 / 190619 / 191168 -
Axiomatizing conditional normative reasoning
2021 – 2024 / Austrian Science Fund (FWF)
Publications: 135863 / 136986 / 189829 / 190615 / 190605 / 191181 / 191117 / 191127 / 191821 / 136177 / 137030 / 136992 -
Cooperative Optimization (Extension)
2021 – 2022 / Honda Research Institute Europe Gmb -
Mosaic -- modal logics
2021 – 2025 / European Commission
Publications: 190990 / 191061 / 190605 -
Automated Reasoning with Theories and Induction for Software Technologies
2021 – 2026 / European Commission
Publications: 152197 / 177097 / 154343 / 139734 / 152387 / 144346 / 150329 / 153774 / 150352 / 142174 / 153940 / 153941 / 154268 / 153819 / 153259 / 154161 / 153840 / 153839 / 153838 / 153837 / 153258 / 153836 / 153834 / 146113 / 193882 / 175984 / 177657 / 188020 / 188037 / 187706 / 18556 / 18557 / 18558 / 190634 / 190028 / 191945 / 192519 / 191930 / 193254 / 192768 / 193203 / 192933 / 193131 / 192842 / 192672 / 193926 / 192673 / 192946 / 193074 / 195542 / 19886 / 101800 -
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: 139862 / 139860 / 153863 / 158286 / 152968 / 152969 / 175654 / 154428 / 158188 / 171624 / 177467 / 190648 / 189835 / 190192 / 189792 / 189878 / 190025 / 192610 / 190685 / 192166 -
IoTIO: Analyzing and Understanding the Internet of Insecure Things
2020 – 2025 / Vienna Science and Technology Fund (WWTF)
Publications: 150264 / 175968 / 176906 / 190633 / 190031 / 193214 / 190032 / 194425 / 191166 / 78069 / 58517 / 80253 -
Security and Privacy Foundations of Blockchain Technologies
2020 – 2024 / SBA Research gemeinnützige GmbH
Publications: 190633 / 190031 / 190032 / 194425 / 192610 / 192677 / 192585 -
Cryptographic Foundations of Privacy in Distributed Ledgers
2020 – 2027 / Vienna Science and Technology Fund (WWTF)
Publications: 142523 / 139748 / 142534 / 150318 / 153193 -
Vienna Cybersecurity and Privacy Research Center
2019 – 2023 / Vienna Business Agency (WAW)
Publications: 139862 / 139860 / 153863 / 158286 / 152968 / 152969 / 152950 / 152954 / 175654 / 150285 / 150314 / 191199 / 177467 / 191198 / 190648 / 189835 / 190192 / 189792 / 189878 / 192610 / 191151 / 190685 -
Cryptographic Foundations for Future-proof Internet Security
2019 – 2023 / Austrian Science Fund (FWF)
Publications: 139862 / 139860 / 153863 / 158286 / 152968 / 152969 / 152950 / 152954 / 175654 / 154428 / 153177 / 177467 / 190648 / 189835 / 190192 / 189792 / 189878 / 192610 / 193565 / 193570 / 190685 / 190687 -
Foundations and Tools for Client-Side Web Security
2018 – 2024 / European Research Council (ERC)
Publications: 139862 / 139860 / 153863 / 158286 / 152968 / 152969 / 152950 / 152954 / 175654 / 154428 / 150314 / 153177 / 177467 / 191198 / 190648 / 189835 / 190192 / 189792 / 189878 / 190025 / 192610 / 191151 / 190685 -
Bit-level Accurate Reasoning and Interpolation
2016 – 2020 / Microsoft Research Limited
Publications: 56283 / 57273 -
Variable Dependencies of Quantified Boolean Formulas
2015 – 2018 / Austrian Science Fund (FWF)
Publication: 152312
Recent Publications
-
Exact and meta-heuristic approaches for the production leveling problem
/
Vass, J., Lackner, M.-L., Mrkvicka, C., Musliu, N., & Winter, F. (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
Download: PDF (1.5 MB)
Project: ARTIS (2017–2024) - Reasoning on DL-LiteR with Defeasibility in ASP / Bozzato, L., Eiter, T., & Serafini, L. (2022). Reasoning on DL-LiteR with Defeasibility in ASP. Theory and Practice of Logic Programming, 22(2), 254–304. https://doi.org/10.1017/s1471068421000132
- 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
- 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
- Strong-separation Logic / Pagel, J., & Zuleger, F. (2022). Strong-separation Logic. In ESOP 2021: Programming Languages and Systems (pp. 664–692). Springer. https://doi.org/10.1007/978-3-030-72019-3_24
- 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
-
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 (Vol. 2, pp. 246–255). TU Wien Academic Press. https://doi.org/10.34727/2021/isbn.978-3-85448-046-4_34
Download: PDF (350 KB) -
Mīmāṃsā deontic reasoning using specificity: a proof theoretic approach
/
Lellmann, B., Gulisano, F., & Ciabattoni, A. (2021). Mīmāṃsā deontic reasoning using specificity: a proof theoretic approach. Artificial Intelligence and Law, 29(3), 351–394. https://doi.org/10.1007/s10506-020-09278-w
Download: PDF (1.84 MB) -
When catalytic P systems with one catalyst can be computationally complete.
/
Freund, R., Ivanov, S., & Alhazov, A. (2021). When catalytic P systems with one catalyst can be computationally complete. Journal of Membrane Computing, 3(3), 170–181. https://doi.org/10.1007/s41965-021-00079-x
Download: PDF (1.87 MB) - 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
-
Instance space analysis for a personnel scheduling problem
/
Kletzander, L., Musliu, N., & Smith-Miles, K. (2021). Instance space analysis for a personnel scheduling problem. Annals of Mathematics and Artificial Intelligence, 89(7), 617–637. https://doi.org/10.1007/s10472-020-09695-2
Download: PDF (4.52 MB)
Project: ARTIS (2017–2024) -
P systems with limited number of objects
/
Freund, R., Ivanov, S., & Alhazov, A. (2021). P systems with limited number of objects. Journal of Membrane Computing, 3(1), 1–9. https://doi.org/10.1007/s41965-020-00068-6
Download: PDF (1.38 MB) - Hamiltonian cycles in planar cubic graphs with facial 2-factors, and a new partial solution of Barnette's Conjecture / Bagheri Ghavam Abadi, B., Feder, T., Fleischner, H., & Subi, C. (2021). Hamiltonian cycles in planar cubic graphs with facial 2-factors, and a new partial solution of Barnette’s Conjecture. Journal of Graph Theory, 96(2), 269–288. https://doi.org/10.1002/jgt.22612
- Bounded Model Checking of Speculative Non-Interference / Pescosta, E., Weissenbacher, G., & Zuleger, F. (2021). Bounded Model Checking of Speculative Non-Interference. In 2021 IEEE/ACM International Conference On Computer Aided Design (ICCAD). 2021 IEEE/ACM International Conference On Computer Aided Design (ICCAD), München, Deutschland, EU. IEEE. https://doi.org/10.1109/iccad51958.2021.9643462
- Algorithms and conditional lower bounds for planning problems / Chatterjee, K., Dvořák, W., Henzinger, M., & Svozil, A. (2021). Algorithms and conditional lower bounds for planning problems. Artificial Intelligence, 297(103499), 103499. https://doi.org/10.1016/j.artint.2021.103499
- Symbolic Time and Space Tradeoffs for Probabilistic Verification / Chatterjee, K., Dvorak, W., Henzinger, M., & Svozil, A. (2021). Symbolic Time and Space Tradeoffs for Probabilistic Verification. In 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). LICS 2021 - Symposium on Logic in Computer Science, Rom, EU. https://doi.org/10.1109/lics52264.2021.9470739
-
Determining Inference Semantics for Disjunctive Logic Programs (Extended Abstract)
/
Shen, Y.-D., & Eiter, T. (2021). Determining Inference Semantics for Disjunctive Logic Programs (Extended Abstract). In C. Bessiere (Ed.), Proceedings of the 29th International Joint Conference on Artificial Intelligence (IJCAI-20) (pp. 5040–5044). http://hdl.handle.net/20.500.12708/55568
Project: IE of ASP (2015–2018) - CEGAR-Tableaux: Improved Modal Satisfiability via Modal Clause-Learning and SAT / Gore, R. (2021). CEGAR-Tableaux: Improved Modal Satisfiability via Modal Clause-Learning and SAT. In Automated Reasoning with Analytic Tableaux and Related Methods : 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021, Proceedings (pp. 74–91). Springer. https://doi.org/10.1007/978-3-030-86059-2_5
- Cut-Elimination for Provability Logic by Terminating Proof-Search: Formalised and Deconstructed Using Coq / Gore, R., & Ramanayake, R. (2021). Cut-Elimination for Provability Logic by Terminating Proof-Search: Formalised and Deconstructed Using Coq. In Automated Reasoning with Analytic Tableaux and Related Methods : 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021, Proceedings (pp. 299–313). Springer. https://doi.org/10.1007/978-3-030-86059-2_18
- A Description Logic for Analogical Reasoning / Schockaert, S., Ibanez Garcia, Y. A., & Gutierrez-Basulto, V. (2021). A Description Logic for Analogical Reasoning. In Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence. IJCAI 2021, Montreal, Canada. IJCAI. https://doi.org/10.24963/ijcai.2021/281
Recent Theses
-
Turning FPT Decision Methods into Enumeration Algorithms with FPT-Delay
/
Unterberger, D. (2024). Turning FPT Decision Methods into Enumeration Algorithms with FPT-Delay [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2024.119942
Download: PDF (847 KB) -
Identifying Frameworks in Android Applications using Binary Code Function Similarity
/
Zeier, Y. (2024). Identifying Frameworks in Android Applications using Binary Code Function Similarity [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2024.117246
Download: PDF (1.07 MB) -
SAT-based Local Improvement for the Closest String Problem
/
Voboril, F. (2024). SAT-based Local Improvement for the Closest String Problem [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2024.119021
Download: PDF (1.79 MB) -
Streaming and Quantitative Extensions of Answer Set Programming
/
Kiesel, R. P. D. (2024). Streaming and Quantitative Extensions of Answer Set Programming [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2024.119341
Download: PDF (7.8 MB) -
Symbolic Verification of TLA+ Specifications with Applications to Distributed Algorithms
/
Tran, T. H. (2024). Symbolic Verification of TLA+ Specifications with Applications to Distributed Algorithms [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2024.117518
Download: PDF (2.37 MB) -
Dynamic symmetry breaking for SAT-encodings of combinatorial problems
/
Kirchweger, M. (2023). Dynamic symmetry breaking for SAT-encodings of combinatorial problems [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2023.98841
Download: PDF (807 KB) -
Scalable Bayesian network structure learning using SAT-based methods
/
Peruvemba Ramaswamy, V. (2023). Scalable Bayesian network structure learning using SAT-based methods [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2023.113249
Download: PDF (3.17 MB) -
Scalability for SAT-based combinatorial problem solving
/
Schidler, A. (2023). Scalability for SAT-based combinatorial problem solving [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2023.113248
Download: PDF (6.06 MB) -
Temporal reasoning in knowledge graphs : Artificial intelligence systems for reasoning with time in Vadalog
/
Nissl, M. (2023). Temporal reasoning in knowledge graphs : Artificial intelligence systems for reasoning with time in Vadalog [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2023.116143
Download: PDF (3.5 MB) -
On the potential of structural decomposition of database and AI problems
/
Longo, D. M. (2023). On the potential of structural decomposition of database and AI problems [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2023.116747
Download: PDF (2.08 MB) -
Engineering human-in-the-loop graph drawing algorithms
/
Villedieu, A. (2023). Engineering human-in-the-loop graph drawing algorithms [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2023.116748
Download: PDF (3.14 MB) -
Querying knowledge graphs at web scale
/
Azzam, A. (2023). Querying knowledge graphs at web scale [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2023.117440
Download: PDF (4.77 MB) -
On the impossbility of proving security of equivalence class signatures from computational assumptions
/
Regen, F. (2023). On the impossbility of proving security of equivalence class signatures from computational assumptions [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2023.116107
Download: PDF (502 KB) -
Integration of Structure Guided Query Optimization into NewSQL Databases
/
Martinek, M. (2023). Integration of Structure Guided Query Optimization into NewSQL Databases [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2023.112344
Download: PDF (1.94 MB) -
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
Download: PDF (1.39 MB) -
A learning multilevel optimization approach for a large location allocation problem
/
Tomandl, L. (2023). A learning multilevel optimization approach for a large location allocation problem [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2023.108220
Download: PDF (2.52 MB) -
Unpacking the argument : A claim-centric view on abstract argumentation
/
Rapberger, A. (2023). Unpacking the argument : A claim-centric view on abstract argumentation [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2023.112445
Download: PDF (2.96 MB) -
A logical analysis of normative reasoning: Agency, action, and argumentation
/
Van Berkel, C. L. J. (2023). A logical analysis of normative reasoning: Agency, action, and argumentation [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2023.111854
Download: PDF (3.93 MB) -
Advancing state space search for static and dynamic Optimization by parallelization and learning
/
Frohner, N. (2023). Advancing state space search for static and dynamic Optimization by parallelization and learning [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2023.113960
Download: PDF (4.89 MB) -
Moment-based loop analysis
/
Stankovic, M. (2023). Moment-based loop analysis [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2023.113863
Download: PDF (1.26 MB)
Recent Awards
-
Thomas Eiter:
Alan Robinson 20 Years Test of Time Award
2023 / Association for Logic Programming / UK -
Tobias Geibinger:
ASAI Master Thesis Prize
2023 / Austrian Society for Artificial Intelligence (ASAI) / Austria -
Katja Hose:
Best Demo Award - GLENDA: Querying over RDF Archives with SPARQL
2023 / European Semantic Web Conference (ESWC) 2023 / Greece / Website -
Katja Hose:
Best Paper Award - Automated Ontology Evaluation: Evaluating Coverage and Correctness using a Domain Corpus
2023 / International Workshop on Natural Language Processing for Knowledge Graph Creation (NLP4KGC) 2023 / USA / Website -
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 -
Thomas Eiter:
Full Member of the Austrian Academy of Sciences (ÖAW)
2022 / Mitgliedschaft / Austria -
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