SCOPUS 정보 검색 플랫폼 - 논문 보기

메뉴 건너뛰기

Artificial Intelligence

Volumn 62, Issue 2, 1993, Pages 185-253

Rippling: A heuristic for guiding inductive proofs

(5) Bundy, Alan a Stevens, Andrew a van Harmelen, Frank a Ireland, Andrew a Smaill, Alan a

a UNIVERSITY OF EDINBURGH (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; HEURISTIC METHODS;

HEURISTIC CONTROL; INDUCTIVE PROOFS; MATHEMATICAL INDUCTION; RIPPLING;

THEOREM PROVING;

EID: 0027643028 PISSN: 00043702 EISSN: None Source Type: Journal
DOI: 10.1016/0004-3702(93)90079-Q Document Type: Article

Times cited : (148)

References (19)

1
- 84910560684
- Some generalization heuristics in proofs by induction
- G. Huet, G. Kahn, Institut de Recherche d'Informatique et d'Automatique
- (1975) Actes du Colloque Construction: Amélioration et vérification de Programmes
- Aubin¹

2
- 85029586767
- Difference matching
- D. Kapur, 1992, Lecture Notes in Artificial Intelligence, Springer, Berlin
- (1992) 11th Conference on Automated Deduction , vol.607 , pp. 295-309
- Basin¹ Walsh²

3
- 0004185183
- Academic Press, New York
- (1979) A computational logic
- Boyer¹ Moore²

4
- 84974442619
- The use of explicit plans to guide inductive proofs
- R. Lusk, R. Overbeek, Springer, New York, also longer version: DAI Research Paper No 349, University of Edinburgh, Edinburgh, Scotland
- (1988) 9th Conference on Automated Deduction , pp. 111-120
- Bundy¹

5
- 0025256146
- Turning eureka steps into calculations in automatic program synthesis
- S.L.H. Clarke, also DAI Research Paper 448, University of Edinburgh, Edinburgh, Scotland
- (1990) Proceedings UK IT 90 , pp. 221-226
- Bundy¹ Smaill² Hesketh³

6
- 0342293997
- Experiments with proof plans for induction
- also earlier version DAI Research Paper No 413, University of Edinburgh, Edinburgh, Scotland
- (1991) J. Autom. Reasoning , vol.7 , pp. 303-324
- Bundy¹ van Harmelen² Hesketh³ Smaill⁴

7
- 0041648863
- A rational reconstruction and extension of recursion analysis
- Milan, Italy, also DAI Research Paper 419, University of Edinburgh, Edinburgh, Scotland
- (1989) Proceedings IJCAI-89 , pp. 359-365
- Bundy¹ van Harmelen² Hesketh³ Smaill⁴ Stevens⁵

8
- 0348170645
- The Oyster-Clam system
- M.E. Stickel, Lecture Notes in Artificial Intelligence, Springer, New York, also DAI Research Paper 507, University of Edinburgh, Edinburgh, Scotland
- (1990) 10th International Conference on Automated Deduction , vol.449 , pp. 647-648
- Bundy¹ van Harmelen² Horn³ Smaill⁴

9
- 85031808670
- Extensions to the rippling-out tactic for guiding inductive proofs
- M.E. Stickel, Lecture Notes in Artificial Intelligence, Springer, New York, also DAI Research Paper 459, University of Edinburgh, Edinburgh, Scotland
- (1990) 10th International Conference on Automated Deduction , vol.449 , pp. 146-312
- Bundy¹ van Harmelen² Smaill³ Ireland⁴

10
- 4444359836
- Using meta-level inference for selective application of multiple rewrite rule sets in algebraic manipulation
- also DAI Research Paper 121, University of Edinburgh, Edinburgh, Scotland
- (1981) Artif. Intell. , vol.16 , Issue.2 , pp. 189-212
- Bundy¹ Welham²

11
- 0017419683
- A transformation system for developing recursive programs
- (1977) Journal of the ACM , vol.24 , Issue.1 , pp. 44-67
- Burstall¹ Darlington²

12
- 0004174649
- Prentice Hall, Englewood Cliffs, NJ
- (1986) Implementing Mathematics with the Nuprl Proof Development System
- Constable¹ Allen² Bromley³

13
- 0018504528
- Proving termination with multiset orderings
- (1979) Comm. ACM , vol.22 , Issue.8 , pp. 465-476
- Dershowitz¹ Manna²

14
- 0040934880
- Using middle-out reasoning to guide inductive theorem proving
- Unpublished, University of Edinburgh, Edinburgh, Scotland
- (1991) Ph.D. Thesis
- Hesketh¹

15
- 84957676753
- Guiding inductive proofs
- M.E. Stickel, Lecture Notes in Artificial Intelligence, Springer, New York
- (1990) 10th International Conference on Automated Deduction , vol.449 , pp. 147-161
- Hutter¹

16
- 0346547847
- Formulation of induction formulas in verification of Prolog programs
- J. Siekmann, Lecture Notes in Computer Science, Springer, New York
- (1986) 8th Conference on Automated Deduction , vol.230 , pp. 281-299
- Kanamori¹ Fujita²

17
- 84915968720
- 11th Conference on Automated Deduction
- 1992, Springer, Berlin
- (1992) Lecture Notes in Artificial Intelligence , vol.607
- Kapur¹

18
- 0002896422
- Simple word problems in universal algebra
- J. Leech, Pergamon Press, Oxford
- (1970) Computational Problems in Abstract Algebra , pp. 263-297
- Knuth¹ Bendix²

19
- 85029601479
- The use of proof plans to sum series
- D. Kapur, 1992, Lecture Notes in Artificial Intelligence, Springer, Berlin
- (1992) 11th Conference on Automated Deduction , vol.607 , pp. 325-339
- Walsh¹ Nunes² Bundy³

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.