CIS603 S03: Lecture 14

Topics:

  1. Inference in First-Order Logic

Slides

(some material adopted from notes by T. Finin, A. Geyer-Schulz, and C. Dyer)

Switch to:

vasilis@cis.temple.edu