Consequence Reasoning in Multilevel Flow Modelling.

Xinxin Zhang Morten Lind Ole Ravn

Published in: IFAC HMS (2013)

Keyphrases

automated reasoning
reasoning systems
knowledge representation
reasoning tasks
probabilistic reasoning
proof theory
information systems
bayesian networks
neural network
domain knowledge
information flow
logical framework
formal models
reasoning problems