Michael Kohlhase

News(current)
FAQ(current)
Corrections(current)
Submissions(current)
GitHub

This is an internal, incomplete preview of a proposed change to the ACL Anthology. For efficiency reasons, we don't generate MODS or Endnote formats, and the preview may be incomplete in other ways, or contain mistakes. Do not treat this content as an official publication.

2000

pdf bib

Feature Logic for Dotted Types: A Formalism for Complex Word Meanings
Manfred Pinkal | Michael Kohlhase
Proceedings of the 38th Annual Meeting of the Association for Computational Linguistics

1996

pdf bib

Focus and Higher-Order Unification
Claire Gardent | Michael Kohlhase
COLING 1996 Volume 1: The 16th International Conference on Computational Linguistics

pdf bib

Higher-Order Coloured Unification and Natural Language Semantics
Claire Gardent | Michael Kohlhase
34th Annual Meeting of the Association for Computational Linguistics

Co-authors

Claire Gardent 2
Manfred Pinkal 1

Venues

acl2
coling1

Fix author

ACL materials are Copyright © 1963–2026 ACL; other materials are copyrighted by their respective copyright holders. Materials prior to 2016 here are licensed under the Creative Commons Attribution-NonCommercial-ShareAlike 3.0 International License. Permission is granted to make copies for the purposes of teaching and research. Materials published in or after 2016 are licensed on a Creative Commons Attribution 4.0 International License.

The ACL Anthology is managed and built by the ACL Anthology team of volunteers.

Site last built on 03 February 2026 at 20:22 UTC with commit f95512cc.