Abstraction and Probabilities for Hybrid Logics.

Published in: Electron. Notes Theor. Comput. Sci. (2005)

Keyphrases

expressive power
high level
probability distribution
inference rules
propositional dynamic logic
real time
modal logic
data sets
data mining
information retrieval
artificial intelligence
decision making
belief networks
probability theory
propositional calculus