Dr Rodrigo de Salvo BrazComputer Scientist
Artificial Intelligence Center
333 Ravenswood Avenue
Menlo Park, CA 94025-3493
Phone: (650) 859-5138
Fax: (650) 859-3735
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.
Bui, H. and Huynh, T. and de Salvo Braz, R. Exact lifted inference with distinct soft evidence on every object, in AAAI, 2012. [PDF, Details]
Choi, J. and de Salvo Braz, R. and Bui, H. Efficient Methods for Lifted Inference with Aggregate Factors, in AAAI 2011, 2011. [PDF, Details]