Instructor

• Jong C. Park
• Email: park@nlp.kaist.ac.kr
• Office: CS Bldg. Room 2406
• Phone: x3541

Teaching Assistants

• Wonsuk Yang, Jung-Ho Kim
• Email: cs579@nlp.kaist.ac.kr

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

• Blackburn, Bos, and Striegnitz, Learn Prolog Now!, College Publications, King’s College, 2006. http://www.learnprolognow.org

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)

• Download Syllabus PDF