An inductive programming approach to algebraic specification

18th European Conference on Machine Learning, ECML 2007 and the 11th European Conference on Principles and Practice of Knowledge Discovery in Databases, PKDD 2007 - Proceedings of the Workshop on Approaches and Applications of Inductive Programming, AAIP 2007

Volumn , Issue , 2007, Pages 3-14

  Hamel, Lutz ^a   Shen, Chi ^a  

^a University of Rhode Island   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; ARTIFICIAL INTELLIGENCE; COMPUTATION THEORY; LEARNING SYSTEMS; SEMANTICS; SOFTWARE TESTING; SPECIFICATION LANGUAGES; SPECIFICATIONS;

ALGEBRAIC SEMANTIC; ALGEBRAIC SPECIFICATIONS; FUNCTIONAL PARTS; INDUCTION SYSTEM; INDUCTIVE MACHINE LEARNING; SEARCH STRATEGIES; SPECIFICATION DIAGRAMS; SYSTEM BEHAVIORS;

INDUCTIVE LOGIC PROGRAMMING (ILP);

EID: 84943347535     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (25)

1. Muggleton, S.: Inductive acquisition of expert knowledge. Addison-Wesley, Reading, Mass. (1990)
2. Mitchell, T. M.: Machine Learning. McGraw-Hill, New York (1997)
3. Clavel, M., Duran, F., Eker, S., Lincoln, P., Marti-Oliet, N., Meseguer, J., Quesada, J.: Maude: Specification and programming in rewriting logic. Theoretical Computer Science 285 (2) (2002) 187-243
4. Muggleton, S., Raedt, L. D.: Inductive logic programming: Theory and methods. Journal of Logic Programming 19/20 (1994) 629-679
5. Michalski, R. S., Wnek, J.: Learning Hybrid Descriptions. In: Proceedings IIS, Augustow, Poland (June 1995)
6. Hamel, L., Shen, C.: Inductive acquisition of algebraic specifications, tech report tr06-317. Technical report, Dept. of Computer Science and Statistics, University of Rhode Island (2006)
7. Wechler, W.: Universal Algebra for Computer Scientists. Springer-Verlag (1992)
8. Burstall, R., Goguen, J.: Institutions: abstract model theory for specification and programming. JACM 39 (1) (1992) 95-146
9. Goguen, J., Meseguer, J.: Completeness of many-sorted equational logic. ACM SIGPLAN Notices 17 (1) (1982) 9-17
10. Ehrig, H., Mahr, B.: Fundamentals of algebraic specification 2: module specifications and constraints. Springer-Verlag New York, Inc. New York, NY, USA (1990)
11. Mitchell, T. M.: Generalization as search. Artificial Intelligence 18 (2) (1982) 203-226
12. Shen, C.: Inductive Equational Logic in Maude. Master's thesis, University of Rhode Island (2006)
13. Koza, J. R.: Genetic Programming: On the Programming of Computers by Natural Selection. MIT Press, Cambridge, MA (1992)
14. Wall, M.: GAlib: A C++ Library of Genetic Algorithm Components. Mechanical Engineering Department, Massachusetts Institute of Technology, Aug. (1996)
15. Goldberg, D.: Genetic Algorithms in Search, Optimization and Machine Learning. Addison-Wesley Longman Publishing Co., Inc. Boston, MA, USA (1989)
16. Hernandez-Orallo, J., Ramrez, M.: Inverse Narrowing for the Induction of Functional Logic Programs. Proc. Joint Conference on Declarative Programming, APPIA-GULP-PRODE 98 (1998) 379-393
17. Burstall, R. M., Darlington, J.: A Transformation System for Developing Recursive Programs. Journal of the Association for Computing Machinery 24 (1) (1977) 44-67
18. Summers, P.: A Methodology for LISP Program Construction from Examples. JACM 24 (1) (1977) 161-175
19. Manna, Z., Waldinger, R.: A Deductive Approach to Program Synthesis. TOPLAS 2 (1) (1980) 90-121
20. Kitzelmann, E., Schmid, U.: Inductive synthesis of functional programs: An explanation based generalization approach. Journal of Machine Learning Research 7 (2006) 429-454
21. Dershowitz, N., Reddy, U.: Deductive and Inductive Synthesis of Equational Programs. JSC 15 (5/6) (1993) 467-494
22. Deville, Y., Lau, K.: Logic program synthesis. Journal of Logic Programming 19 (20) (1994) 321-350
23. Kennedy, C. J., Giraud-Carrier, C.: An evolutionary approach to concept learning with structured data. In: Proceedings of ICANNGA, Springer Verlag (1999) 1-6
24. Olsson, R.: Inductive functional programming using incremental program transformation. Artificial Intelligence 74 (1) (1995) 55-58
25. Marti-Oliet, N., Meseguer, J., Verdejo, A.: Towards a strategy language for Maude. Proceedings WRLA (2004) 391-414