333 Ravenswood Avenue
Menlo Park, CA 94025-3493
Phone: (650) 859-5138
Fax: (650) 859-3735
To develop lifted inference algorithms for solving probabilistic models expressed by Turing-complete probabilistic programming languages.
SRI is developing an automated reading system that makes the information in text accessible to a range of formal reasoning systems.
The following are in reverse chronological order of publication.