KIT | KIT-Bibliothek | Impressum | Datenschutz

Implementation of an extended possibilistic logic in an annotated logic theorem prover

Kullmann, Peter; Sandri, Sandra



Zugehörige Institution(en) am KIT Institut für Algorithmen und Kognitive Systeme (IAKS)
Publikationstyp Buchaufsatz
Jahr 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].
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page