| Zugehörige Institution(en) am KIT | Fakultät für Informatik – Institut für Logik, Komplexität und Deduktionssysteme (ILKD) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 1998 |
| Sprache | Englisch |
| Identifikator | urn:nbn:de:swb:90-AAA499988 KITopen-ID: 49998 |
| Erschienen in | Proceedings of the Intelligent Environments AAAI Spring Symposium, Stanford Univ., Calif. 1998 |
| Seiten | 123-127 |
| Serie | AAAI technical report ; SS-98-02.) |