My current research interests are with

• proof theory and proof complexity
• knowledge representation and reasoning
• computational logic
• satisfiability checking for QBFs;
• argumentation an argumentation frameworks
• algorithm for pathplanning
• application of AI methods in engineering

Current and recent project activities (selection)

• Quantified Boolean Formulas (in the frame of the national research network) RiSE)
• An Intelligent Image-Based Measurement System for Rock Fall Monitoring (FWF L514)
• Multi-Sensor Deformation Measurement System Supported by Knowledge-Based and Cognitive Vision Techniques (FWF P18286)
• A Theodolite-based and Knowledge-based Multi-Sensor-System (FWF P14664)
• GeotEX - Geotechnical Expert System (GeoData and FFF)
• QUIP - A Computational Framework for Advanced Reasoning Tasks
  (FWF P15068)

Publications

• Extended version of the SAT 2016 paper On stronger calculi for QBFs.
• Some of my publications are registered at the DBLP Bibliography Server.
• For a complete (but not up to date) list, see ( .ps) , (.pdf).
• Check the KBS Groups Technical Reports for some of them.

Teaching

• See our teaching and courses sections for my current courses and seminars.
  See the list of general seminar topics for an overview.
• For Praktika and theses, which may be started at any time to your convenience,
  please contact me.

Contact

• uwe.egly@tuwien.ac.at
• +43-1-58801-18461
• Favoritenstrasse 9-11, Room HG0319