Instructor

Teaching Assistants

Lecture Hours

  • 14:30~15:50, Tuesdays and Thursdays

Lecture Room

  • Room 2112, School of Computing Bldg. (E3-1)

Textbooks

Primary Textbook

  • Blackburn and Bos, Representation and Inference for Natural Language: A First Course in Computational Semantics, CSLI Studies in Computational Linguistics, CSLI Publications, 2005.

Secondary Textbook

Other References

  • Venhuizen et al., Parsimonious semantic representations with projection pointers. IWCS, 2013 (link).
  • Abzianidze et al., The Parallel Meaning Bank: Towards a Multilingual Corpus of Translations Annotated with Compositional Meaning Representations. EACL, 2017 (link).
  • Abzianidze et al., The first shared task on discourse representation structure parsing. IWCS, 2019 (link).

Evaluation

  • Midterm exam: 25%
  • Final exam: 25%
  • Attendance: 20%
  • Homework/Project/Class Participation: 30%

Schedule

  • Week 1: Introduction
  • Week 2: Prolog
  • Week 3: Prolog
  • Week 4: First Order Logic
  • Week 5: First Order Logic; Lambda Calculus
  • Week 6: Lambda Calculus
  • Week 7: Midterm Exam (10/24, 13:00~15:45)
  • Week 8: Underspecified Representations
  • Week 9: Underspecified Representations
  • Week 10: Propositional Inference
  • Week 11: Propositional Inference
  • Week 12: First Order Inference
  • Week 13: First Order Inference
  • Week 14: Review; Putting It All Together
  • Week 15: Final Exam (12/19, 13:00~15:45)