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.

  • Stefan Woltran: EurAI Fellows programme
    2018 / EurAI Fellow / Website
  • Ewa Vesely: Vereinbarkeit vom Beruf/Forschung und Pflege von Angehörigen
    2016 / HR Inside Summit Award 2016, BRONZE / Austria / Website
  • 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
  • Maria Magdalena Ortiz de la Fuente: EMCL Distinguished Alumni Award
    2014 / Joint Consortium of the European Masters in Computational Logic
  • Stefan Woltran: Distinguished student paper prize at the 13th International Conference on Principles of Knowledge Representation and Reasoning.
    2012 / KR Inc
  • Agata Ciabattoni: Nichtklassische Beweise: Theorie, Automatisierung, Anwendung
    2011 / START-Programm / Austria
  • Reinhard Pichler: Best paper award at RR 2010: Int. Conf. on Web Reasoning and Rule Systems
    2010 / Italy
  • Georg Gottlob: DIADEM: Domain-centric Intelligent Automated Data Extraction Methodology
    2010 / ERC Europäischer Forschungsrat
  • Stefan Szeider: The Parameterized Complexity of Reasoning Problems
    2010 / ERC Europäischer Forschungsrat
  • Maria Magdalena Ortiz de la Fuente: Austrian Federal Ministry for Science and Research: Award of Excellence 2010
    2010 / Austria