Compositional Verification of Knowledge-Based Task Models and Problem-Solving Methods.

Frank Cornelissen Catholijn M. Jonker Jan Treur

Published in: Knowl. Inf. Syst. (2003)

Keyphrases

experimental data
parameter estimation
statistical model
data structure
search engine
prior knowledge
model checking
knowledge based systems
maximum likelihood
markov random field
least squares
video sequences
reinforcement learning
bayesian networks
web services
website
information systems