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
-
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 -
FOREST: First-Order Reasoning for Ensuring System Security
2021 – 2022 / Amazon Research Awards -
Blockchain Technologies for the Internet of Things
2020 – 2022 / Christian Doppler Research Association (CDG) -
Bit-level Accurate Reasoning and Interpolation
2016 – 2020 / Microsoft Research Limited -
Variable Dependencies of Quantified Boolean Formulas
2015 – 2018 / Austrian Science Fund (FWF) -
Exploiting New Types of Structure for Fixed Parameter Tractability
2014 – 2018 / Austrian Science Fund (FWF) -
START
2014 – 2022 / Austrian Science Fund (FWF) -
Parameterized Compilation
2014 – 2018 / Austrian Science Fund (FWF) -
A Logical Framework for Dialogue Games
2013 – 2017 / Austrian Science Fund (FWF) -
Artificial Intelligence in Employee Scheduling
2012 – 2017 / Austrian Science Fund (FWF) -
Quantified Boolean Formulas
2011 – 2019 / Austrian Science Fund (FWF) -
Tools for Concurrent and distributed Systems
2011 – 2019 / Austrian Science Fund (FWF)
Recent Publications
- Exact and meta-heuristic approaches for the production leveling problem / F. Winter, M. Lackner, J. Vass, N. Musliu / Journal of Scheduling, 1 (2022), 1; 1 - 32
- Edge-Path Bundling: A Less Ambiguous Edge Bundling Approach / M. Wallinger, D. Archambault, D. Auber, M. Nöllenburg, J. Peltonen / IEEE Transactions on Visualization and Computer Graphics, 28 (2022), 1; 313 - 323
- Generalized Channels from Limited Blockchain Scripts and Adaptor Signatures / L. Aumayr, O. Ersoy, A. Erwig, S. Faust, K. Hostáková, M. Maffei, P. Moreno-Sanchez, S. Riahi / Talk: Asiacrypt 2021, the 27th Annual International Conference on the Theory and Application of Cryptology and Information Security, Singapore; 2021-12-06 - 2021-12-10; in: "Advances in Cryptology - ASIACRYPT 2021", Springer, (2021), ISBN: 978-3-030-92074-6; 635 - 664
- Worbel: Aggregating Point Labels intoWord Clouds / S. Bhore, R. Ganian, G. Li, M. Nöllenburg, J. Wulms / Talk: ACM SIGSPATIAL international conference on Advances in geographic information systems, Beijing, China; 2021-11-02 - 2021-11-05; in: "SIGSPATIAL '21: Proceedings of the 29th International Conference on Advances in Geographic Information Systems", ACM, (2021), ISBN: 978-1-4503-8664-7; 256 - 267
- Unit Disk Representations of Embedded Trees, Outerplanar and Multi-legged Graphs / S. Bhore, M. Löffler, S. Nickel, 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; 304 - 317
- Monotonic Aggregation for Temporal Datalog / L. Bellomarini, 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 - 23
- 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
- Fairness in Long-Term Participatory Budgeting / M. Lackner, J. Maly, S. Rey / 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), 299 - 305
- Solving the paintshop scheduling problem with memetic algorithms / N. Musliu, W. Weintritt, 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, Lille, France, July 10-14, 2021", (2021), 1070 - 1078
- Physician Scheduling During a Pandemic / T. Geibinger, L. Kletzander, M. Krainz, F. Mischek, N. Musliu, F. Winter / Talk: CPAIOR 2021 - 18th International Conference of Integration of Constraint Programming, Artificial Intelligence, and Operations Research, Wien; 2021-07-05 - 2021-07-08; in: "Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 18th International Conference, {CPAIOR} 2021, Vienna, Austria, July 5-8, 2021, Proceedings},", (2021), 456 - 465
- ClusterSets: Optimizing Planar Clusters in Categorical Point Data / J. Geiger, S. Cornelsen, J. Haunert, P. Kindermann, T. Mchedlidze, M. Nöllenburg, Y. Okamoto, A. Wolff / Talk: EuroVis, Zürich, Schweiz; 2021-06-14 - 2021-06-18; in: "Proceedings of the EuroVIS 2021", 40/3 (2021), 471 - 481
- A2L: Anonymous Atomic Locks for Scalability in Payment Channel Hubs / E. Tairi, P. Moreno-Sanchez, M. Maffei / Talk: IEEE Symposium on Security and Privacy, Oakland, USA; 2021-05-23 - 2021-05-27; in: "42nd IEEE Symposium on Security and Privacy", (2021)
- Treewidth-Aware Complexity in {ASP:} Not all Positive Cycles are Equally Hard / J. Fandinno, M. Hecher / Talk: 35th AAAI 2021, virtual event; 2021-02-02 - 2021-02-09; in: "Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, IAAI 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, EAAI 2021, Virtual Event, February 2-9, 2021", (2021), 6312 - 6320
- Branch and Price for Bus Driver Scheduling with Complex Break Constraints / L. Kletzander, N. Musliu, P. Van Hentenryck / Talk: 35th AAAI 2021, virtual event; 2021-02-02 - 2021-02-09; in: "Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, {IAAI} 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, {EAAI} 2021, Virtual Event, February 2-9, 2021", (2021), 11853 - 11861
- Balanced Independent and Dominating Sets on Colored Interval Graphs / S. Bhore, J. Haunert, F. Klute, G. Li, M. Nöllenburg / Talk: International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM), Bozen, Italy; 2021-01-25 - 2021-01-29; in: "SOFSEM 2021: Theory and Practice of Computer Science", Springer, LNCS 12607 (2021), ISBN: 978-3-030-67730-5; 89 - 103
Recent Awards
-
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 -
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