Specifying Prolog Trace Models with a Continuation Semantics.

Erwan Jahier Mireille Ducassé Olivier Ridoux

Published in: LOPSTR (LNCS 2042: Selected Papers) (2000)

Keyphrases

logic programming
complex systems
probabilistic model
graphical models
parameter estimation
machine learning algorithms
experimental data
neural network
natural language
object oriented
model selection
semantic information
mathematical models
autoregressive
formal semantics