A logical framework combining model and proof theory.

Published in: Math. Struct. Comput. Sci. (2013)

Keyphrases

logical framework
high level
sufficient conditions
default reasoning
machine learning
probabilistic model
proof theory
natural language
expert systems
search space
probability distribution
general purpose
inference rules