Probabilistic modelling, inference and learning using logical theories

  • Ng K
  • Lloyd J
  • Uther W
  • 12


    Mendeley users who have this article in their library.
  • 13


    Citations of this article.


Extensions needed to support reasoning are then discussed in Section 4.2. It is a computation system that significantly extends existing languages by adding logic facilities.

Author-supplied keywords

  • Higher-order logic
  • Learning
  • Probabilistic inference
  • Probabilistic modelling

Get free article suggestions today

Mendeley saves you time finding and organizing research

Sign up here
Already have an account ?Sign in

Find this document


  • K. S. Ng

  • J. W. Lloyd

  • W. T.B. Uther

Cite this document

Choose a citation style from the tabs below

Save time finding and organizing research with Mendeley

Sign up for free