Publisher
Springer Science and Business Media LLC
Subject
Applied Mathematics,Artificial Intelligence
Reference16 articles.
1. P.B. Andrews, Theorem proving via general matings, J. ACM 28 (1981) 193?214.
2. W. Bibel,Automated Theorem Proving (Friedr. Vieweg, Braunschweig, Germany, 1982).
3. E. Charniak, Motivation analysis, abductive unification, and nonmonotonic equality, Art. Int. 34 (1988) 275?295.
4. E. Charniak and S.E. Shimony, Probabilistic semantics for cost based abduction, Technical Report CS-90-02, Department of Computer Science, Brown University, Providence, RI (February 1990).
5. P.T. Cox and T. Pietrzykowski, Causes for events: their computation and applications,Proc. 8th Conf. on Automated Deduction, Oxford, England (July 1986) pp. 608?621.
Cited by
19 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献