Logical Aspects of Computational Linguistics : Third International Conference LACL’98 Grenoble France December 14–16 1998 Selected Papers This book constitutes the thoroughly refereed post proceedings of the Third International Conference on Logical Aspects of Computational Linguistics LACL98 held in Grenoble France in December 1998. The 15 revised full papers presented together with one invited paper were carefully reviewed and selected during two rounds of refereeing from 33 submissions and 19 conference presentations. Among the topics covered are various types of grammars categorical inference automated reasoning constraint handling logical forms dialogue semantics unification and proofs