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

메뉴 건너뛰기

Artificial Intelligence

Volumn 36, Issue 2, 1988, Pages 149-176

Generalized subsumption and its applications to induction and redundancy

(1) Buntine, Wray a,b

a UNIVERSITY OF TECHNOLOGY SYDNEY (Australia)

b MACQUARIE UNIVERSITY (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING - ALGORITHMS; SYSTEMS SCIENCE AND CYBERNETICS - LEARNING SYSTEMS;

DEFINITE CLAUSES; GENERALIZED SUBSUMPTION; HORN CLAUSES; INDUCTION; REDUNDANCY;

ARTIFICIAL INTELLIGENCE;

EID: 0024084964 PISSN: 00043702 EISSN: None Source Type: Journal
DOI: 10.1016/0004-3702(88)90001-X Document Type: Article

Times cited : (134)

References (38)

1
- 0042304836
- Learning and inductive inference
- P.R. Cohen, E.A. Feigenbaum, Kaufmann, Los Altos, CA
- (1982) The Handbook of Artificial Intelligence , vol.3 , pp. 323-512
- Dietterich¹ London² Clarkson³ Dromey⁴

2
- 0020815483
- Inductive inference: Theories and methods
- (1983) Comput. Surveys , vol.15 , Issue.3 , pp. 237-269
- Angluin¹ Smith²

3
- 0021777254
- The role of induction in knowledge elicitation
- (1985) Expert Syst. , vol.2 , pp. 24-28
- Hart¹

4
- 0344751347
- Inductive knowledge acquisition: A case study
- J.R. Quinlan, Addison-Wesley, London
- (1987) Applications of Expert Systems
- Quinlan¹ Compton² Horn³ Lazarus⁴

5
- 0021155684
- A methodology for implementation of a knowledge acquisition system
- Atlanta City, NJ
- (1984) Proceedings IEEE International Symposium on Logic Programming , pp. 131-142
- Kitakami¹ Kunifuji² Miyachi³ Furukawa⁴

6
- 0039875288
- Current developments in expert systems
- J.R. Quinlan, Addison-Wesley, London
- (1987) Applications of Expert Systems
- Michie¹

7
- 33744584654
- Induction of decision trees
- (1986) Mach. Learning , vol.1 , pp. 81-106
- Quinlan¹

8
- 0004120868
- Inductive inference of theories from facts
- Department of Computer Science, Yale University, New Haven, CT
- (1981) Tech. Rept. 192
- Shapiro¹

9
- 0003870823
- MIT Press, Cambridge, MA
- (1983) Algorithmic Program Debugging
- Shapiro¹

10
- 0000531852
- Generalization as search
- (1982) Artificial Intelligence , vol.18 , pp. 203-226
- Mitchell¹

11
- 0001602577
- A note on inductive generalisation
- B. Meltzer, D. Michie, Elsevier North-Holland, New York
- (1970) Machine Intelligence , vol.5 , pp. 153-163
- Plotkin¹

12
- 0003203117
- A further note on inductive generalisation
- B. Meltzer, D. Michie, Elsevier North-Holland, New York
- (1971) Machine Intelligence , vol.6 , pp. 101-124
- Plotkin¹

13
- 0019648311
- Learning problem solving heuristics through practice
- Vancouver, BC
- (1981) Proceedings IJCAI-81 , pp. 127-134
- Mitchell¹ Utgoff² Nudel³ Banerji⁴

14
- 0000942050
- A theory and methodology of inductive learning
- (1983) Artificial Intelligence , vol.20 , pp. 111-161
- Michalski¹

15
- 0020979480
- The tractability of subsumption in frame-based description languages
- Austin, TX
- (1984) Proceedings AAAI-84 , pp. 34-37
- Brachman¹ Levesque²

16
- 84918983692
- A machine-oriented logic based on the resolution principle
- (1965) Journal of the ACM , vol.12 , Issue.1 , pp. 23-41
- Robinson¹

17
- 85025511514
- Universal unification and a classification of equational theories
- Springer, New York
- (1982) Proceedings Conference on Automated Deduction, Lecture Notes in Computer Science , vol.87 , pp. 369-389
- Seikmann¹ Szabo²

18
- 84911621249
- Hierarchical memories: An aid to concept learning
- R.S. Michalski, J. Carbonell, T.M. Mitchell, Morgan Kaufmann, Los Altos, CA
- (1986) Machine Learning: An Artificial Intelligence Approach , vol.2
- Sammut¹ Banerji²

19
- 70449106884
- Induction of relational productions in the presence of background information
- Cambridge, MA
- (1977) Proceedings IJCAI-77 , pp. 349-355
- Vere¹

20
- 0343977292
- Learning intermediate concepts in constructing a hierarchical knowledge base
- Los Angeles, CA
- (1985) Proceedings IJCAI-85 , pp. 659-666
- Fu¹ Buchanan²

21
- 0004130988
- Automatic methods of inductive inference
- University of Edinburgh, Scotland
- (1971) Ph.D. Thesis
- Plotkin¹

22
- 84911621248
- Concept development for expert system knowledge bases
- (1985) Aust. Comput. J. , vol.17 , Issue.1 , pp. 49-55
- Sammut¹

23
- 0003453263
- Springer, New York
- (1984) Foundations of Logic Programming
- Lioyd¹

24
- 0003720332
- North-Holland, Amsterdam
- (1978) Automated Theorem Proving: A Logical Basis
- Loveland¹

25
- 0018544688
- A truth maintenance system
- (1979) Artificial Intelligence , vol.12 , pp. 231-272
- Doyle¹

26
- 0004309078
- Plenum, New York
- (1978) Logic and Databases
- Gallaire¹ Minker²

27
- 0001911774
- Optimizing datalog programs
- Washington, DC, also
- (1986) Proceedings Foundations of Deductive Databases and Logic Programming Workshop , pp. 136-162
- Sagiv¹

28
- 84911661631
- Department of Computer Science, Stanford University, CA
- (1986) Rept. STAN-CS-86-1132

29
- 84911621247
- Changing language while learning recursive descriptions from examples
- T.M. Mitchell, J.G. Carbonell, R.S. Michalski, Kluwer Academic, Boston, MA
- (1986) Machine Learning: A Guide to Current Research , pp. 5-9
- Banerji¹

30
- 0002830387
- Amalgamating language and meta-language in logic programming
- K.L. Clark, S.-A. Tarnlund, Academic Press, New York
- (1982) Logic Programming , pp. 153-172
- Bowen¹ Kowalski²

31
- 0004127488
- Freeman, San Francisco, CA
- (1979) Computers and Intractability
- Garey¹ Johnson²

32
- 84990564948
- Equivalences of logic programs
- Springer, New York
- (1986) Proceedings Third International Conference on Logic Programming, Lecture Notes in Computer Science , vol.225 , pp. 410-424
- Maher¹

33
- 0023015424
- Some thoughts on proof discovery
- Salt Lake City, UT
- (1986) Proceedings IEEE Symposium on Logic Programming , pp. 2-10
- Bledsoe¹

34
- 0003268983
- Explanation-based generalization A unifying view
- (1986) Mach. Learning , vol.1 , Issue.1
- Mitchell¹ Keller² Kedar-Cabelli³

35
- 0000017646
- Explanation-based learning: An alternative view
- (1986) Mach. Learning , vol.1 , Issue.2 , pp. 145-176
- DeJong¹ Mooney²

36
- 0023328422
- Induction of Horn clauses: Methods and the plausible generalization algorithm
- (1987) Int. J. Man-Mach. Stud. , vol.26 , pp. 499-519
- Buntine¹

37
- 84911661630
- Banff, Alta.
- (1986) Revised version of a paper presented at Knowledge Acquisition for Knowledge-Based Systems Workshop

38
- 84911641191
- Unpublished manuscript
- (1988) A most specific generalisation algorithm for Horn clauses
- Buntine¹

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