Contents

 PREFACE by the Earl of Halsbury      
 INTRODUCTION   
 
 MATHEMATICAL FOUNDATIONS

 1.  The morphology of prex-an essay in meta-algorithmics.  J. LASKI 
 2.  Program Schemata.  M.S. PATERSON  
 3.  Language definition and compiler validation.  J.J. FLORENTIN
 4.  Placing trees in lexicographic order.  H.I. SCOINS   


 THEOREM PROVING

 5.  A new look at mathematics and its mechanization.  B. MELTZER
 6.  Some notes on resolution strategies.  B. MELTZER   
 7.  The generalized resolution principle. J.A. ROBINSON 
 8.  Some tree-paring strategies for theorem proving.  D. LUCKHAM
 9.  Automatic theorem proving with equality substitutions and mathematical induction.  J.L. DARLINGTON   

 MACHINE LEARNING AND HEURISTIC PROGRAMMING

 10. On representations of problems of reasoning about actions. S. AMAREL 
 11. Descriptions.  E.W. ELCOCK
 12. Kalah on Atlas.  A.G. BELL  
 13. Experiments with a pleasure-seeking automaton.  J.E. DORAN 
 14. Collective behaviour and control problems.  V.I. VARSHAVSKY 

 MAN-MACHINE INTERACTION

 15. A comparison of heuristic, interactive, and unaided methods of solving a shortest-route problem.  D. MICHIE, J.G. FLEMING and
     J.V. OLDFIELD 
 16. Interactive programming at Carneige Tech.  A.H. BOND 
 17. Maintenance of large computer systems - the engineer's assistant.  M.H.J. BAYLIS     

 COGNITIVE PROCESSES: METHODS AND MODELS

 18. The syntactic analysis of English by machine.  J.P. THORNE, P. BRATLEY and H. DEWAR
 19. The adaptive memorization of sequences. H.C. LONGUET-HIGGINS and A. ORTONY

 PATTERN RECOGNITION

 20. An application of Graph Theory in pattern recognition. C.J. HILDITCH

 PROBLEM-ORIENTED LANGUAGES

 21. Some semantics for data structures.  D. PARK
 22. Writing search algorithms in functional form.  R.M. BURSTALL
 23. Assertions: programs written without specifying unneccessary order.  J.M. FOSTER
 24. The design philosophy of POP-2.  R.J. POPPLESTONE

 INDEX  

Bibliographic details

    Machine Intelligence 3
    Editor:

          Donald Michie
          Department of Machine Intelligence and Perception, University of Edinburgh

    Publisher: Edinburgh University Press, 1968

    Proceedings of the Third Annual Machine Intelligence Workshop, University of Edinburgh, September 1967.