TU Wien Informatics

Uwe Egly

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

Research Focus

Research Areas

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

Roles

2018

  • Expansion-Based QBF Solving Without Recursion / R. Bloem, N. Braud-Santoni, V. Hadzic, U. Egly, F. Lonsing, M. Seidl / Talk: International Conference on Formal Methods in Computer-Aided Design (FMCAD), Austin, TX, USA; 2018-10-30 - 2018-11-02; in: "2018 Formal Methods in Computer Aided Design, FMCAD 2018, Austin, TX, USA, October 30 - November 2, 2018", IEEE, (2018), 1 - 10
  • Evaluating QBF Solvers: Quantifier Alternations Matter / F. Lonsing, U. Egly / Talk: 24th International Conference on Principles and Practice of Constraint Programming (CP 2018), Lille, France; 2018-08-27 - 2018-08-31; in: "Principles and Practice of Constraint Programming - 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings", Springer, 11008 (2018), 276 - 294
  • QRAT+: Generalizing QRAT by a More Powerful QBF Redundancy Property / F. Lonsing, U. Egly / Talk: 9th International Joint Conference on Automated Reasoning (IJCAR) 2018, Oxford; 2018-07-14 - 2018-07-17; in: "Automated Reasoning - 9th International Joint Conference, IJCAR2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings", LNCS, 10900 (2018), 161 - 177

2017

2016

  • Translations from QBFs to First-order Logic / U. Egly / Talk: Deduktionstreffen, Klagenfurt; 2016-09-26
  • Conformant Planning as a Case Study of Incremental QBF Solving / U. Egly, M. Kronegger, F. Lonsing, A. Pfandler / Annals of Mathematics and Artificial Intelligence, TBA (2016), 1 - 25
  • On Stronger Calculi for QBFs / U. Egly / Talk: 19th International Conference on Theory and Applications of Satisfiability Testing, SAT 2016, Bordeaux, France; 2016-07-05 - 2016-07-08; in: "Theory and Applications of Satisfiability Testing - SAT 2016 - 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings", Springer, LNCS 9710 (2016), 419 - 434
  • Q-Resolution with Generalized Axioms / F. Lonsing, U. Egly, M. Seidl / Talk: 19th International Conference on Theory and Applications of Satisfiability Testing, SAT 2016, Bordeaux; 2016-07-05 - 2016-07-08; in: "Theory and Applications of Satisfiability Testing - SAT 2016 - 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings", Springer, 9710 (2016), ISBN: 978-3-319-40969-6; 435 - 452

2015

2014

2013

2012

  • On sequent systems and resolution for quantified boolean formulas / U. Egly / Talk: Dagstuhl Seminar 12471 - SAT Interactions, Dagstuhl, Deutschland (invited); 2012-11-18 - 2012-11-23
  • A new learning scheme for QDPLL solvers / U. Egly / Talk: Dagstuhl Seminar 12461: Games and Decisions for Rigorous Systems Engineering, Dagstuhl, Deutschland (invited); 2012-11-11 - 2012-11-16
  • Detection of Windows in Facades Using Image Processing Algorithms / M. Miljanovic, U. Egly, T. Eiter / Indian Journal of Computer Science and Engineering, 3 (2012), 4; 539 - 547
  • Towards Semantics-Aware Merge Support in Optimistic Model Versioning / P. Brosch, U. Egly, S. Gabmeyer, G. Kappel, M. Seidl, H. Tompits, M. Widl, M. Wimmer / in: "Models in Software Engineering - Workshops and Symposia at MODELS 2011, Reports and Revised Selected Papers", Springer LNCS, Berlin-Heidelberg, 2012, ISSN: 0302-9743, 246 - 256
  • Towards Scenario-Based Testing of UML Diagrams / P. Brosch, U. Egly, S. Gabmeyer, G. Kappel, M. Seidl, H. Tompits, M. Widl, M. Wimmer / Talk: 6th International Conference on Tests and Proofs (TAP 2012), Prague, Czech Republic; 2012-05-31 - 2012-06-01; in: "Proceedings of the 6th International Conference on Tests and Proofs (TAP 2012)", Springer, LNCS 7305 (2012), ISBN: 978-3-642-30472-9; 149 - 155
  • Complexity of logic-based argumentation in Schaefer's framework / U. Egly, N. Creignou, J. Schmidt / Talk: COMMA - International Conference on Computational Models of Argument, Wien; 2012-09-10 - 2012-09-12; in: "Computational Models of Argument", B. Verheij, St. Szeider, S. Woltran (ed.); IOS Press, Frontiers in Artificial Intelligence and Applications, Vol 245 (2012), ISBN: 978-1-61499-110-6; 237 - 248
  • A Framework for the Specification of Random SAT and QSAT Formulas / N. Creignou, U. Egly, M. Seidl / Talk: 6th International Conference on Tests and Proofs (TAP 2012), Prague, Czech Republic; 2012-05-31 - 2012-06-01; in: "Proceedings of the 6th International Conference on Tests and Proofs (TAP 2012)", Springer, Heidelberg (2012), ISBN: 978-3-642-30472-9; 163 - 168
  • On Sequent Systems and Resolution for QBFs / U. Egly / Talk: International Conference on the Theory and Applications of Satisfiability Testing, Trento, Italien; 2012-06-17 - 2012-06-20; in: "Theory and Applications of Satisfiability Testing - SAT 2012", Lecture Notes in Computer Science, Springer Berlin Heidelberg, 7317 (2012), ISBN: 978-3-642-31611-1; 100 - 113
  • Guided Merging of Sequence Diagrams / M. Widl, A. Biere, P. Brosch, U. Egly, M. Heule, G. Kappel, M. Seidl, H. Tompits / Talk: 5th International Conference on Software Language Engineering, Dresden; 2012-09-26 - 2012-09-28; in: "SLE 2012 - Pre-proceedings", K. Czarnecki, G. Hedin (ed.); Dresden (2012), 163 - 182

2011

2010

2009

2008

2007

2006

  • A Solver for QBFs in Nonprenex Form: Overview and Experimental Results / U. Egly, M. Seidl, S. Woltran / Talk: Guangzhou Symposioum on Satisfiability in Logic-Based Modeling, Guangzhou, China (invited); 2006-09-24 - 2006-09-27; in: "Proceedings of the Guangzhou Symposioum on Satisfiability in Logic-Based Modeling", (2006), Paper ID 7, 11 pages
  • Phase Transition for Random Quantified XOR-formulas / N. Creignou, H. Daude, U. Egly / Talk: Guangzhou Symposioum on Satisfiability in Logic-Based Modeling, Guangzhou, China (invited); 2006-09-24 - 2006-09-27; in: "Proceedings of the Guangzhou Symposioum on Satisfiability in Logic-Based Modeling", (2006), Paper ID 5, 12 pages
  • A Solver for QBFs in Nonprenex Form / U. Egly, M. Seidl, S. Woltran / Talk: 17th European Conference on Artificial Intelligence, Riva del Garda, Italy; 2006-08-29 - 2006-09-01; in: "Proceedings of the ECAI 2006", IOS Press, (2006), ISBN: 1-58603-642-4; 477 - 481
  • Reasoning in Argumentation Frameworks Using Quantified Boolean Formulas / U. Egly, S. Woltran / Talk: COMMA - International Conference on Computational Models of Argument, Liverpool, UK; 2006-09-11 - 2006-09-12; in: "Proceedings of the 1st International Conference on Computational Models of Argument (COMMA 2006)", P. Dunne, T. Bench-Capon (ed.); IOS Press, (2006), ISBN: 1-58603-652-1; 133 - 144

2005

  • On Deciding Subsumption Problems / U. Egly, R. Pichler, S. Woltran / Annals of Mathematics and Artificial Intelligence, 43 (2005), 1-4; 255 - 294
  • A Smart Videometric System / A. Reiterer, H. Kahmen, T. Eiter, U. Egly, G. Paar / Poster: International Conference on Optical 3-D Measurement Techniques VII, Vienna, Austria; 2005-10-03 - 2005-10-05; in: "Proceedings Optical 3-D Measurement Techniques VII, Vol. II", A. Grün, H. Kahmen (ed.); (2005), ISBN: 3-9501492-2-8; 370 - 375
  • Decision Making for MiroSOT Soccer Playing Robots / U. Egly, G. Novak, D. Weber / Talk: 1st CLAWAR/EURON/IARP Workshop on Robots in Entertainment, Leisure and Hobby, Wien; 2005-12-02 - 2005-12-04; in: "Decision Making for MiroSOT Soccer Playing Robots", (2005), 69 - 72
  • A Knowledge-Based Decision System for an Image-Based Measurement / A. Reiterer, U. Egly, T. Eiter, H. Kahmen / Talk: The Eighth International Conference on the Application of Artificial Intelligence to Civil, Structural and Environmental Engineering, Rom; 2005-08-30 - 2005-09-02; in: "Proceedings of the Eighth International Conference on the Application of Artificial Intelligence to Civil, Structural and Environmental Engineering", B. Topping (ed.); (2005), ISBN: 1-905088-03-5; 35 - 36

2004

  • Argumentation Frameworks and QBFs / U. Egly / Talk: International Workshop on QSAT and SAT, Guangzhou, P.R. China (invited); 2004-09-26
  • Wissensbasierte Bildaufbereitung für ein videotheodolit-basiertes Multisensorsystem / A. Reiterer, H. Kahmen, U. Egly, T. Eiter / Allgemeine Vermessungs-Nachrichten (AVN), 111 (2004), 06; 202 - 208
  • Technical Documentation and Semantic Web Based Methods / U. Egly, B. Schiemann, J. Schneeberger / in: "Proceedings of the Symposium on Professional Practice in AI, First IFIP International Conference on Artificial Intelligence Application and Innovations (AIAI 2004) as part of: IFIP World Computer Congress (WCC 2004)", E. Mercier-Laurent, J. Debenham (ed.); IFIP Press, 2004, ISBN: 2-907801-05-8, 235 - 244
  • Comparing Different Prenexing Strategies for Quantified Boolean Formulas / U. Egly, M. Seidl, H. Tompits, S. Woltran, M. Zolda / Talk: International Conference on the Theory and Applications of Satisfiability Testing, Santa Margherita Ligure, Italy; 2003-05-05 - 2003-05-08; in: "Theory and Application of Satisfiability. Selected Revised Papers.", E. Giunchiglia, A. Tacchella (ed.); Springer, LNCS 2919 (2004), ISBN: 3-540-20851-8; 214 - 228
  • A Knowledge-Based Videometric Measurement System / A. Reiterer, U. Egly, T. Eiter, H. Kahmen / Talk: 18th IFIP World Computer Congress WCC Toulouse 2004 / A Stream within AIAI-2004 on WCC-2004, Toulouse; 2004-08-22 - 2004-08-27; in: "The Symposium on Professional Practive in AI ", E. Mercier-Laurent, J. Debenham (ed.); 1 (2004), ISBN: 2-907801-05-8; 313 - 322

2003

2002

  • Proceedings of the Eleventh Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX-02) / U. Egly, C. Fermüller / Springer, 2002, ISBN: 3-540-43929-3; 340 pages
  • Embedding Lax Logic into Intuitionistic Logic / U. Egly / Talk: International Conference on Automated Deduction (CADE), Copenhagen, Denmark; 2002-07-27 - 2002-07-30; in: "Proceedings of the 18th International Conference on Automated Deduction", a. voronkov (ed.); Springer Verlag, (2002), ISBN: 3-540-43931-5; 78 - 93
  • On Deciding Subsumption Problems / U. Egly, R. Pichler, S. Woltran / Talk: Fifth Internternational Symposium on the Theory and Applications of Satisfiability Testing (SAT-02), Cincinnati, Ohio, USA; 2002-05-06 - 2002-05-09; in: "Proceedings of the Fifth International Symposium on the Theory and Applications of Satisfiability Testing (SAT-02)", J. Franco et al. (ed.); (2002), 89 - 97
  • On Quantifier Shifting for Quantified Boolean Formulas / U. Egly, H. Tompits, S. Woltran / Talk: Fifth Internternational Symposium on the Theory and Applications of Satisfiability Testing (SAT-02), Cincinnati, Ohio, USA; 2002-05-06 - 2002-05-09; in: "Proceedings Quantified Boolean Formulas Workshop", T. Walsh, E. Giunchiglia (ed.); (2002), 48 - 61

1999

  • A Web-Based Tutoring Tool for Calculating Default Logic Extensions / U. Egly, M. Fink, A. Polleres, H. Tompits / Talk: World Conference on the WWW and Internet (WEBNET), Honolulu, Hawaii; 1999-10-24 - 1999-10-30; in: "Proceedings of the World Conference on the WWW and Internet (WEBNET 99)", P. de Bra, J. Leggett (ed.); AACE, 1 (1999), ISBN: 1-880094-36-3; 1251 - 1252