KIT | KIT-Bibliothek | Impressum | Datenschutz

MLPM: Defing 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 Proceedingsbeitrag
Jahr 1996
Sprache Englisch
Identifikator ISBN: 0-471-96809-9
KITopen-ID: 1000093438
Erschienen in Proceedings of the 12th European Conference on Artificial Intelligence (ECAI-96), Budapest, August 12-16, 1996. Ed. Wolfgang Wahlster
Verlag Wiley, Chichester
Seiten 423-428
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page