Person profile

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

Uwe Egly

Phone +43 1 58801 18461

E-Mailuwe.egly@tuwien.ac.at

Assigned

E192-03

Business Card

Research area

Name	Management/Member
Research Unit of Knowledge Based Systems	Member

Profile

Research profile (German):

Forschungsinteressen: Beweistheorie und -komplexität, Wissensverarbeitung und -repräsentation, computationale Logik, Erfüllbarkeitsuntersuchung für quantifizierte boolesche Formeln (QBF), Argumentation und Argumentations-Frameworks, Algorithmen für die Planung von Pfaden und Anwendungen von Methoden der künstlichen Intelligenz in der Technik.

Research profile (English):

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.

Link to CV:

www.kr.tuwien.ac.at/staff/egly/index.html

Publications:

Publications

Keywords

Keyword (German)	Keyword (English)
Automated Reasoning	Automated Reasoning
Wissensrepraesentation und Reasoning	Knowledge Reprensentation and Reasoning

Research Focal Areas

Research focus	Research field	Keywords	Percentage
Information and Communication Technology	Computational Intelligence	Grundlagen von Informationssystemen, Computational Logic und automatische Deduktion, Logik, Spezifikation und Wissensrepräsentation, Advanced Information Integration, Hard- und Software Verifikation (CAV), Semantic Web und Intelligente Agenten, Algorithmen, Komplexität und Optimierung, Natural Computing	100

Faculty focus

Faculty focus	Percentage
Logic andComputation	100

Area of expertise according to Statistik Austria

Code	Area of expertise (German)	Area of expertise (English)
1108	Informatik	Informatics
1111	Logik	Logic
1122	Artificial Intelligence	Artificial intelligence

Reference Projects

Title	Funding program	Function	Website	From	Until
National, FFG - Austrian Research Promotion Agency
Doctoral Program Logical Methods in Computer Science	structural program		logic-cs.at/phd/	01.10.2014
National, FWF - The Science Fund
FWF NFN RiSE / Shine	Priority Programs	Principal Investigator	arise.or.at	01.03.2011	28.02.2019

Journal participation

Title	Classification	Referenced	Function	From-To	Comment
Reviewer in diversen Fachjournalen	unclassified	Yes	Reviewer	-

Events / Conferences

Category	Collaboration	Event name	From	Until	Function/Comments
Scientific Conference / Symposium	Organisator_in	International Conference on Theory and Applications of Satisfiablility Testing (SAT) 2014			Program Co-Chair
Scientific Conference / Symposium	Organisator_in	International Workshop on Applications of AI in Engineering Geodesy 2008 + 2010			Program Co-Chair