TU Wien Informatics

Uwe Egly

Ao.Univ.Prof. Dipl.-Ing. Dr.rer.nat.

Research Focus

Research Areas

  • Automated Reasoning, Knowledge Reprensentation and Reasoning

About

Research interests: proof theory and proof complexity, knowledge representation and reasoning, computational logic, satisfiability checking for QBFs (Quantified Boolean Formulas), argumentation and argumentation frameworks, algorithms for pathplanning and applications of AI methods in engineering.

Role

  • QRATPre+: Effective QBF Preprocessing via Strong Redundancy Properties / F. Lonsing, U. Egly / Talk: SAT 2019 - The 22nd International Conference on Theory and Applications of Satisfiability Testing, Lissabon; 2019-07-07 - 2019-07-12; in: "Proceedings of the 22nd International Conference on Theory and Applications of Satisfiability Testing", LNCS, 11628 (2019), ISBN: 978-3-030-24258-9; 203 - 210