Instructor

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

Teaching Assistants

• Hoyun Song, Huije Lee
• Email: cs579@nlp.kaist.ac.kr

Lecture Hours

• 13:00~14:30, Tuesdays and Thursdays

Lecture Room

• (Online classes only) Room 102, Kim Beang-Ho Kim Sam-Youl ITC Bldg. (N1)

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

• Term Project: 50%
• Homework: 30%
• Attendance / Class Participation: 20%

Schedule

• Week 1: Introduction + Prolog
• Week 2: Prolog
• Week 3: Prolog + First Order Logic
• Week 4: First Order Logic
• Week 5: Lambda Calculus + Holiday
• Week 6: Lambda Calculus
• Week 7: Representations + Proposal Presentations
• Week 8: Midterm Exam Period (no exam)
• Week 9: Representations
• Week 10: Representations
• Week 11: Propositional Inference
• Week 12: Propositional Inference + First Order Inference
• Week 13: First Order Inference
• Week 14: First Order Inference + Putting It All Together
• Week 15: Final Presentations
• Week 16: Final Exam Period (no exam)

• Download Syllabus PDF