Computational Semantics

Aljoscha Burchardt, Stephan Walter, Alexander Koller, Michael Kohlhase, Patrick Blackburn and Johan Bos

The most central fact about natural language is that it has meaning. Semantics is the study of meaning. In formal semantics, we conduct this study in a formal manner. In computational semantics, we're additionally interested in using the results of our study when we implement programs that process natural language. This is what we will be concerned with in this course.

• Table of Contents

• Course Schedule

• 1 First-Order Logic

• 2 Prolog and First-Order Logic

• 3 Lambda Calculus

• 4 Towards a Modular Architecture

• 5 Scope and Underspecification

• 6 Constraint Solving

• 7 Inference in Computational Semantics

• 8 Tableaux Implemented

• 9 [Sidetrack] Model Generation

• 10 First-Order Inference

• 11 Discourse Representation Theory

• 12 The Proof of the Pudding is in the Eating

• Common Predicates

• Code Index

• Index