Subject
Artificial Intelligence,Theoretical Computer Science,Software
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Explaining by evidence;Journal of Experimental & Theoretical Artificial Intelligence;2000-01
2. The Good Old Davis-Putnam Procedure Helps Counting Models;Journal of Artificial Intelligence Research;1999-06-01
3. Approximate reasoning with credible subsets;Journal of Experimental & Theoretical Artificial Intelligence;1997-10