Model-Theoretic Expressivity Analysis - Jaeger, Manfred (Probabilistic Inductive Logic Programming, 2008)
Keywords: Artificial intelligence; Bayesian Network; Computer programming / software development; Constant Symbol; Ground Atom; Inductive Logic Programming; Mathematical theory of computation; Relation Symbol