Skip to main content

1 Result(s)

within Michael Kohlhase Remove this filter Linguistics Remove this filter

and

  1. No Access

    Chapter

    Inference and Computational Semantics

    In this paper we discuss inference in computational semantics. In particular, we argue that state-of-the-art methods in first-order theorem proving and model generation are of direct relevance to inference for na...

    Patrick Blackburn, Johan Bos, Michael Kohlhase, Hans De Nivelle in Computing Meaning (2001)