Modal change logic (MCL): specifying the reasoning of knowledge-based systems
| Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) |
| Publikationstyp | Zeitschriftenaufsatz |
| Publikationsjahr | 1998 |
| Sprache | Englisch |
| Identifikator | urn:nbn:de:swb:90-AAA43983 KITopen-ID: 4398 |
| Erscheinungsvermerk | Data and knowl. engng. 26 (1998) H. 3 S. 243-269. |