| Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 2006 |
| Sprache | Englisch |
| Identifikator | ISSN: 1860-8477 KITopen-ID: 1000017856 |
| Erschienen in | Proceedings of the 11th Workshop on Nonmonotonic Reasoning (NMR 2006) in the Lake District area of the UK on May 30 - June 1, 2006. Ed.: J. Dix |
| Verlag | Institut für Informatik |
| Seiten | 124 - 132 |
| Serie | IfI technical report series ; 2006-04 |