KIT | KIT-Bibliothek | Impressum | Datenschutz

Using KIV to specify and verify architectures of knowledge-based systems

Fensel, Dieter; Schoenegge, Arno

Open Access Logo


Volltext §
DOI: 10.5445/IR/120997
Cover der Publikation
Zugehörige Institution(en) am KIT Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Buchaufsatz
Publikationsjahr 1997
Sprache Englisch
Identifikator urn:nbn:de:swb:90-AAA1209973
KITopen-ID: 120997
Erscheinungsvermerk In: Proceedings of the 12th IEEE International Conference on Automated Software Engineering, ASE '97, Incline Village, Nev. 1997. Los Alamitos, Calif. 1997. S. 54-67.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page