A formal semantics and axiomatization for specifying the dynamics of knowledge-based systems
| Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) |
| Publikationstyp | Buchaufsatz |
| Publikationsjahr | 1996 |
| Sprache | Englisch |
| Identifikator | KITopen-ID: 274796 |
| Erscheinungsvermerk | In: Proceedings of the Knowledge Engineering- Methods & Languages Workshop, KEML-96, Paris-Orsay, France 1996. |