Sign in

A Bidirectional Transformation Supporting Tool for Formalization with Logical Formulas.

Shunsuke NanaumiKazunori WagatsumaHongbiao GaoYuichi GotoJingde Cheng
Published in: ACIIDS (1) (2015)
Keyphrases
  • logical formulas
  • software tools
  • formal model
  • partial order
  • bayesian networks
  • domain knowledge
  • knowledge discovery
  • temporal logic