Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) |
Publikationstyp | Proceedingsbeitrag |
Publikationsjahr | 2004 |
Sprache | Englisch |
Identifikator | ISBN: 92-990021-0-X KITopen-ID: 1000018598 |
Erschienen in | Proceedings of 10th International workshop on Non-Monotonic Reasoning (NMR04). Ed.: J. P. Delgrande |
Verlag | Whistler |
Seiten | 342 - 350 |