Name
Title | ||
|---|---|---|
Generalized Satisfiability for the Description Logic ALC\mathcal{ALC} - (Extended Abstract). |
Year | Venue | DocType |
|---|---|---|
2011 | TAMC | Conference |
Citations | PageRank | References |
0 | 0.34 | 1 |
Authors | ||
2 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Arne Meier | 1 | 126 | 19.00 |
| Thomas Schneider | 2 | 55 | 6.54 |