C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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