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, Volker, et al. “On Terminological Default Reasoning about Spatial Information: Extended Abstract.” Proceedings of the 1999 International Workshop on Description Logics (DL’99), Linköping, Sweden, July 30 - August 1, 1999, edited by Patrick Lambrix et al., vol. 22, CEUR-WS.org, 1999.
LibreCat
 

1998 | Conference Paper | LibreCat-ID: 56577
Haarslev, Volker, et al. “Implementing an ALCRP(D) ABox Reasoner - Progress Report.” Proceedings of the 1998 International Workshop on Description Logics (DL’98), IRST, Povo - Trento, Italy, June 6-8, 1998, edited by Enrico Franconi et al., vol. 11, CEUR-WS.org, 1998.
LibreCat
 

1998 | Conference Paper | LibreCat-ID: 56576
Haarslev, Volker, et al. “HAM-ALC.” Proceedings of the 1998 International Workshop on Description Logics (DL’98), IRST, Povo - Trento, Italy, June 6-8, 1998, edited by Enrico Franconi et al., vol. 11, CEUR-WS.org, 1998.
LibreCat
 

Filters and Search Terms

(person=104470) OR (department=888)

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed