for links to some papers.
In Spring 2014, I will be teaching "Logic and Artificial Intelligence" at Carnegie Mellon.
Then I will be co-teaching "Logic and Probability" with Wesley Holliday at ESSLLI 2014
Make sure not to miss NASSLLI 2014
, at the University of Maryland, College Park!
I can be reached at surname
[♠]cmu.edu by replacing surname
with my surname and [♠] with @.