Login / Signup
A Bidirectional Transformation Supporting Tool for Formalization with Logical Formulas.
Shunsuke Nanaumi
Kazunori Wagatsuma
Hongbiao Gao
Yuichi Goto
Jingde Cheng
Published in:
ACIIDS (1) (2015)
Keyphrases
</>
logical formulas
software tools
formal model
partial order
bayesian networks
domain knowledge
knowledge discovery
temporal logic