Back to advisors
UE

Uwe Egly

Lecturer

TU Wien · Austria
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.

Data verified 9/6/2026Source

Student reviews

No reviews yet. Be the first to share your experience.