KIT | KIT-Bibliothek | Impressum | Datenschutz

The declarative semantics of KARL

Fensel, Dieter


Zugehörige Institution(en) am KIT Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Publikationstyp Buchaufsatz
Publikationsjahr 1994
Sprache Englisch
Identifikator KITopen-ID: 293594
Erscheinungsvermerk In: Proceedings of the 11th European Conference on Artificial Intelligence, ECAI-94, Workshop W1: Formal Specification Methods for Knowledge-Based Systems, Amsterdam, Netherlands 1994.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page