KIT | KIT-Bibliothek | Impressum

The declarative semantics of KARL

Fensel, Dieter



Zugehörige Institution(en) am KIT Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Publikationstyp Buchaufsatz
Jahr 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