Qualitative Logics and Equivalences for Probabilistic Systems

Krishnendu Chatterjee Luca de Alfaro Marco Faella Axel Legay

Published in: Log. Methods Comput. Sci. (2009)

Keyphrases

bayesian networks
management system
intelligent systems
learning systems
physical systems
data sets
neural network
artificial intelligence
information systems
multi agent systems
information retrieval systems
complex systems
expressive power