| |
| 2008 | ||
|---|---|---|
| 3 | EE | Roman Kontchakov, V. Ryzhikov, Frank Wolter, Michael Zakharyaschev: Checking DL-Lite Modularity with QBF Solvers. Description Logics 2008 |
| 2007 | ||
| 2 | EE | Alessandro Artale, Diego Calvanese, Roman Kontchakov, V. Ryzhikov, Michael Zakharyaschev: Complexity of Reasoning in Entity Relationship Models. Description Logics 2007 |
| 1 | EE | Alessandro Artale, Diego Calvanese, Roman Kontchakov, V. Ryzhikov, Michael Zakharyaschev: Reasoning over Extended ER Models. ER 2007: 277-292 |
| 1 | Alessandro Artale | [1] [2] |
| 2 | Diego Calvanese | [1] [2] |
| 3 | Roman Kontchakov | [1] [2] [3] |
| 4 | Frank Wolter | [3] |
| 5 | Michael Zakharyaschev | [1] [2] [3] |