Uwe Egly
发表
Florian Lonsing,
Uwe Egly,
2014,
CP.
Wolfgang Bibel,
Thomas Rath,
Uwe Egly,
1995
.
Uwe Egly,
2000,
TABLEAUX.
Stefan Woltran,
Reinhard Pichler,
Uwe Egly,
2005,
Annals of Mathematics and Artificial Intelligence.
Uwe Egly,
1998,
CSL.
Florian Lonsing,
Martina Seidl,
Roderick Bloem,
2016,
ArXiv.
Florian Lonsing,
Johannes Oetsch,
Uwe Egly,
2015,
LPAR.
Uwe Egly,
2012,
SAT.
Thomas Eiter,
Gerhard Paar,
Uwe Egly,
2009
.
Uwe Egly,
1994,
LPAR.
Nadia Creignou,
Uwe Egly,
Hervé Daudé,
2008,
SAT.
Thomas Rath,
Uwe Egly,
2000,
Inf. Comput..
Florian Lonsing,
Uwe Egly,
Martin Kronegger,
2016,
Annals of Mathematics and Artificial Intelligence.
Hans Tompits,
Uwe Egly,
2003,
Stud Logica.
Uwe Egly,
Rath,
1995
.
Uwe Egly,
1992,
LPAR.
Carsten Sinz,
Uwe Egly,
2014,
Lecture Notes in Computer Science.
Uwe Egly,
U. Egly,
1997,
TABLEAUX.
Thomas Eiter,
Uwe Egly,
Milos Miljanovic,
2012
.
Stefan Woltran,
Hans Tompits,
Thomas Eiter,
2000,
WLP.
Stefan Woltran,
Hans Tompits,
Thomas Eiter,
2000,
ArXiv.
Hans Tompits,
Uwe Egly,
U. Egly,
1997,
WLP.
Stefan Woltran,
Hans Tompits,
Thomas Eiter,
2000,
WLP.
Heribert Vollmer,
Nadia Creignou,
Olaf Beyersdorff,
2016,
Dagstuhl Reports.
Thomas Eiter,
Uwe Egly,
Alexander Reiterer,
2010,
IFIP AI.
Florian Lonsing,
Uwe Egly,
U. Egly,
2015,
SAT.
Florian Lonsing,
Uwe Egly,
2015
.
Uwe Egly,
Gernot Koller,
1998,
Interaktion im Web.
Florian Lonsing,
Uwe Egly,
Magdalena Widl,
2013,
LPAR.
Florian Lonsing,
Uwe Egly,
2014,
ICMS.
Nadia Creignou,
Uwe Egly,
Hervé Daudé,
2007,
J. Artif. Intell. Res..
Uwe Egly,
U. Egly,
1997,
Fundam. Informaticae.
Uwe Egly,
Stephan Schmitt,
U. Egly,
2001,
IJCAR.
Florian Lonsing,
Uwe Egly,
Martin Kronegger,
2014,
AISC.
Florian Lonsing,
Martina Seidl,
Roderick Bloem,
2018,
2018 Formal Methods in Computer Aided Design (FMCAD).
Hans Tompits,
Uwe Egly,
2000,
Intellectics and Computational Logic.
Christian G. Fermüller,
Matthias Baaz,
Uwe Egly,
1997,
TABLEAUX.
Uwe Egly,
1993,
Kurt Gödel Colloquium.
Uwe Egly,
1993,
LPAR.
Uwe Egly,
1991,
ÖGAI.
Uwe Egly,
Stephan Schmitt,
1998,
Electron. Notes Theor. Comput. Sci..
Hans Tompits,
Michael Fink,
Axel Polleres,
1999,
WebNet.
Gerti Kappel,
Hans Tompits,
Petra Kaufmann,
2012,
SLE.
Meena Mahajan,
Cláudia Nalon,
Olaf Beyersdorff,
2020,
Dagstuhl Reports.
Stefan Woltran,
Hans Tompits,
Thomas Eiter,
2001,
Answer Set Programming.
Christian G. Fermüller,
Uwe Egly,
2002
.
Uwe Egly,
1998,
Theor. Comput. Sci..
Nadia Creignou,
Uwe Egly,
Hervé Daudé,
2009,
SAT.
Uwe Egly,
1992,
ECAI.
Gerti Kappel,
Hans Tompits,
Petra Kaufmann,
2011,
MoDELS Workshops.
Gerti Kappel,
Hans Tompits,
Petra Kaufmann,
2012,
TAP@TOOLS.
Uwe Egly,
1996,
J. Symb. Comput..
Florian Lonsing,
Uwe Egly,
U. Egly,
2017,
CADE.
Wolfgang Bibel,
Thomas Rath,
Uwe Egly,
1995,
TABLEAUX.
Christian G. Fermüller,
Uwe Egly,
2002,
Lecture Notes in Computer Science.
Uwe Egly,
2001,
Stud Logica.
Florian Lonsing,
Uwe Egly,
Allen Van Gelder,
2013,
SAT.
Hans Tompits,
Uwe Egly,
1997,
ECSQARU-FAPR.
Nadia Creignou,
Johannes Schmidt,
Uwe Egly,
2021,
COMMA.
Uwe Egly,
Stephan Schmitt,
U. Egly,
1999,
Fundam. Informaticae.
Martina Seidl,
Nadia Creignou,
Uwe Egly,
2012,
TAP@TOOLS.
Hans Tompits,
Uwe Egly,
1997,
LPNMR.
Nadia Creignou,
Uwe Egly,
Hervé Daudé,
2015,
RAIRO Theor. Informatics Appl..
Uwe Egly,
Karin Genther,
1997,
Kurt Gödel Colloquium.
Uwe Egly,
2016,
SAT.
Thomas Eiter,
Uwe Egly,
Heribert Kahmen,
2008,
Adv. Eng. Softw..
Florian Lonsing,
Uwe Egly,
2019,
SAT.
Hans Tompits,
Uwe Egly,
1998,
TABLEAUX.
Uwe Egly,
Leopold Haller,
2010,
KI - Künstliche Intelligenz.
Uwe Egly,
1997,
CADE.
Stefan Woltran,
Uwe Egly,
U. Egly,
2006,
COMMA.
Hans Tompits,
Uwe Egly,
2001,
TOCL.
Stefan Woltran,
Uwe Egly,
Sarah Alice Gaggl,
2010,
Argument Comput..
Stefan Woltran,
Hans Tompits,
Martina Seidl,
2003,
SAT.
Alexander Leitsch,
Matthias Baaz,
Uwe Egly,
1998
.
Florian Lonsing,
Roderick Bloem,
Uwe Egly,
2014,
2014 Formal Methods in Computer-Aided Design (FMCAD).
Thomas Rath,
Uwe Egly,
1996,
CADE.
Uwe Egly,
Carsten Sinz,
2014
.
Charles K. Toth,
Dorota A. Grejner-Brzezinska,
Enrico Mai,
2010
.
Uwe Egly,
1994
.
Nadia Creignou,
Johannes Schmidt,
Uwe Egly,
2014,
TOCL.
Uwe Egly,
1995,
EPIA.
Uwe Egly,
2002,
CADE.
Jean Goubault-Larrecq,
Alexander Leitsch,
David A. Plaisted,
2001,
Handbook of Automated Reasoning.
Florian Lonsing,
Uwe Egly,
2018,
CP.
Florian Lonsing,
Uwe Egly,
2018,
IJCAR.
Uwe Egly,
Stephan Schmitt,
U. Egly,
1998,
AISC.
Stefan Woltran,
Uwe Egly,
Sarah Alice Gaggl,
2008,
ICLP.
Stefan Woltran,
Hans Tompits,
Thomas Eiter,
2000,
AAAI/IAAI.
Armin Biere,
Florian Lonsing,
Martina Seidl,
2015,
LPAR.
Nadia Creignou,
Uwe Egly,
Hervé Daudé,
2009,
ArXiv.
Stefan Woltran,
Martina Seidl,
Uwe Egly,
2009,
Constraints.
Florian Lonsing,
Martina Seidl,
Uwe Egly,
2016,
SAT.
Florian Lonsing,
Martina Seidl,
Uwe Egly,
2021,
Formal Methods in System Design.
Uwe Egly,
Gregor Novak,
Daniel Weber,
.