# | | Year | | Title | Type | |
1 |
| Iturrioz, Sofronie-Stokkermans [Iturrioz, Orlowska, Turunen] |
| |
1 |
| |
1 |
| Jacobs, Sofronie-Stokkermans [-] |
| |
1 |
| Jacobs, Sofronie-Stokkermans [Cook, Sebastiani] |
| |
1 |
| Jacobs, Waldmann [Beckert] |
| |
1 |
| Jacquemard, Meyer, Weidenbach [Jacquemard, Nipkow] |
| |
16 |
| Jaeger [-] |
| |
1 |
| |
1 |
| Jaeger [Kwiatkowska] |
| |
1 |
| |
1 |
| Jaeger [Nielsen, Zhang] |
| |
1 |
| Jaeger, Mannila, Weydert [Ng] |
| |
1 |
| Jaulin, Ratschan, Hardouin [Jaulin, Hardouin] |
| |
1 |
| Jensen, Podelski (ed.) [Jensen] |
| |
1 |
| Jensen, Podelski [Jensen] |
| |
1 |
| Johann, Socher-Ambrosius [Johann] |
| |
1 |
| Jung [-] |
| |
1 |
| |
2 |
| Kazakov [-] |
| |
1 |
| |
1 |
| Kazakov, de Nivelle [Basin, Rusinowitch] |
| |
1 |
| Kazakov, de Nivelle [Calvanese, De Giacomo, Franconi] |
| |
| | 2003 | | Subsumption of Concepts in $FL_0$ for (Cyclic) Terminologies with Respect to Descriptive Semantics is PSPACE-complete
In: 2003 International Workshop on Description Logics (DL-03), 56-64 | Proceedings Article | |
1 |
| |
1 |
| Korovin [-] |
| |
1 |
| Korovin, Voronkov [Voronkov, Baader] |
| |
1 |
| Korovin, Voronkov [Voronkov, Kolaitis, Voronkov, Kolaitis] |
| |
2 |
| Korovin, Voronkov [Voronkov] |
| |
2 |
| Kraan, Basin, Bundy [-] |
| |
2 |
| Kraan, Basin, Bundy [Kraan, Bundy] |
| |