A Deduction Calculus for Cumulated Clauses on FLE Concept Descriptions
| Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 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 | Adam Mickiewicz University |
| Seiten | 188 - 201 |
| Serie | Lecture notes in computer science ; 4068 |
| Externe Relationen | Abstract/Volltext |