Ao. Univ-Prof. Dr. Uwe Egly

• 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

• 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)

• Some of my publications are registered at the DB&LP Bibliography Server.
• For a complete (but not up to date) list, see ( .ps) , (.pdf).
• Check the KBS Groups Technical Reports for some of them.

• 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 or our secretary.
  See the list of topics for practical works and master thesis.

• We participate in the new ARiSE Network on Rigorous Systems Engineering, which connects the unusually high critical mass of researchers in formal verification and related topics concentrated in Austria.
• Member organizations are IST Austria, JKU Linz, TU Graz, TU Wien and Universität Salzburg. See arise.or.atarise.or.at for details.