Implementation of an extended possibilistic logic in an annotated logic theorem prover
| Zugehörige Institution(en) am KIT | Fakultät für Informatik – Institut für Algorithmen und Kognitive Systeme (IAKS) |
| Publikationstyp | Buchaufsatz |
| Publikationsjahr | 2001 |
| Sprache | Englisch |
| Identifikator | KITopen-ID: 30692001 |
| Erscheinungsvermerk | In: Proceedings of the Joint 9th International Fuzzy Systems Association World Congress and 20th North American Fuzzy Information Processing Society International Conference, IFSA-NAFIPS 2001, Vancouver, BC, Canada 2001. [CD-ROM]. |