Logical Interpolation and Projection onto State in the Duration Calculus.

Dimitar P. Guelev

Published in: J. Appl. Non Class. Logics (2004)

Keyphrases

state space
website
case study
hidden markov models