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 |