Extensible logic program schemata

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1207, Issue , 1997, Pages 256-274

  Gegg Harrison, Timothy S ^a  

^a WINONA STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; FORMAL LOGIC;

ASSOCIATED SETS; HIGHER-ORDER LOGIC PROGRAMMING; LOGIC PROGRAMS; PRIMARY INPUTS; PROGRAMMING TECHNIQUE; REPRESENTATION LANGUAGES; SCHEMA LIBRARY; TRANSFORMATIONAL SYSTEMS;

LOGIC PROGRAMMING;

EID: 84949430114     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-62718-9_15     Document Type: Conference Paper

References (16)

1. nd Workshop on Meta-Programming in Logic, Leuven, Belgium, pages 247-256, 1990.
2. P. Brna, A. Bundy, A. Dodd, M. Eisenstadt, C. Looi, H. Pain, D. Robertson, B. Smith, and M. van Someren. Prolog Programming Techniques. Instructional Science, 20: 111-133, 1991.
3. P. Flener. Logic Program Synthesis from Incomplete Information. Kluwer Academic Publishers, 1995.
4. P. Flener and Y. Deville. Logic Program Synthesis from Incomplete Specifications. Journal of Symbolic Computation, 15: 775-805, 1993.
5. th International Workshop on Logic Program Synthesis and Transformation, Utrecht, The Netherlands, pages 171-173, Springer-Verlag, 1995.
6. N.E. Fuchs and M.P.J. Fromhertz. Schema-Based Transformations of Logic Programs. In T.P. Clement and K. Lau, editors, Proceedings of the P’ International Workshop on Logic Program Synthesis and Transformation, Manchester, England, pages 111-125, Springer-Verlag, 1991.
7. T.S. Gegg-Harrison. Basic Prolog Schemata. Technical Report CS-1989-20, Department of Computer Science, Duke University, Durham, North Carolina, 1989.
8. T.S. Gegg-Harrison. Learning Prolog in a Schema-Based Environment. Instructional Science, 20: 173-190, 1991.
9. T.S. Gegg-Harrison. Adapting Instruction to the Student’s Capabilities. Journal of Artificial Intelligence in Education, 3: 169-181, 1992.
10. T.S. Gegg-Harrison. Exploiting Program Schemata in an Automated Program Debugger. Journal of Artificial Intelligence in Education, 5: 255-278, 1994.
11. th International Conference on Logic Programming, Kanagawa, Japan, pages 467-481, MIT Press, 1995.
12. th Joint International Conference and Symposium on Logic Programming, Bonn, Germany, pages 230-243, MIT Press, 1996.
13. M. Kirschenbaum and L.S. Sterling. Applying Techniques to Skeletons. In J. Jacquet, editor, Constructing Logic Programs, pages 127-140, MIT Press, 1993.
14. th International Workshops on Logic Program Synthesis and Transformation and Meta-Programming in Logic, Pisa, Italy, pages 138-153, Springer-Verlag, 1994.
15. th International Conference and Symposium on Logic Programming, Seattle, Washington, pages 810-827, MIT Press, 1988.
16. th International Workshop on Logic Program Synthesis and Transformation, Utrecht, The Netherlands, pages 174-188, Springer-Verlag, 1995.