KIT | KIT-Bibliothek | Impressum | Datenschutz

A Deduction Calculus for Cumulated Clauses on FLE Concept Descriptions

Rudolph, S.



Zugehörige Institution(en) am KIT Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Publikationstyp Proceedingsbeitrag
Jahr 2006
Sprache Englisch
Identifikator ISSN: 0302-9743
KITopen ID: 1000017874
Erschienen in Conceptual Structures: Inspiration and Application, 14th International Conference on Conceptual Structures, ICCS 2006, Aalborg, Denmark, July 16-21, 2006, Proceedings. Ed.: P. Hitzler
Verlag Aalborg University Press
Seiten 188 - 201
Serie Lecture notes in computer science ; 4068
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page