This is an archive of an inactive wiki and cannot be modified.

Leora Morgenstern

I'm a research staff member at the IBM T.J. Watson Research Center in Hawthorne, NY.

My web page is at

My background is in knowledge representation, using logic (first-order, nonmonotonic, and/or modal) to formalize commonsense reasoning, and the development of ontologies for commonsense reasoning. I am especially interested in using formal methods for practical and commercial applications.


Email: <> (preferred) or