Author:
Cresswell Stephen,Smaill Alan,Richardson Julian
Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. Abramsky, S.: Computational interpretations of linear logic. Theoretical Computer Science 111, 3–57 (1993) (Revised version of Imperial College Technical Report DoC 90/20)
2. Bibel, W.: A deductive solution for plan generation. New Generation Computing 4, 115–132 (1986)
3. Brüning, S., Hölldobler, S., Schneeberger, J., Sigmund, U., Thielscher, M.: Disjunction in resource-oriented deductive planning. In: Proceedings of the International Symposium on Logic Programming, p. 670 (1993)
4. Bundy, A., Stevens, A., van Harmelen, F., Ireland, A., Smaill, A.: Rippling: A heuristic for guiding inductive proofs. Artificial Intelligence 62, 185–253 (1993); Also available from Edinburgh as DAI Research Paper No. 567
5. Fikes, R.E., Nilsson, N.J.: STRIPS: A new approach to the application of theorem proving to problem solving. Artificial Intelligence 2, 189–208 (1971)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献