Skip to main content
SpringerLink
Log in

Logic Programming in Learning Systems

  • Chapter
Logic Programming

  • 102 Accesses

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Banerji, R. B., A Logic in Which One Learns Programs from Examples, Presented at Workshop on Logic Programming for Intelligent Systems, Long Beach, Los Angeles, September 1981.

    Google Scholar 

  2. Becker, J. M., AQ-Prolog User’s Guide and Program Description, Technical Report, Department of Computer Science, University of Illinois, December 1983.

    Google Scholar 

  3. Bratko, I., Knowledge-Based Problem Solving in AL3, ACM SIGART Newsletter, April, 1982.

    Google Scholar 

  4. Brazdil, P., Experimental Learning Model, Proceedings of AISB-78, Hamburg, 1978.

    Google Scholar 

  5. Brazdil, P., Symbolic Derivations of Chess Patterns, Proceedings of the European Conference on Artificial Intelligence 1982, Orsay, France, 1982.

    Google Scholar 

  6. Bundy, A., The Computer Modelling of Mathematical Reasoning, Academic Press, 1983.

    Google Scholar 

  7. Bundy, A., Computer Modelling of Mathematical Reasoning, Proceedings of the Annual Conference of The British Society For The Psychology of Learning Mathematics, 1983. Also Research Paper 200, Department of Artificial Intelligence, Edinburgh, October 1983.

    MATH  Google Scholar 

  8. Bundy, A., Meta-Level Inference and Consciousness, DAI Research Paper No 187, Department of Artificial Intelligence, University of Edinburgh, 1983.

    Google Scholar 

  9. Bundy, A., Byrd, L., Luger, G., Mellish, C. S., Milne, R. and Palmer, M. S., Mecho: A Program to Solve Mechanics Problems, Working Paper 50, Department of Artificial Intelligence, University of Edinburgh, 1979.

    Google Scholar 

  10. Bundy, A., Luger, G., Mellish, C. S. and Palmer, M. S., Knowledge about Knowledge: Making Decisions in Mechanics Problem Solving, Proceedings of AISE-78, University of Edinburgh, 1978, 71–82.

    Google Scholar 

  11. Bundy, A., Luger, G., Stone, M. and Welham, B., Mecho: Year One, Working Paper 22, Department of Artificial Intelligence, University of Edinburgh, 1977. Also in Proceedings of AISB-76.

    Google Scholar 

  12. Bundy, A. and Silver, B., A Critical Survey of Rule Learning Programs, Research Paper 169, Computer Science Department, Edinburgh University, 1982.

    Google Scholar 

  13. Bundy, A., Silver, B. and Plummer, D., An Analytical Comparison Of Some Rule Learning Programs, Third Annual Technical Conference of the British Computer Society’s Expert Systems Specialist Group,1983. Also available as Research Paper 215, Department of Artificial Intelligence, University of Edinburgh.

    Google Scholar 

  14. Byrd, L. and Born1ng, A., Extending Mecho to Solve Statistics Problems, Proceedings of AISB-80,S. Hardy, ed., Amsterdam, Holland, 1980. Also available from University of Edinburgh as Department of Artificial Intelligence Research Paper No 137.

    Google Scholar 

  15. Cotton, J., Byrd, L. and Bundy, A., How Can Algebra Steps be Learned by Students with only Arithmetic Skills, Working Paper, Department of Artificial Intelligence, University of Edinburgh, 1981.

    Google Scholar 

  16. Dean, J. and Michol, J., Computer Assisted Learning In History: Bogbod, A Detective Exercise Written In Prolog, AISB Easter Conference on Artificial Intelligence and Education,1983.

    Google Scholar 

  17. Emde, W., Habel, C. U. and Rollinger, C. R., The Discovery of the Equator or Concept Driven Learning, Proceedings of the International Joint Conference on Artificial Intelligence, Karlsruhe, Germany, 1983, 455–458.

    Google Scholar 

  18. Luger, G., Mathematical Model Building in the Solution of Mechanics Problems: Human Protocols and the Mecho Trace, Cognitive Science 5, (1981), 55–77.

    Article  Google Scholar 

  19. O’keefe, R. A., Concept Formation from Very Large Training Sets, Proceedings of the International Joint Conference on Artificial Intelligence, Karlsruhe, Germany, 1983.

    Google Scholar 

  20. Ohlsson, S., On the Automated Learning of Problem Solving Rules, UPMAIL Technical Report 10, Uppsala University, 1982.

    Google Scholar 

  21. Plummer, D., Two Techniques for Inductive Learning, Research Paper 186, Department of Artificial Intelligence, University of Edinburgh, March, 1983.

    Google Scholar 

  22. Plummer, D. and Bundy, A., Gazing: Identifying Potentially Useful Inferences, Working Paper 160, Department of Artificial Intelligence, University of Edinburgh, February, 1984.

    Google Scholar 

  23. Porter, B. W., Learning Problem Solving, Ph.D. Dissertation, Computer Science Department, University of California, Irvine, 1984.

    Google Scholar 

  24. Porter, B. W. and Kibler, D. F., Learning Operator Transformations, Proceedings of the Conference of the American Association for Artificial Intelligence,Austin, Texas, 1984, 278–281. AAAI-84.

    Google Scholar 

  25. Sammut, C. A., Learning Concepts by Performing Experiments, Ph.D. Dissertation, Department of Computer Science, University of New South Wales, 1981.

    Google Scholar 

  26. Sammut, C. A. and Banerji, R. B., Hierarchical Memories: An Aid to Concept Learning, Proceedings of Machine Learning Workshop 83, R. S. Michalski, J. G. Carbonell and T. M. Mitchell, eds., 1983.

    Google Scholar 

  27. Sammut, C. A. and Cohen, B., A Language for Describing Concepts as Programs, in Language Design and Programming Methodology, J. M. Tobias, (ed.), Springer Verlag, 1980. Lecture Notes in Computer Science — 79.

    Google Scholar 

  28. De Saram, H., Prolog for Children and Teachers, AISB Easter Conference on Artificial Intelligence and Education, University of Exeter,U.K., April 1983.

    Google Scholar 

  29. Shapiro, E. Y., An Algorithm that Infers Theorems from Facts, Proceedings Seventh International Joint Conference on Artificial Intelligence, August 1981. International Joint Conference on Artificial Intelligence.

    Google Scholar 

  30. Shapiro, E. Y., Algorithmic Program Debugging, MIT Press, 1983. Ph.D. thesis,Yale University,May 1982.

    Google Scholar 

  31. Silver, B., Learning Algebraic Methods from Examples — A Progress Report, DAI Research Paper No 129, Department of Artificial Intelligence, University of Edinburgh, 1982.

    Google Scholar 

  32. Silver, B., An Algebra Learning Program — Thesis Proposal, DAI Working Paper No 111, Department of Artificial Intelligence, University of Edinburgh, 1982.

    Google Scholar 

  33. Silver, B., Learning Equation Solving Methods from Worked Examples, Proceedings of Machine Learning Workshop 88, R. S. Michalski, J. G. Carbonell and T. M. Mitchell, eds., 1983.

    Google Scholar 

  34. Silver, B., Learning Equation Solving Methods from Worked Examples, Proceedings of the International Machine Learning Workshop,R. S. Michalski, ed., June, 1983, 99–104. Also available from Edinburgh as Research Paper 188.

    Google Scholar 

  35. Silver, B., Precondition Analysis: Learning Equation Solving Strategies from Worked Examples, Machine Learning 2, R. S. Michalski, R. S. Carbonell and T. M. Mitchell, eds., 1984.

    Google Scholar 

  36. Skinner, D., A Computer Program to Perform Integration by Parts, Working Paper 103, Department of Artificial Intelligence, Edinburgh, 1981.

    Google Scholar 

  37. Sterling, L., IMPRESS — Meta-Level Concepts in Theorem Proving, DAI Research Paper No 119, Department of Artificial Intelligence, University of Edinburgh, 1983.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Melbourne, 3052, Parkville, Victoria, Australia

    Isaac Balbin

  2. Computer Science Department, University of California, 90024, Los Angeles, California, USA

    Koenraad Lecot

Authors
  1. Isaac Balbin
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Koenraad Lecot
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

Copyright information

© 1985 Isaac Balbin and Koenraad Lecot

About this chapter

Cite this chapter

Balbin, I., Lecot, K. (1985). Logic Programming in Learning Systems. In: Logic Programming. Springer, Dordrecht. https://doi.org/10.1007/978-94-009-5044-3_18

Download citation

  • DOI: https://doi.org/10.1007/978-94-009-5044-3_18

  • Publisher Name: Springer, Dordrecht

  • Print ISBN: 978-0-908069-15-6

  • Online ISBN: 978-94-009-5044-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation