Publisher
Springer Berlin Heidelberg
Reference5 articles.
1. Baumgartner, P., Furbach, U.: Model Elimination without Contrapositives and its Application to PTTP. Journal of Automated Reasoning 13, 339–359 (1994)
2. Loveland, D.: Automated Theorem Proving: A Logical Basis. North Holland, Amsterdam (1978)
3. Lecture Notes in Artificial Intelligence;S. Muggleton,2000
4. Lecture Notes in Artificial Intelligence;O. Ray,2003
5. Stickel, M.: A Prolog technology theorem prover: Implementation by an extended Prolog compiler. Journal of Automated Reasoning 4(4), 353–380 (1988)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Automated Abduction in Scientific Discovery;Model-Based Reasoning in Science, Technology, and Medicine;2007