MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named Uwe Egly – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

12 documents found, showing 1 through 10. Next 10 →

ATOM

Some Pitfalls of LK-to-LJ Translations and How to Avoid Them
by Uwe Egly — 1997 — Proc CADE-14, LNCS 1249
…Some Pitfalls of LK-to-LJ Translations and How to Avoid Them Uwe Egly Abt. Wissensbasierte Systeme…
Cited by 2 (0 self) – Add To MetaCart

Non-Elementary Speed-Ups in Default Reasoning
by Uwe Egly, Hans Tompits — 1997 — Proceedings ECSQARU'97
…Non-Elementary Speed-Ups in Default Reasoning ? Uwe Egly and Hans Tompits Technische Universitat…
Cited by 2 (2 self) – Add To MetaCart

Is Nonmonotonic Reasoning Always Harder?
by Uwe Egly, Hans Tompits — Proceedings of the ECAI'96 Workshop on Integrating Nonmonotonicity into Automated Reasoning Systems, Fachberichte Informatik 18--96, Universit at Koblenz-Landau, Institut fur Informatik, Rheinau 1, D-56075
…Is Nonmonotonic Reasoning Always Harder? Uwe Egly and Hans Tompits Abt. Wissensbasierte Systeme…
Cited by 1 (1 self) – Add To MetaCart

On the Practical Value of Different Definitional Translations to Normal Form
by Uwe Egly, Thomas Rath — 1996 — 13th International Conference on Automated Deduction, CADE-13, volume 1104 of LNAI
…On the Practical Value of Different Definitional Translations to Normal Form ? Uwe Egly 1…
Cited by 11 (1 self) – Add To MetaCart

Solving Advanced Reasoning Tasks using Quantified Boolean Formulas
by Uwe Egly, Thomas Eiter, Hans Tompits, Stefan Woltran — 2000
…Solving Advanced Reasoning Tasks using Quantified Boolean Formulas Uwe Egly, Thomas Eiter, Hans…
Cited by 54 (16 self) – Add To MetaCart

Computing Stable Models with Quantified Boolean Formulas: Some Experimental Results
by Uwe Egly, Thomas Eiter, Volker Klotz, Hans Tompits, Stefan Woltran — 2001 — In Proceedings of the 2001 AAAI Spring Symposium on Answer Set Programming
…Computing Stable Models with Quantified Boolean Formulas: Some Experimental Results Uwe Egly…
Cited by 5 (3 self) – Add To MetaCart

Lean Induction Principles for Tableaux
by Matthias Baaz, Uwe Egly, Christian G. Fermüller — 1997
…To appear in Proc. TABLEAUX'97. Lean Induction Principles for Tableaux ? Matthias Baaz 1 and Uwe…
Cited by 4 (1 self) – Add To MetaCart

On Deciding Subsumption Problems (Extended Abstract)
by Uwe Egly, Reinhard Pichler, Stefan Woltran, Technische Universitat Wien — 2002
…On Deciding Subsumption Problems (extended abstract) Uwe Egly Reinhard Pichler Stefan Woltran y…
Add To MetaCart

Gentzen-like methods in quantum logic
by Uwe Egly, Hans Tompits, Technische Universität Wien — 1999 — In Tableaux’99
…Gentzen-Like Methods in Quantum Logic ⋆ Uwe Egly and Hans Tompits Technische Universität Wien Abt…
Cited by 1 (0 self) – Add To MetaCart

On Quantifier Shifting for Quantified Boolean Formulas
by Uwe Egly, Hans Tompits, Stefan Woltran, Abteilung Wissensbasierte Systeme — 2002 — In Proceedings of the SAT-02 Workshop on Theory and Applications of Quantified Boolean Formulas (QBF-02
…On Quantifier Shifting for Quantified Boolean Formulas Uwe Egly Hans Tompits Stefan Woltran…
Cited by 3 (1 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB