2 ms·

But for me, "automated inference" evokes an associations with description logics or ontologies rather than probabilistic programming.

• murbard2 10y ago
  Would you prefer automated induction?
  • kleiba 10y ago
    I don't think that's much of a difference. Doesn't probabilistic programming allow for a wider range of applications than automated inference/induction? To me, a language like Prolog would fit a such a description better.