Author:
Fujita Hiroshi,Yagi Naoki,Ozaki Tomonobu,Furukawa Koichi
Publisher
Springer Berlin Heidelberg
Reference6 articles.
1. Beeri, C. and Ramakrishnan, R.: On the Power of Magic. J. Logic Programming, Vol.10, (1991) 255–299
2. Fujita, H. and Hasegawa, R.: A Model Generation Theorem Prover in KL1 Using a Ramified-Stack Algorithm. Proc. of the 8th ICLP, (1991) 535–548
3. Manthey, R. and Bry, F.: SATCHMO: A theorem prover implemented in Prolog. Proc. of the 9th CADE, (1988) 415–434
4. Muggleton, S.: Inverse Entailment and Progol. New Generation Computing, Vol. 13, (1995) 245–286
5. Ueda, K. and Chikayama, T.: Design of the kernel language for the parallel inference machine. The Computer Journal, 33(6) (1990) 494–500
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献