KIT | KIT-Bibliothek | Impressum
Open Access Logo
§
Volltext
URN: urn:nbn:de:swb:90-AAA2748968

MLPM: defining a semantics and axiomatization for specifying the reasoning process of knowledge-based systems

Fensel, Dieter; Groenboom, Rix



Zugehörige Institution(en) am KIT Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Publikationstyp Buchaufsatz
Jahr 1996
Sprache Englisch
Identifikator KITopen ID: 274896
Erscheinungsvermerk In: Proceedings. 12th European Conference on Artificial Intelligence, ECAI 96, Budapest, Hungary 1996. Ed.: W. Wahlster. Chichester 1996. S. 1123-1127.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page