SRI International
Room EK290
333 Ravenswood Avenue
Menlo Park, CA 94025-3493
USA
Phone: (650) 859-5138
Fax: (650) 859-3735
Email:
Home Page: https://www.sri.com/about/people/rodrigo-de-salvo-braz
![]() |
Probabilistic Reasoning as Symbolic EvaluationTo develop lifted inference algorithms for solving probabilistic models expressed by Turing-complete probabilistic programming languages. |
![]() |
FAUST (Flexible Acquisition and Understanding System for Text)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.
[View All]