KIT | KIT-Bibliothek | Impressum

A formal semantics and axiomatization for specifying the dynamics of knowledge-based systems

Fensel, Dieter; Groenboom, R.



Zugehörige Institution(en) am KIT Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Publikationstyp Buchaufsatz
Jahr 1996
Sprache Englisch
Identifikator KITopen ID: 274796
Erscheinungsvermerk In: Proceedings of the Knowledge Engineering- Methods & Languages Workshop, KEML-96, Paris-Orsay, France 1996.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page