Login / Signup
Using a SMT Solver for Risk Analysis: Detecting Logical Mistakes in Texts.
Florence Bannay
Marie-Christine Lagasquie-Schiex
William Raynaut
Patrick Saint-Dizier
Published in:
ICTAI (2014)
Keyphrases
</>
risk analysis
risk management
risk assessment
risk factors
decision making
intelligent data analysis
statistical machine translation
information security
influence diagrams
fuzzy numbers
neural network
pattern recognition
software systems
case study
probabilistic model
graphical models