Concepedia

Uwe Egly

UE

12

Publications

459

Citations

11

H-Index

1996

Active since

Affiliations

TU Wien(Current)

Uwe Egly is an author at TU Wien specializing in formal methods, automated reasoning, and engineering.

Top concepts

Publications per year

1996–2016

12

Publications

12

Answer-set programming encodings for argumentation frameworks

Uwe Egly, Sarah Alice Gaggl, Stefan Woltran · Argument & Computation · 2010 · 150 citations · Full text

Solving Advanced Reasoning Tasks Using Quantified Boolean Formulas

Uwe Egly, Thomas Eiter, Hans Tompits et al. · 2000 · 106 citations

A solver for QBFs in negation normal form

Uwe Egly, Martina Seidl, Stefan Woltran · Constraints · 2008 · 33 citations

, , +4

Reasoning in Argumentation Frameworks Using Quantified Boolean Formulas

Uwe Egly, Stefan Woltran · 2006 · 30 citations

Conformant planning as a case study of incremental QBF solving

Uwe Egly, Martin Kronegger, Florian Lonsing et al. · Annals of Mathematics and Artificial Intelligence · 2016 · 26 citations · Full text

, , +20

Rows per page

1–5 of 12