A temporal terminological logic A Schmiedel Techn. Univ., Projektgruppe KIT, 1990 | 127 | 1990 |
BACK V5-Tutorial & Manual T Hoppe, C Kindermann, J Quantz, A Schmiedel, M Fischer Technische Universität Berlin, 1997 | 82 | 1997 |
Term subsumption languages in knowledge representation PF Patel-Schneider, B Owsnicki-Klewe, A Kobsa, N Guarino, ... AI Magazine 11 (2), 16-16, 1990 | 80 | 1990 |
The BACK system revisited C Peltason, A Schmiedel, C Kindermann, J Quantz Technische Universitaet Berlin, 1989 | 72 | 1989 |
The anatomy of the back system K Luck, B Nebel, C Peltason, A Schmiedel Kit report 41, 1987 | 31 | 1987 |
Semantic Indexing Based on Description Logics. A Schmiedel KRDB, 1994 | 25 | 1994 |
BACK V5 T Hoppe, C Kindermann, JJ Quantz, A Schmiedel, M Fischer Tutorial & Manual, 1993 | 13 | 1993 |
The MIHMA project: A Web information service based on description logics T Hoppe, C Kindermann, K Paulus, R Tolksdorf, E Buu, S Heimann, ... Proc. WWW5 Workshop AI-based Tools to Help W3 Users, 1996 | 10 | 1996 |
BACK to consistency and incompleteness K von Luck, B Nebel, C Peltason, A Schmiedel GWAI-85: 9th German Workshop on Artificial Intelligence Dassel/Solling …, 1986 | 10 | 1986 |
The MIHMA demonstrator application: bmt line C Kindermann, T Hoppe, D Marwinski, H Oertel, OK Paulus, E Buu, ... Technical report, Non Standard Logics SA, Paris and TU Berlin, 1996 | 9 | 1996 |
Temporal constraint networks Technische Universitäet Berlin. Fachbereich Informatik. Institut für ... | 8 | 1988 |
Persistent maintenance of object descriptions using BACK A Schmiedel International Workshop on Description Logics, 108, 1994 | 6 | 1994 |
The BACK System revisited, KIT-REPORT 75 C Peltason, A Schmiedel, C Kindermann, J Quantz Techn. Univ. Berlin, Berlin, W. Germany, 1989 | 6 | 1989 |
A temporal constraint handler for the BACK system Technische Universitäet Berlin. Fachbereich Informatik. Institut für ... | 6 | 1988 |
" Bitter Pills": A Case Study in Knowledge Representation A Schmiedel TU, FB Informatik, Inst. für Angewandte Informatik, 1986 | 6 | 1986 |
Aspekte der Verarbeitung unsicheren Wissens W Emde, A Schmiedel Techn. Univ., Fachbereich Informatik, Inst. für Angewandte Informatik …, 1983 | 6 | 1983 |
The MIHMA Project Overview Report OK Paulus, P Volle, E Buu, S Heimann, T Hoppe, C Kindermann, ... Technical report, Department of Computer Science, Technische Universit at …, 1996 | 4 | 1996 |
Using structured topics for managing generalized bookmarks A Schmiedel 5th International WWW Conference, 1996 | 4 | 1996 |
Eine neue Implementation von SRL W Emde, K v Luck, A Schmiedel GWAI-84: 8th German Workshop on Artificial Intelligence Wingst/Stade …, 1985 | 3 | 1985 |
Using the BACK System in MIHMA A Schmiedel, P Volle, T Hoppe, C Kindermann, H Oertel, OK Paulus Technical report, Non Standard Logics, Paris, 1996 | 2 | 1996 |