The formal semantics of the timeER model.

Heidi Gregersen

Published in: APCCM (2006)

Keyphrases

artificial intelligence
formal semantics
probabilistic model
process model
probability distribution
open source
database management systems
first order logic
theorem prover