Author:
Castellini Claudio,Smaill Alan
Publisher
Springer Berlin Heidelberg
Reference25 articles.
1. Abadí, M., Manna, Z.: Nonclausal deduction in first-order temporal logic. Journal of the ACM 37(2), 279–317 (1990)
2. Bundy, A.: The use of explicit plans to guide inductive proofs. In: Lusk, R., Overbeek, R. (eds.) 9th International Conference on Automated Deduction, pp. 111–120. Springer, Heidelberg (1988); Longer version available from Edinburgh as DAI Research Paper No. 349
3. Bundy, A.: Proof planning. In: Drabble, B. (ed.) Proceedings of the 3rd International Conference on AI Planning Systems (AIPS) 1996, pp. 261–267 (1996); also available as DAI Research Report 886
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. Calder, M., Magill, E.: Feature Interactions in Telecommunications and Software Systems, vol. VI. IOS Press, Amsterdam (2000)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献