Immediate Impact
1 standout
Citing Papers
The DLV system for knowledge representation and reasoning
2006 Standout
Works of Uwe Egly being referenced
Solving Advanced Reasoning Tasks Using Quantified Boolean Formulas
2000
Author Peers
| Author | Last Decade | Papers | Cites | |||
|---|---|---|---|---|---|---|
| Uwe Egly | 89 | 67 | 19 | 19 | 112 | |
| Sophie Tison | 107 | 100 | 22 | 22 | 127 | |
| Diego Figueira | 57 | 43 | 9 | 17 | 64 | |
| Peter Lammich | 66 | 50 | 11 | 20 | 80 | |
| Mario Rodríguez-Artalejo | 157 | 128 | 22 | 20 | 171 | |
| Vincent van Oostrom | 148 | 132 | 20 | 24 | 175 | |
| Jean-Philippe Bernardy | 131 | 61 | 14 | 25 | 140 | |
| Joseph Tassarotti | 96 | 48 | 45 | 15 | 110 | |
| Irène Guessarian | 135 | 146 | 23 | 25 | 186 | |
| Jan Schwinghammer | 138 | 83 | 42 | 14 | 149 | |
| Benjamin Goldberg | 120 | 93 | 42 | 19 | 169 |
All Works
Loading papers...