Towards a Model Logic for p-Calculus.

Taolue Chen Tingting Han Jian Lu

Published in: COMPSAC (2004)

Keyphrases

formal model
high level
multi agent
probabilistic model
em algorithm
computational model
neural network
knowledge base
decision trees
video sequences
cost function