Yoshitaka Yamamoto, Adrien Rougny, Hidetomo Nabeshima, Katsumi Inoue, Hisao Moriya, Christine Froidevaux, Koji Iwanuma. Completing SBGN-AF Networks by Logic-Based Hypothesis Finding. In François Fages, Carla Piazza, editors, Formal Methods in Macro-Biology - First International Conference, FMMB 2014, Nouméa, New Caledonia, September 22-24, 2014. Proceedings. Volume 8738 of Lecture Notes in Computer Science, pages 165-179, Springer, 2014. [doi]
Abstract is missing.