Publisher
Springer Nature Switzerland
Reference34 articles.
1. Apt, K.R., Bezem, M.: Acyclic programs. New Gener. Comput. 9, 335–364 (1991). https://doi.org/10.1007/BF03037168
2. Aspis, Y., Broda, K., Russo, A.: Tensor-based abduction in Horn propositional programs. In: ILP 2018, CEUR Workshop Proceedings, vol. 2206, pp. 68–75 (2018)
3. Beckman, L., Haraldson, A., Oskarsson, Ö., Sandewall, E.: A partial evaluator, and its use as a programming tool. Artif. Intell. 7(4), 319–357 (1976). https://doi.org/10.1016/0004-3702(76)90011-4
4. Boutilier, C., Beche, V.: Abduction as belief revision. Artif. Intell. 77(1), 43–94 (1995). https://doi.org/10.1016/0004-3702(94)00025-V
5. Console, L., Dupré, D.T., Torasso, P.: On the relationship between abduction and deduction. J. Logic Comput. 1(5), 661–690 (1991). https://doi.org/10.1093/logcom/1.5.661
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献