A Branching Time Temporal Framework for Quantitative Reasoning.

Krishnendu Chatterjee Pallab Dasgupta P. P. Chakrabarti

Published in: J. Autom. Reason. (2003)

Keyphrases

temporal reasoning
qualitative and quantitative
model construction
reasoning engine
database systems
bayesian networks
probabilistic model
main contribution
conceptual framework
meta level
logical framework
temporal context