Conceptual Structures: Logical, Linguistic, and Computational Issues : 8th International Conference on Conceptual Structures, ICCS 2000 Darmstadt, Germany, August 14-18, 2000 Proceedings - Bernhard Ganter, Guy W. Mineau ((Lecture Notes in Computer Science))