A Plausible Logic Inference Engine Stracuzzi, David J. Abstract not provided. More Details TYPE Conference YEAR 2011 OSTI