Using Reachability Properties of Logic Program for Revising Biological Models
Using Reachability Properties of Logic Program for Revising Biological Models
复制标题
利用逻辑程序的可达性来修正生物模型
DOI：
--
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
Katsumi Inoue
中科院分区：
文献类型：
--
作者：
Xinwei Chai;Tony Ribeiro;Morgan Magnin;Olivier Roux;Katsumi Inoue
登录
查看更多内容
DOI：
--
发表时间：
2015
期刊：
--
影响因子：
--
作者：
D. Martínez;Tony Ribeiro;Katsumi Inoue;G. Alenyà;C. Torras
通讯作者：
D. Martínez;Tony Ribeiro;Katsumi Inoue;G. Alenyà;C. Torras
嵌入更大网络时生物调节网络的行为保持
DOI：
10.3233/fi-2009-0052
发表时间：
2009
期刊：
Fundam. Informaticae
影响因子：
--
作者：
G. Bernot;F. Tahi
通讯作者：
F. Tahi
布尔网络的逻辑编程
DOI：
--
发表时间：
2011
期刊：
Proc.of 22nd Int'l Joint Conf.on Artificial Intelligence (IJCAI 2011)
影响因子：
--
作者：
佐野渉二;寺田努;塚本昌彦;Katsumi Inoue
通讯作者：
Katsumi Inoue
影响因子：
1.1
作者：
Folschette, Maxime;Pauleve, Loic;Roux, Olivier
通讯作者：
Roux, Olivier