Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(43)
Hans Tompits
20
Stefan Woltran
15
Thomas Eiter
9
Stephen M. Schmitt
5
Thomas Rath
5
Conferences
(20)
TABLEAUX
6
CADE
5
LPAR(RCLP)
3
WLP
3
Theory and Applications of Satisfiability Testing
3
Journals
(14)
SLOGICA
4
FUIN
3
AMAI
2
CORR
2
ENTCS
2
Keywords
(83)
Embed
Subscribe
Academic
Authors
Uwe Egly
Edit
Uwe Egly
Vienna University of Technology
Publications: 69
|
Citations: 342
|
G-Index: 16
|
H-Index: 9
The information is calculated based on the tens of millions of scholarly articles currently discoverable within Microsoft Academic Search. As more content gets indexed, the accuracy and completeness will continue to improve.
Interests:
Artificial Intelligence
,
Algorithms & Theory
,
Scientific Computing
View FAQ about top research area and research interests
Collaborated with
43 co-authors
from 1991 to 2010
; Cited by
243 authors
Homepage
|
Bing
Cumulative
Annual
Order by:
Publications
(69)
BibTeX
|
RIS
|
RefWorks
Download
Answer-set programming encodings for argumentation frameworks
(
Citations: 3
)
Uwe Egly
,
Sarah Alice Gaggl
,
Stefan Woltran
Journal:
Argument & Computation
, vol. 1, no. 2, pp. 147-177, 2010
A SAT Solver for Circuits Based on the Tableau Method
(
Citations: 1
)
Uwe Egly
,
Leopold Haller
Journal:
Künstliche Intelligenz - KI
, vol. 24, no. 1, pp. 15-23, 2010
A solver for QBFs in negation normal form
(
Citations: 6
)
Uwe Egly
,
Martina Seidl
,
Stefan Woltran
Journal:
Constraints - An International Journal - CONSTRAINTS
, vol. 14, no. 1, pp. 38-79, 2009
(1, 2)-QSAT: A Good Candidate for Understanding Phase Transitions Mechanisms
Nadia Creignou
,
Hervé Daudé
,
Uwe Egly
,
Raphaël Rossignol
Conference:
Theory and Applications of Satisfiability Testing
, pp. 363-376, 2009
The threshold for random (1,2)-QSAT
Nadia Creignou
,
Hervé Daudé
,
Uwe Egly
,
Raphaël Rossignol
Journal:
Computing Research Repository - CORR
, vol. abs/0907.0, 2009
Order by:
Citations
(342 times by 237 publications)
Gentzen-Type Refutation Systems for Three-Valued Logics with an Application to Disproving Strong Equivalence
Johannes Oetsch
,
Hans Tompits
Conference:
Logic Programming and Non-monotonic Reasoning - LPNMR
, pp. 254-259, 2011
Answer-set programming encodings for argumentation frameworks
(
Citations: 3
)
Uwe Egly
,
Sarah Alice Gaggl
,
Stefan Woltran
Journal:
Argument & Computation
, vol. 1, no. 2, pp. 147-177, 2010
Argumentation for Aggregating Clinical Evidence
(
Citations: 1
)
Anthony Hunter
,
Matthew Williams
Conference:
International Conference on Tools with Artificial Intelligence - ICTAI
, vol. 1, pp. 361-368, 2010
Proof Complexity of Propositional Default Logic
(
Citations: 2
)
Olaf Beyersdorff
,
Arne Meier
,
Sebastian Müller
,
Michael Thomas
,
Heribert Vollmer
Conference:
Theory and Applications of Satisfiability Testing
, pp. 30-43, 2010
Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription
(
Citations: 2
)
Mikolaÿs Janota
,
João Marques-Silva
,
Radu Grigore
Journal:
Computing Research Repository - CORR
, vol. abs/1006.5, pp. 195-207, 2010
Comments