Moving on to First-Order Logic Language, Meaning, Logic USEM 40a James Pustejovsky.
CS 188: Artificial Intelligence Spring 2007 Lecture 10: Logical agents and knowledge representation 2/15/2007 Srini Narayanan – ICSI and UC Berkeley Many.