SCOPUS 정보 검색 플랫폼

Volumn 8, Issue 2, 2001, Pages 131-137

Inductive programming

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; DECISION THEORY; EXTRAPOLATION; INFORMATION ANALYSIS; SOFTWARE ENGINEERING;

INDUCTIVE PROGRAMMING;

COMPUTER PROGRAMMING;

EID: 0035311990 PISSN: 09288910 EISSN: None Source Type: Journal
DOI: 10.1023/A:1008797606116 Document Type: Article

Times cited : (17)

References (15)

2
- 0032306787
- A transformation system for interactive reformulation of design optimization strategies
- (1998) Research in Engineering Design , vol.10 , Issue.1 , pp. 30-61
- Ellman, T.¹ Keane, J.² Banerjee, A.³ Armhold, G.⁴

4
- 77952006077
- Inductive logic program synthesis with DIALOGS
- S. Muggleton (Ed.). LNAI 1314, Springer-Verlag
- (1997) Proc. of ILP'96 , pp. 175-198
- Flener, P.¹

5
- 0005286768
- On the use of inductive reasoning in program synthesis: Prejudice and prospects
- L. Fribourg and F. Turini (Eds.). LNCS 883, Springer-Verlag
- (1994) Proc. of LOPSTR/META'94 , pp. 69-87
- Flener, P.¹ Popelínský, L.²

6
- 0033224258
- Inductive synthesis of recursive logic programs: Achievements and prospects
- (1999) Journal of Logic Programming , vol.41 , Issue.2-3 , pp. 141-195
- Flener, P.¹ Yilmaz, S.²

8
- 0032027911
- Specifications are necessarily informal, or: Some more myths of formal methods
- (1998) Journal of Systems and Software , vol.40 , Issue.3 , pp. 275-296
- Le Charlier, B.¹ Flener, P.²

9
- 0026386028
- Methodologies from machine learning in data analysis and software
- (1991) The Computer Journal , vol.34 , Issue.6 , pp. 559-565
- Michie, D.¹

10
- 0030232147
- Automatically configuring constraint satisfaction programs: A case study
- (1996) Constraints , vol.1 , Issue.1-2 , pp. 7-43
- Minton, S.¹

11
- 0005329786
- Non-programmed computation
- (2000) Comm. of the ACM , vol.43 , Issue.11 es , pp. 293-302
- Partridge, D.¹

12
- 0030871541
- The case for inductive programming
- (1997) IEEE Computer , vol.30 , Issue.1 , pp. 36-41
- Partridge, D.¹

13
- 0029305575
- The specification of 'specification'
- (1995) Minds and Machines , vol.5 , Issue.2 , pp. 243-255
- Partridge, D.¹ Galton, A.²

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