Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
103 Publications
1999 | Conference Paper | LibreCat-ID: 56575
Haarslev, V., Möller, R., Turhan, A.-Y., & Wessel, M. (1999). On Terminological Default Reasoning about Spatial Information: Extended Abstract. In P. Lambrix, A. Borgida, M. Lenzerini, R. Möller, & P. F. Patel-Schneider (Eds.), Proceedings of the 1999 International Workshop on Description Logics (DL’99), Linköping, Sweden, July 30 - August 1, 1999 (Vol. 22). CEUR-WS.org.
LibreCat
1998 | Conference Paper | LibreCat-ID: 56577
Haarslev, V., Möller, R., & Turhan, A.-Y. (1998). Implementing an ALCRP(D) ABox Reasoner - Progress Report. In E. Franconi, G. D. Giacomo, R. M. MacGregor, W. Nutt, & C. A. Welty (Eds.), Proceedings of the 1998 International Workshop on Description Logics (DL’98), IRST, Povo - Trento, Italy, June 6-8, 1998 (Vol. 11). CEUR-WS.org.
LibreCat
1998 | Conference Paper | LibreCat-ID: 56576
Haarslev, V., Möller, R., & Turhan, A.-Y. (1998). HAM-ALC. In E. Franconi, G. D. Giacomo, R. M. MacGregor, W. Nutt, & C. A. Welty (Eds.), Proceedings of the 1998 International Workshop on Description Logics (DL’98), IRST, Povo - Trento, Italy, June 6-8, 1998 (Vol. 11). CEUR-WS.org.
LibreCat