Conceptual structures : logical, linguistics, and computational issues : 8th International Conference on Conceptual Structures, ICCS 2000, Darmstadt, Germany, August 14-18, 2000 : proceedings - Ganter, Bernhard, 1949-; Mineau, Guy W. (Lecture notes in computer science, 2000)