Author:
Rincé Romain,Kervarc Romain,Leray Philippe
Publisher
Springer International Publishing
Reference20 articles.
1. Allen, J.F.: Maintaining knowledge about temporal intervals. Commun. ACM 26(11), 832–843 (1983)
2. Lecture Notes in Computer Science;R Biswas,2007
3. Davis, M., Logemann, G., Loveland, D.: A machine program for theorem-proving. Commun. ACM 5(7), 394–397 (1962)
4. Domingos, P., Lowd, D.: Markov logic: an interface layer for artificial intelligence. Synth. Lect. Artif. Intell. Mach. Learn. 3(1), 1–155 (2009)
5. Fierens, D., Broeck, G.V.D., Thon, I., Gutmann, B., De Raedt, L.: Inference in probabilistic logic programs using weighted CNF’s. Theor. Pract. Log. Program. 15(03), 258–401 (2012)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献