First-Order Logic Courses
Stanford University via edX Artificial Intelligence: Knowledge Representation And Reasoning
Indian Institute of Technology Madras via Swayam AI:Knowledge Representation and Reasoning
Indian Institute of Technology Madras via Swayam 人工智慧：搜尋方法與邏輯推論 (Artificial Intelligence - Search & Logic)
National Taiwan University via Coursera Semantics of First-Order Logic
Stanford University via edX Artificial Intelligence
NPTEL via YouTube Logic II
Brilliant Computer Science 311: Artificial Intelligence
Study.com Learning Logically Defined Hypotheses - Martin Grohe, RWTH Aachen University
Alan Turing Institute via YouTube Neural Nets for NLP 2018 - Neural Semantic Parsing
Graham Neubig via YouTube