The Synthesis Company of San Francisco Mountain Logo
A prolog-like inference system for computing minimum-cost abductive explanations in natural-language interpretation | doi.page