返回导师列表
UE

Uwe Egly

Lecturer

TU Wien · Austria
Automated Reasoning, Knowledge Reprensentation and Reasoning

简介

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.

数据校验于 9/6/2026数据来源

学生评价

还没有评价。成为第一位分享经验的学生吧。