© 2000 Todd Neller.
A.I.M.A. t
ext
figures
© 1995 Prentice Hall.
Used by
permission.
Outline
When Propositional Logic Isnt Enough
First-Order Logic (FOL)
Practice with FOL
FOL Proof Method: Resolution
[Why Representing Change in Time is
Difficult]
