Conceptual structures : logical, linguistic, and computational issues : 8th International Conference on Conceptual Structures, ICCS 2000, Darmstadt, Germany, August 2000 : proceedings - Ganter, Bernhard; Mineau, Guy W. (Springer, 2000)