Funder
Japan Society for the Promotion of Science
“Pays dela Loire” Region through RFI Atlanstic 2020
Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Software
Reference57 articles.
1. Akutsu, T., Kuhara, S., Maruyama, O., & Miyano, S. (2003). Identification of genetic networks by strategic gene disruptions and gene overexpressions under a boolean model. Theoretical Computer Science, 298(1), 235–251.
2. Apt, K. R., Blair, H. A., & Walker, A. (1988). Towards a theory of declarative knowledge. Foundations of deductive databases and logic programming p. 89
3. Bain, M., & Srinivasan, A. (2018). Identification of biological transition systems using meta-interpreted logic programs. Machine Learning, 107(7), 1171–1206.
4. Blair, H. A., & Subrahmanian, V. (1988). Paraconsistent foundations for logic programming. Journal of Non-classical Logic, 5(2), 45–73.
5. Blair, H. A., & Subrahmanian, V. (1989). Paraconsistent logic programming. Theoretical Computer Science, 68(2), 135–154. https://doi.org/10.1016/0304-3975(89)90126-6
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献